tag :: logic

Lesezeichen (verstecken)6
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
RSS
BibTeX
XML

1CRC Press Online - Book: Conceptual Structures in Practice
http://www.crcpress.com/product/isbn/9781420060621
vor 13 Jahren von @stephandoerfel
citationcontextualicfcalogic
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1charles.pence: LaTeX and Tableaux
http://www.nd.edu/~cpence/tech/logictex/
vor 13 Jahren von @benz
tableauxsymbollatexlogic
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Learning, Logic, and Probability: A Unified View.
http://ekaw.vse.cz/files/domingos.ppt
vor 17 Jahren von @hotho
aikilearninglogicprobabilisticsrl
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Alchemy - Open Source AI
http://alchemy.cs.washington.edu/
vor 17 Jahren von @hotho
learninglogicmarkovnetworksopensoftwaresourcesrl
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Description Logic Complexity Navigator
http://www.cs.man.ac.uk/~ezolin/logic/complexity.html
vor 17 Jahren von @hotho
weblogicsemanticcomplexitydlrdf
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags
1Welcome to KAON — KAON - The KArlsruhe ONtology and Semantic Web tool suite
http://kaon.semanticweb.org/
vor 18 Jahren von @hotho
weblogickaonsemanticeditorowl
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
⟩
⟩⟩

Publikationen (verstecken)13
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

3Completing description logic knowledge bases using formal concept analysis
F. Baader, B. Ganter, B. Sertkaya, und U. Sattler. Proceedings of the 20th international joint conference on Artifical intelligence, Seite 230--235. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (2007)
vor 12 Jahren von @jaeschke
analysisbasecompleteconceptdescriptiondlfcaformalknowledgelogicontology
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1LoCo -- A Logic for Configuration Problems
M. Aschinger, C. Drescher, und H. Vollmer. Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, (2012)
vor 12 Jahren von @jaeschke
configurationlogicproblem
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1The Logic of Scientific Discovery
K. Popper. Taylor & Francis, (2002)
vor 13 Jahren von @jmleimeister
LogicPopperScienceTheoryITeG_233
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Applying Formal Concept Analysis to Description Logics.
F. Baader, und B. Sertkaya. Concept Lattices, Volume 2961 von Lecture Notes in Computer Science, Seite 261--286. Berlin/Heidelberg, Springer, (2004)
vor 14 Jahren von @jaeschke
analysisconceptdescriptiondlfcaformallogiclogics
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2On Computable Numbers, with an Application to the Entscheidungsproblem
A. Turing. Proceedings of the London Mathematical Society 2 (42): 230--265 (1936)
vor 14 Jahren von @folke
computabilitylogictcs
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1A Logical Generalization of Formal Concept Analysis
S. Ferr�, und O. Ridoux. Int. Conf. Conceptual Structures, Seite 371--384. Springer, (2000)
vor 14 Jahren von @stumme
FCAOntologyHandbookconcept_analysiscontextinformation_systemlogic
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Knowledge, Logic, Information. Conference Report.
G. Stumme. Zeitschrift für Semiotik 20 (3-4): 424 (1998)
vor 14 Jahren von @stumme
1998analysisconceptconferencefcaformalinformationknowledgelogicmyownreport
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Contextual Attribute Logic
B. Ganter, und R. Wille. ICCS, Volume 1640 von Lecture Notes in Computer Science, Seite 377-388. Springer, (1999)
vor 17 Jahren von @stumme
analysiscgconceptfcaformallogic
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology
F. Baader. Proceedings of the International Symposium on Knowledge Retrieval, Use, and Storage for Efficiency, KRUSE 95, Seite 168--178. Santa Cruz, USA, (1995)
vor 17 Jahren von @stumme
analysisattributeconceptdescriptiondlexplorationfcaformallogic
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities
G. Boole. (1853)Also available from Dover, New York 1958, ISBN 0-486-60028-9..
vor 17 Jahren von @stumme
Booleboolelawslogiclogikthought
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
2
⟩
⟩⟩

PUMA

Lesezeichen (verstecken)6
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
RSS
BibTeX
XML

1CRC Press Online - Book: Conceptual Structures in Practice

1charles.pence: LaTeX and Tableaux

1Learning, Logic, and Probability: A Unified View.

1Alchemy - Open Source AI

1Description Logic Complexity Navigator

1Welcome to KAON — KAON - The KArlsruhe ONtology and Semantic Web tool suite

Publikationen (verstecken)13
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

3Completing description logic knowledge bases using formal concept analysis

1LoCo -- A Logic for Configuration Problems

1The Logic of Scientific Discovery

1Applying Formal Concept Analysis to Description Logics.

2On Computable Numbers, with an Application to the Entscheidungsproblem

1A Logical Generalization of Formal Concept Analysis

1Knowledge, Logic, Information. Conference Report.

1Contextual Attribute Logic

1Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology

1Investigation of The Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities

Stöbern

Verwandte Tags

Ähnliche Tags

Lesezeichen (verstecken)6 Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachDatumTitelFolkRankReihenfolgeaufsteigendabsteigend RSSBibTeXXML

Publikationen (verstecken)13 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachDatumTitelFolkRankReihenfolgeaufsteigendabsteigendHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Ähnliche Tags

Lesezeichen (verstecken)6
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
RSS
BibTeX
XML

Publikationen (verstecken)13
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
Datum
Titel
FolkRank
Reihenfolge
aufsteigend
absteigend
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...