Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- 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 +
