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 +
- 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 Generic Approach for Correcting Access Restrictions to a Consequence +
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- 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 Novel Architecture for Situation Awareness Systems +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Practical Approach for Computing Generalization Inferences in EL +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A Terminological Knowledge Representation System with Complete Inference Algorithms +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem +
- A computational logic approach to the belief bias in human syllogistic reasoning +
- A uniform framework for modeling and verifying components and connectors +
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming +
- Access Policy Design Supported by FCA Methods +
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification +
- Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday +
- Advances in Symbolic Probabilistic Model Checking with PRISM +
- Alternating-Time Stream Logic for Multi-agent Systems +
- An Ontology Design Pattern for Cartographic Map Scaling +
- Approximate Computation of Exact Association Rules +
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains +
- Approximated Determinisation of Weighted Tree Automata +
- Are Good-for-Games Automata Good for Probabilistic Model Checking? +
- Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings +
- Atomic Cut Elimination for Classical Logic +
- Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing +
- Automated Performance and Dependability Evaluation Using Model Checking +
- Axiom Pinpointing in General Tableaux +
- Be lazy and don’t care: Faster CTL model checking for recursive state machines +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- Cardinality Restrictions on Concepts +
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes +
- Characterizations of Unification Type Zero +
- Combination Techniques and Decision Problems for Disunification +
- Combining Constraint Solving +
- Combining Decision Procedures for Positive Theories Sharing Constructors +
- Combining Equational Theories Sharing Non-Collapse-Free Constructors +
- Comparative Branching-Time Semantics +
- Components in Probabilistic Systems: Suitable by Construction +
