Search by property
From International Center for Computational Logic
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 Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations +
- ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams +
- ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks +
- Abstract Domains for Database Manipulating Processes +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- Algorithmic Game Theory +
- Automated Reasoning Support for Standpoint-OWL 2 +
- Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features +
- Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying +
- Complexity Theory +
- Compositional matrix-space models of language: Definitions, properties, and learning methods +
- Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis +
- Concurrency Theory +
- Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules +
- Counterfactual Causality for Reachability and Safety based on Distance Functions +
- Database Theory +
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets +
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) +
- Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study +
- Efficient Dependency Analysis for Existential Rules +
- Entropic Risk for Turn-Based Stochastic Games +
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) +
- How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC +
- Humans Reason Skeptically +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Identifying and Modelling Polysemous Senses of Spatial Prepositions in Referring Expressions +
- In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning +
- Introduction to Existential Rules +
- Introduction to Formal Concept Analysis +
- Knowledge Graphs +
- Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings +
- More for Less: Safe Policy Improvement with Stronger Performance Guarantees +
- Nemo: First Glimpse of a New Rule Engine +
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics +
- Nested Sequents for Quantified Modal Logics +
- Notation3 as an Existential Rule Language +
- On Composing Finite Forests with Modal Logics +
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views +
- On the Abstract Expressive Power of Description Logics with Concrete Domains +
- On the Abstract Expressive Power of Description Logics with Concrete Domains (Extended Version) +
- On the Limits of Decision: the Adjacent Fragment of First-Order Logic +
- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking +
- Proceedings 39th International Conference on Logic Programming +