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

A Local System for Linear Logic + ((was Technical Report WV–02–01))

A Non-commutative Extension of MELL + ((was Technical Report WV–02–03))
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks + ((was Technical Report WV–03–11).)
Logic Programs and Connectionist Networks + ((was Technical Report WV–03–12).)
Circumscription and Projection as Primitives of Logic Programming + (,(Extended version: http://cs.christophwernhard.com/papers/logprog2010extended.pdf))
Hypothesis Finding with Proof Theoretical Appropriateness Criteria + (2006 Elsevier)
Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (A revised and extended version of this work has been published in the 2014 journal paper [[Article3009|The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases]]. It should be preferred for most purposes.)
Conjunctive Queries for EL with Role Composition + (A revised and extended version of this work has been published in the 2014 journal paper [[Article3009|The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases]]. It should be preferred for most purposes.)
Cardinality Restrictions on Concepts + (A short version has appeared in Proceedings of the KI'94, Springer LNCS 861)
A rule based data manipulation language for OLAP systems + (A short version has appeared in the Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases (DOOD'97), Montreux, Switzerland)
Complexity Boundaries for Horn Description Logics + (A significantly improved and extended version of this work is [[Article4007/en|Complexities of Horn Description Logics ]].)
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness + (Additional proofs for this work can be found in the technical report [[Techreport3011/en|Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules]].)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (An abridged version has appeared in Proc. CADE'97, Springer LNAI 1249.)
Number Restrictions on Complex Roles in Description Logics + (An abridged version has appeared in the Proceedings of the Fifth International Conference on Knowledge Representation and Reasoning, 1996, Cambridge, Massachusetts.)
Description Logics with Symbolic Number Restrictions + (An abridged version has appeared in the Proceedings of the 12th European Conference on Artificial Intelligence, 1996, Budapest, Hungary.)
Description Logics with Aggregates and Concrete Domains + (An abridged version has appeared in the Proceedings of the International Workshop on Description Logics 97.)
A NEXPTIME-complete Description Logic Strictly Contained in C^2 + (An abriged version appeared at CSL-99.)
Number Restrictions on Complex Roles in Description Logics + (An extended version has appeared as Technical Report LTCS-96-02)
Description Logics with Symbolic Number Restrictions + (An extended version has appeared as Technical Report LTCS-96-03)
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains + (An extended version of this paper can be found at: https://arxiv.org/abs/2405.19096)
Materializing Knowledge Bases via Trigger Graphs + (An extended version of this paper containing all formal arguments is available at https://arxiv.org/abs/2102.02753)
Efficient Parallel Dictionary Encoding for RDF Data + (An extended version of this work is the journal article [[Article3018/en|Fast Compression of Large Semantic Web using X10]])
On the Semantic Relationship between Datalog and Description Logics + (An extended version of this work is the journal article [[Article3010/en|A Closer Look at the Semantic Relationship between Datalog and Description Logics]].)
Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu + (Anmeldung als Deutsches Patent, Aktenzeichen 10159886.6, Deutsches Patentamt München)
Default reasoning over domains and concept hierarchies + (Appeared in 2004)
A generalized resolution theorem + (Appeared in 2004)
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion + (Appeared in 2004)
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics + (ArXiV)
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (As of 2013, this is the main publication about the ELK reasoner. The work largely subsumes, extends, and improves the earlier publications Concurrent Classification of EL Ontologies and ELK Reasoner: Architecture and Evaluation.)
Wikidata: a free collaborative knowledgebase + (As of March 2014, this is the main referen … As of March 2014, this is the main reference on Wikidata, thus finally answering the question "What to cite on Wikidata?" that many people have been asking for some time. With the increasing relevance of the project, many more research papers about Wikidata should be forthcoming. The article is been published under an Open Access scheme. The PDF provided here is the original final version.</br></br></br>Thanks to Yusuke Matsubara, this article is now also a available in a Japanese translation '''“[http://blog.whym.org/post/121582690206/wikidata-cacm2014-vrandecic-krotzsch ウィキデータ：共同作業で作られるフリーな知識ベース]"'''.c-krotzsch ウィキデータ：共同作業で作られるフリーな知識ベース]"'''.)
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies + (Available at http://dx.doi.org/10.1016/j.websem.2011.11.006)
Unification in Modal and Description Logics + (Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract)
Tableau Systems for SHIO and SHIQ + (Available from ceur-ws.org)
A Tableau System for the Description Logic SHIO + (Available from ceur-ws.org)
A Generator for Description Logic Formulas + (Available from ceur-ws.org)
Medizinische Aus- und Weiterbildung: Mit dem Computer lernen + (Braun Fachverlage)
Logics for Reasoning about Preferences, Uncertainty, and Vagueness + (Co-located with the 7th International Joint Conference on Automated Reasoning (IJCAR 2014))
Molekularbiologisches Verfahren zur Lösung von NP-Problemen + (Deutsches Patent DE 198 53 726 A 1, IPC C12N 15/10, Deutsches Patentamt München)