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 Journey to the Frontiers of Query Rewritability +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- ADF - BDD : An ADF Solver Based on Binary Decision Diagrams +
- AGM Revision in Description Logics under Fixed-Domain Semantics +
- Admissibility in Probabilistic Argumentation +
- Advanced Problem Solving and Search +
- Advanced Problem Solving and Search +
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms +
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog +
- Answer Set Navigation: Probleme Besser Verstehen +
- Answering Queries with Negation over Existential Rules +
- Automating Reasoning with Standpoint Logic via Nested Sequents +
- CPrAA -- A Checker for Probabilistic Abstract Argumentation +
- Chasing Streams with Existential Rules +
- Comonadic Semantics for Description Logics Games +
- Complexity Theory +
- Data, Ontologies, Rules, and the Return of the Blank Node +
- Database Theory +
- Deciding Hyperproperties Combined with Functional Specifications +
- Description Logic +
- Determinacy of Real Conjunctive Queries. The Boolean Case +
- Efficient Dependency Analysis for Rule-Based Ontologies +
- Einführung in die (theoretische) Informatik +
- Expressivity of Planning with Horn Description Logic Ontologies +
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) +
- Finite Entailment of Local Queries in the Z family of Description Logics +
- Finite and algorithmic model theory (22/23) +
- Formale Systeme +
- Foundations of Knowledge Representation +
- Foundations of Logic Programming +
- Foundations of Semantic Web Technologies +
- From Emerson-Lei Automata to Deterministic, Limit-Deterministic or Good-for-MDP Automata +
- Fuzzy Description Logic +
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic +
- IASCAR: Incremental Answer Set Counting by Anytime Refinement +
- Identifying Noise Variables in Singular Decisions using Counterfactual Reasoning +
- Introduction to Formal Concept Analysis +
- KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge +
- Knowledge Graphs +
- Logic-Based Ontology Engineering +
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) +
- Models of Concurrent Systems +
- NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces +
- On probability-raising causality in Markov decision processes +
- On the Foundations of Cycles in Bayesian Networks +
- Operational Causality - Necessarily Sufficient and Sufficiently Necessary +
- Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting +
- Probabilistic Causes in Markov Chains +
- Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden. +
