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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Computational Logic Approach to Human Reasoning +
- A Database Approach for Modeling and Querying Video Data +
- About the Expressive Power and Complexity of Order-Invariance with Two Variables +
- An Abductive Model for Human Reasoning +
- Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens +
- Approximate OWL-Reasoning with SCREECH +
- Category Theory in Ontology Research: Concrete Gain from an Abstract Approach +
- Computing Intensional Answers to Questions - An Inductive Logic Programming Approach +
- Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion +
- D1.1.1 Conceptual models for enterprise knowledge (Initial Models) +
- D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) +
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) +
- D1.4.2: Knowledge leveraging and repair Demonstrator +
- Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co. +
- Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies +
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying +
- Formalizing Possibly Infinite Trees of Finite Degree +
- Logics and Networks for the Suppression Task +
- Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions +
- Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey +
- Multi-Context Reasoning in Continuous Data-Flow Environments +
- Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend! +
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views +
- Paraconsistent OWL and Related Logics +
- Preserving Constraints with the Stable Chase +
- Pushing Doors for Modeling Contexts with OWL DL –a Case Study +
- Semantic Description of Distributed Business Processes +
- Situation Recognition for Service Management Systems Using OWL 2 Reasoners +
- The European PhD Program in Computational Logic +
- Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data +
- Tuple-Generating Dependencies Capture Complex Values +
- Universality Results for Spiking Neural P Systems with Cooperating Rules +
- What Is Approximate Reasoning? +
