Has where published KR
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "KR"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Using an Expressive Description Logic: FaCT or Fiction? +
- The Even More Irresistible SROIQ +
- Reasoning with Axioms: Theory and Practice +
- Evaluating a Modular Abox Algorithm +
- Reasoning about Actions and Planning in LTL Action Theories +
- Adding Epistemic Operators to Concept Languages +
- Modularity and Web Ontologies +
- Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems +
- On the Decidability of Description Logics with Modal Operators +
- Containment of Conjunctive Regular Path Queries with Inverse +
- Toward a Metatheory of Action +
- DL+log: Tight Integration of Description Logics and Disjunctive Datalog +
- Asking queries about Frames +
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics +
- Unions of Conjunctive Queries in SHOQ +
- Representing Structured Objects using Description Graphs +
- What Is OWL (and Why Should I Care)? +
- Reducing SHIQ-Description Logic to Disjunctive Datalog Programs +
- The DARPA Knowledge Sharing Effort: A Progress Report +
- From Wine to Water: Optimizing Description Logic Reasoning for Nominals +
- Description Logics with Circumscription +
