Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

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