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
- 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)
- 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)
