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
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection +
- A Description Logic Based Approach to Reasoning about Web Services +
- A Generator for Description Logic Formulas +
- A Heuristic Search Algorithm for Solving First-Order MDPs +
- A Method of Estimating Oriented Surface Elements from Stereo Images +
- A New n-ary Existential Quantifier in Description Logics +
- A New n-ary Existential Quantifier in Description Logics +
- A New n-ary Existential Quantifier in Description Logics +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for DLs with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs +
- Ausgezeichnete Informatikdissertationen 2004 +
- Award1002 +
- Award1003 +
- Awards in 2005 +
- Category Theory in Ontology Research: Concrete Gain from an Abstract Approach +
- Comparative branching-time semantics for Markov chains +
- Completing Incomplete Bayesian Networks +
- Complexity and Succinctness of Public Announcement Logic +
- Computing First-Order Logic Programs by Fibring Artificial Neural Networks +
- Connecting Many-Sorted Structures and Theories through Adjoint Functions +
- Connecting Many-Sorted Theories +
- Connecting Many-Sorted Theories +
- DLP isn't so bad after all +
- Description Logics as Ontology Languages for the Semantic Web +
- Dimensions of neural-symbolic integration — a structured survey +
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes +
- Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic +
- Expressive Non-Monotonic Description Logics Based on Circumscription +
- Extracting Reduced Logic Programs from Artificial Neural Networks +
- Formal Concept Analysis +
- Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams +
- Implementing Deep Inference in TOM +
- Integrating Description Logics and Action Formalisms for Reasoning about Web Services +
- Integrating Description Logics and Action Formalisms: First Results +
- Integrating Description Logics and Action Formalisms: First Results +
- Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach +
- International Tele-Teaching – A Progress Report +
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? +
- Keys, Nominals, and Concrete Domains +
- Level mapping characterizations of selector generated models for logic programs +
- Model checking meets performance evaluation +
- Morphisms in Context +
- Morphisms in Logic, Topology, and Formal Concept Analysis +
- Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper +
- PDL with Intersection and Converse is Decidable +
- PDL with Intersection and Converse is Decidable +
- PDL with Negation of Atomic Programs +
- Partial Order Reduction for Markov Decision Processes: A Survey +
