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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- A Categorical Characterization of Consistency Results +
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
- A Compositional Framework for Controller Synthesis +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A Local System for Classical Logic +
- A Local System for Linear Logic +
- A Medvedev Characterization of Recognizable Tree Series +
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments +
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
- A NExpTime-complete Description Logic Strictly Contained in C^2 +
- A Neutral Temporal Deontic STIT Logic +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A New Computational Logic Approach to Reason with Conditionals +
- A New Equational Foundation for the Fluent Calculus +
- A New n-ary Existential Quantifier in Description Logics +
- A Non-commutative Extension of MELL +
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
- A Novel Architecture for Situation Awareness Systems +
- A PSpace Algorithm for Graded Modal Logic +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
- A Practical Approach for Computing Generalization Inferences in EL +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A Purely Logical Account of Sequentiality in Proof Search +
- A Recursive Neural Network for Reflexive Reasoning +
- A Rule-Based Language for Complex Event Processing and Reasoning +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Sound and Complete Backward Chaining Algorithm for Existential Rules +
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A Terminological Knowledge Representation System with Complete Inference Algorithms +
- A Theory of Hypothesis Finding in Clausal Logic +
- A Translation of Looping Alternating Automata to Description Logics +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem +
- A cartesian closed category of approximable concept structures +
