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
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- A Note on Relative Observability in Coordination Control +
- A purely logical account of sequentiality in proof search – extended abstract +
- ASPARTIX-D Ready for the Competition +
- Advanced Petri Nets and the Fluent Calculus (INFOCOM-6) +
- An A-Maze-ing SAT Solving Visualization +
- An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms +
- Answer Set Programming and Clasp (INFOCOM-6) +
- BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract) +
- Characterizing Realizability in Abstract Argumentation +
- Characterizing logic programming semantics with level mappings +
- Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions +
- Cheap Boolean Role Constructors for Description Logics +
- Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms +
- Completing the Picture: Complexity of Graded Modal Logics with Converse +
- Decidability of Querying First-Order Theories via Countermodels of Finite Width +
- ELP: Tractable Rules for OWL 2 +
- EQuIKa: Epistemic Querying in OWL 2 Ontologies +
- ETALIS: Rule-Based Reasoning in Event Processing +
- Existential Notation3 Logic +
- Fast Dual Simulation Processing of Graph Database Queries +
- Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers +
- High Throughput Indexing for Large-scale Semantic Web Data +
- ILP Operators for Propositional Connectionist Networks +
- Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques +
- Interactive ontology revision +
- Künstliche Intelligenz, quo vadis? +
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web +
- Linear Logic and Noncommutativity in the Calculus of Structures +
- Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis +
- On Composing Finite Forests with Modal Logics +
- Reasoning-Supported Interactive Revision of Knowledge Bases +
- SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6) +
- Small is again Beautiful in Description Logics +
- Solving Robust Markov Decision Processes: Generic, Reliable, Efficient +
- The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains +
- Towards Nonmonotonic Reasoning on Hierarchical Knowledge +
