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
- Display to Labeled Proofs and Back Again for Tense Logics + (1529-3785)
- On Composing Finite Forests with Modal Logics + (1529-3785)
- Description Logics + (1541-1672)
- Semantic Wikipedia + (1570-8268)
- Interactive ontology revision + (1570-8268)
- The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (1573-0670)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (1610-1987)
- Advanced Solving Technology for Dynamic and Reactive Applications + (1610-1987)
- DLP isn't so bad after all + (1613-0073)
- Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008) + (1613-0073)
- Refining Ontologies by Pattern-Based Completion + (1613-0073)
- Conjunctive Queries for EL with Role Composition + (1613-0073)
- Supplementary Proceedings of ICCS'09 + (1613-0073)
- Encoding Closure Operators into Neural Networks + (1613-0073)
- Relational Exploration - Reconciling Plato and Aristotle + (1613-0073)
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007 + (1613-0073)
- Logics for Reasoning about Preferences, Uncertainty, and Vagueness + (1613-0073)
- Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017) + (1613-0073)
- Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas + (1613-0073)
- Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints + (1613-0073)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) + (1613-0073)
- On the Abstract Expressive Power of Description Logics with Concrete Domains + (1613-0073)
- The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains + (1613-0073)
- Semantic Web - Grundlagen + (1614-5216)
- Towards Propositional KLM-Style Defeasible Standpoint Logics + (1865-0929)
- Non-monotonic Extensions to Formal Concept Analysis via Object Preferences + (1865-0929)
- Temporal Logics with Local Constraints + (1868-8969)
- On the Complexity of Universality for Partially Ordered NFAs + (1868-8969)
- Piecewise Testable Languages and Nondeterministic Automata + (1868-8969)
- Preserving Constraints with the Stable Chase + (1868-8969)
- Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents + (1868-8969)
- Tuple-Generating Dependencies Capture Complex Values + (1868-8969)
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (1868-8969)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (1868-8969)
- Smoke Test Planning using Answer Set Programming + (1989-1660)
- Temporal Query Answering in DL-Lite with Negation + (2040-557X)
- A Modified Supervaluationist Framework for Decision-Making + (2069-0533)
- Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract) + (2075-2180)
- Nemo: First Glimpse of a New Rule Engine + (2075-2180)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (2159-5399)
- Order matters! Harnessing a world of orderings for reasoning over massive data + (2210-4968)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (2334-1033)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (2334-1033)
- The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules + (2334-1033)
- Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (2334-1033)
- Hashtag Processing for Enhanced Clustering of Tweets + (2603-2813)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages + (978-3-642-33158-9)
