Suche mittels Attribut
Aus International Center for Computational Logic
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 General First-Order Solution to the Ramification Problem +
- A Generic Approach for Correcting Access Restrictions to a Consequence +
- A Rule-Based Language for Complex Event Processing and Reasoning +
- ASPARTIX Conquers the Web +
- Abduction in Human Reasoning +
- Adding Causal Relationships to DL-based Action Formalisms +
- Alternating-time stream logic for multi-agent systems +
- An Approach to Exploring Description Logic Knowledge Bases +
- Answer-set programming encodings for argumentation frameworks +
- Ausgezeichnete Informatikdissertationen 2009 +
- Automata-based Axiom Pinpointing +
- Award1017 +
- Award1018 +
- Award1019 +
- Awards in 2010 +
- Axiom Pinpointing in General Tableaux +
- Blackhole State-Controlled Regulated Pushdown Automata +
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals +
- Circumscription and Projection as Primitives of Logic Programming +
- Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms +
- Complementation and Inclusion of Weighted Automata on Infinite Trees +
- Complexity in Union-Free Regular Languages +
- Complexity of Axiom Pinpointing in the DL-Lite Family +
- Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics +
- Compositional Matrix-Space Models of Language +
- Computing Intensional Answers to Questions - An Inductive Logic Programming Approach +
- Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks +
- Correcting Access Restrictions to a Consequence +
- Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo +
- D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) +
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) +
- D1.4.2: Knowledge leveraging and repair Demonstrator +
- Deduktion: von der Theorie zur Anwendung +
- Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions +
- Description Logic Rules +
- Design and Verification of Systems with Exogenous Coordination Using Vereofy +
- Efficient Inferencing for OWL EL +
- Efficient Inferencing for the Description Logic Underlying OWL EL +
- Epistemic Queries for OWL +
- Hardness of Enumerating Pseudo-Intents in the Lectic Order +
- Improving Resource-Unaware SAT Solvers +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- Integrated Metamodeling and Diagnosis in OWL 2 +
- LATPub437 +
- LATPub439 +
- LATPub702 +
- LATPub703 +
- Left-forbidding cooperating distributed grammar systems +
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web +
- Literal Projection and Circumscription +
