Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• On the Decidability of Verifying LTL Properties of Golog Programs  + (25. März 2015, 14:34:10)
• LATPub721  + (25. März 2015, 14:34:10)
• Learning Formal Definitions for Snomed CT from Text  + (25. März 2015, 14:34:10)
• Exploration by Confidence  + (25. März 2015, 14:34:10)
• Model Exploration by Confidence with Completely Specified Counterexamples  + (25. März 2015, 14:34:10)
• A General Form of Attribute Exploration  + (25. März 2015, 14:34:10)
• Temporal Query Answering w.r.t. DL-Lite-Ontologies  + (25. März 2015, 14:34:10)
• Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property  + (25. März 2015, 14:34:10)
• Hybrid Unification in the Description Logic EL  + (25. März 2015, 14:34:10)
• On the Complexity of Temporal Query Answering  + (25. März 2015, 14:34:10)
• Conjunctive Query Answering in Rough EL  + (25. März 2015, 14:34:10)
• Towards Parallel Repair Using Decompositions  + (25. März 2015, 14:34:10)
• Error-Tolerant Reasoning in the Description Logic EL  + (25. März 2015, 14:34:10)
• The Complexity of Fuzzy Description Logics over Finite Lattices with Nominals  + (25. März 2015, 14:34:10)
• Reasoning with Temporal Properties over Axioms of DL-Lite  + (25. März 2015, 14:34:10)
• Matching with respect to general concept inclusions in the Description Logic EL  + (25. März 2015, 14:34:10)
• Runtime Verification Using a Temporal Description Logic Revisited  + (25. März 2015, 14:34:10)
• PDL with Negation of Atomic Programs  + (26. März 2015, 17:33:36)
• Quantitative Temporal Logics: PSpace and below  + (26. März 2015, 17:33:37)
• Quantitative Temporal Logics: PSpace and below  + (26. März 2015, 17:33:45)
• Quantitative Temporal Logics: PSpace and below  + (26. März 2015, 17:33:52)
• PDL with Negation of Atomic Programs  + (26. März 2015, 17:33:53)
• PDL with Negation of Atomic Programs  + (26. März 2015, 17:35:08)
• Datei:Portrait-Georg-Wild.jpg  + (27. März 2015, 22:12:36)
• Georg Wild  + (27. März 2015, 22:13:17)

• Chile – A Trip Report  + (8. April 2015, 15:27:28)

• An Implementation of a Labelling-based Algorithm for the cf2 Argumentation Semantics  + (9. April 2015, 08:27:18)
• Datei:CorkUCCBuildings.jpg  + (12. April 2015, 16:10:35)
• Datei:Cobh. Co Cork. Ireland.jpg  + (12. April 2015, 16:31:29)
• Datei:KINSALE -street-. Co CORK.IRELAND..jpg  + (12. April 2015, 16:38:33)
• Forschungslinie  + (13. April 2015, 08:58:48)
• Grounded Circumscription in Description Logics/en  + (13. April 2015, 12:09:01)
• Grounded Circumscription in Description Logics  + (13. April 2015, 12:09:26)
• Grounded Circumscription in Description Logics  + (13. April 2015, 12:09:26)
• Default reasoning over domains and concept hierarchies  + (13. April 2015, 13:07:34)
• Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract)  + (13. April 2015, 13:07:34)
• The SAT Solver Framework priss (System Description)  + (13. April 2015, 13:07:34)
• DOM: Domain Ontology Modelling for Architectural Engineering Design  + (13. April 2015, 13:07:34)
• Intellectics and Computational Logic  + (13. April 2015, 13:07:34)
• Towards State Update Axioms: Reifying Successor State Axioms  + (13. April 2015, 13:07:34)
• ???  + (13. April 2015, 13:07:34)
• Disjunction in Resource-Oriented Deductive Planning  + (13. April 2015, 13:07:34)
• FABEL  + (13. April 2015, 13:07:34)
• Multi-Flip Networks: A Parallelization of Local SAT-Algorithms  + (13. April 2015, 13:07:34)
• Computing in Civil Engineering  + (13. April 2015, 13:07:34)
• Logik und Logikprogrammierung  + (13. April 2015, 13:07:34)
• Towards a Systematic Account of Different Logic Programming Semantics  + (13. April 2015, 13:07:34)
• A purely logical account of sequentiality in proof search – extended abstract  + (13. April 2015, 13:07:34)
• Completing Incomplete Bayesian Networks  + (13. April 2015, 13:07:34)
• Abduction in Human Reasoning  + (13. April 2015, 13:07:34)
• How (Not) To Minimize Events  + (13. April 2015, 13:07:34)