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 +
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- 6th Workshop on Unification +
- ??? +
- A "Converse" of the Banach Contraction Mapping Theorem +
- A Behavioral Characterization of Computational Systems +
- A Benchmark Framework for a Computational Argumentation Competition +
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Brief Introduction to Formal Concept Analysis +
- A Calculus of Order and Interaction +
- A Calculus of Order and Interaction +
- A Categorical Characterization of Consistency Results +
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Compact Encoding of Pseudo-Boolean Constraints into SAT +
- A Compositional Framework for Controller Synthesis +
- A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation +
- A Computational Logic Approach to Human Reasoning +
- A Computational Logic Approach to Syllogisms in Human Reasoning +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Abstract and the Social Case of the Selection Task +
- A Computational Logic Approach to the Belief Bias Effect +
- A Computational Logic Approach to the Suppression Task +
- A Computational Logic Approach to the Suppression Task +
- A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Concept Language for an engeneering application with part-whole relations +
- A Conceptual Foundation for Autonomous Learning in Unforeseen Situations +
- A Core Method for the Weak Completion Semantics with Skeptical Abduction +
- A Correspondance between Temporal Description Logics +
- A Correspondence between Temporal Description Logics +
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation +
- A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report +
- A Data-Driven Graph Schema +
- A Database Approach for Modeling and Querying Video Data +
- A Database Approach for Modeling and Querying Video Data +
- 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 Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
- A Description Logic Based Approach to Reasoning about Web Services +
- A Description Logic Primer +
- A Description Logic Primer +
- A Description Logic for Vague Knowledge +
- A Description Logic for Vague Knowledge +