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 Fuzzy Description Logic with Hedges as Concept Modifiers +
- A Local System for Linear Logic +
- A Non-commutative Extension of MELL +
- A Proposal for Describing Services with DLs +
- A Purely Logical Account of Sequentiality in Proof Search +
- A System of Interaction and Structure +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- A Theory of Hypothesis Finding in Clausal Logic +
- A compact fuzzy extension of the Naive Bayesian classification algorithm +
- A uniform approach to logic programming semantics +
- An Approach for Optimized Approximation +
- An Approach for Optimizing ALE-Approximation of ALC-Concepts +
- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification +
- Approximating ALCN-Concept Descriptions +
- Approximation and Difference in Description Logics +
- Atomic Cut Elimination for Classical Logic +
- Ausgezeichnete Informatikdisserationen 2001 +
- Automata-Theoretic Decision Procedures for Information Logics +
- Automated Performance and Dependability Evaluation Using Model Checking +
- BDD-Based Decision Procedures for K +
- Circular Belief in Logic Programming Semantics +
- Combining Decision Procedures for Positive Theories Sharing Constructors +
- Completing Incomplete Bayesian Networks +
- Concrete Domains and Nominals United. +
- Consistency Without Cut Elimination +
- Contexts, Concepts, and Logic of Domains +
- Convergence Classes and Spaces of Partial Functions +
- Decidability of SHIQ with Complex Role Inclusion Axioms +
- Deciding the Word Problem in the Union of Equational Theories +
- Description Logics for the Semantic Web +
- Description Logics with Concrete Domains—A Survey +
- Fusions of Description Logics and Abstract Description Systems +
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment +
- Implementation and evaluation of a tableau algorithm for the Guarded Fragment +
- Incremental Fuzzy Decision Trees +
- Keys, Nominals, and Concrete Domains +
- LATPub226 +
- Least Common Subsumers, Most Specific Concepts, and Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles +
- Minimised Residue Hypotheses in Relevant Logic +
- Model Checking Performability Properties +
- On the Coincidence of Semantics for Uniquely Determined Programs +
- On the problem of computing small representations of least common subsumers +
- Optimised Reasoning for SHIQ +
- PSpace Reasoning with the Description Logic ALCF(D) +
- Probabilistic Aspects of Score Systems +
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies +
- Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies +
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults +
- Simulation for Continuous-Time Markov Chains +
- Symbolic Dynamic Programming within the Fluent Calculus +
