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 rule-based ontological framework for the classification of molecules + (Despoina)
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling + (Despoina)
- Computing Stable Models for Nonmonotonic Existential Rules + (Despoina)
- Verification of Context-Sensitive Knowledge and Action Bases + (Diego)
- Answer Set Navigation: Probleme Besser Verstehen + (Dominik)
- Rushing and Strolling among Answer Sets - Navigation Made Easy + (Dominik)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Dominik)
- Reasoning in ALC with Fuzzy Concrete Domains + (Dorian)
- Ontology-based Interpretation of Keywords for Semantic Search + (Duc Thanh)
- Top-k Exploration of Query Candidates for Efficient Keyword Search on Graph-Shaped (RDF) Data + (Duc Thanh)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dzung)
- The Fuzzy Linguistic Description Logic ALC_FL + (Dzung)
- Notation3 as an Existential Rule Language + (Dörthe)
- Existential Notation3 Logic + (Dörthe)
- Consistency Checking in Applications based on Fuzzy Rules + (E.)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation + (E.)
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report + (E.)
- Multidimensional Data Models and Aggregation + (E.)
- Mona as a DL Reasoner + (E.)
- FCPlanner: A Planning Strategy for First-Order MDPs + (E.)
- Efficient Symbolic Reasoning for First-Order MDPs + (E.)
- A Heuristic Search Algorithm for Solving First-Order MDPs + (E.)
- On Indicative Conditionals + (E.-A.)
- Molekularbiologisches Verfahren zur Lösung von NP-Problemen + (E.P.)
- DNA-Computing - ein funktionales Modell im laborpraktischen Experiment + (E.P.)
- A Semantic Modeling Approach for Video Retrieval by Content + (Edoardo)
- Materializing Knowledge Bases via Trigger Graphs + (Efthymia)
- Representative Answer Sets: Collecting Something of Everything + (Elisa)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Elisa)
- Winning Snake: Design Choices in Multi-Shot ASP + (Elisa)
- Winning Snake: Design Choices in Multi-Shot ASP + (Elisa)
- Finite Model Theory of the Triguarded Fragment and Related Logics + (Emanuel)
- Order matters! Harnessing a world of orderings for reasoning over massive data + (Emanuele Della)
- On conditionals + (Emmanuell-Anna)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (Emmanuelle-Anna)
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task + (Emmanuelle-Anna)
- A Computational Logic Approach to the Suppression Task + (Emmanuelle-Anna)
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task + (Emmanuelle-Anna)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (Emmanuelle-Anna)
- A Simple Model for the Wason Selection Task + (Emmanuelle-Anna)
- A Computational Logic Approach to the Suppression Task + (Emmanuelle-Anna)
- A New Computational Logic Approach to Reason with Conditionals + (Emmanuelle-Anna)
- On Indicative Conditionals + (Emmanuelle-Anna)
- A Computational Logic Approach to Syllogisms in Human Reasoning + (Emmanuelle-Anna)
- Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics + (Emmanuelle-Anna)
- A computational logic approach to human spatial reasoning + (Emmanuelle-Anna)
- A computational logic approach to the belief bias in human syllogistic reasoning + (Emmanuelle-Anna)
- Contextual reasoning: Usually birds can abductively fly + (Emmanuelle-Anna)
- From Logic Programming to Human Reasoning: How to be Artificially Human + (Emmanuelle-Anna)
- Contextual abduction and its complexity issues + (Emmanuelle-Anna)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (Emmanuelle-Anna)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (Emmanuelle-Anna)
- The Weak Completion Semantics and Equality + (Emmanuelle-Anna)
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) + (Emmanuelle-Anna)
