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
- Hierarchical control with partial observations: Sufficient conditions + (Hierarchical control with partial observations Sufficient conditions.pdf)
- An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (HinzeHatnik+-DNA7-02.pdf)
- Rechnen mit DNA - Eine Einführung in Theorie und Praxis + (HinzeSturm-OWV-2004.pdf)
- Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation + (HinzeSturm-TT2000-00.ps.gz)
- A Tableau Algorithm for the Clique Guarded Fragment + (HirschTobies-AiML-2000.ps.gz)
- A Tableau Algorithm for the Clique Guarded Fragment + (HirschTobies-AiML.ps.gz)
- A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version + (HirschTobies-LTCS-2000.ps.gz)
- Logic + (History2015.pdf)
- Resolution and Logic Programming in Algebraic Domains: Negation and Defaults + (Hitzler:02:wv05.pdf)
- Convergence Classes and Spaces of Partial Functions + (Hitzler:03:08.pdf)
- A generalized resolution theorem + (Hitzler:04:03.pdf)
- Logic Programs and Connectionist Networks + (Hitzler:04:05.pdf)
- A cartesian closed category of approximable concept structures + (Hitzler:04:wv01.pdf)
- Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper + (Hitzler:05:02.pdf)
- A categorical view on algebraic lattices in formal concept analysis + (HitzlerKroetzschZhang-Algebraic-Lattices-FCA-2004.pdf)
- PSPACE Automata for Description Logics + (HlaPen-DL-06.pdf)
- A Translation of Looping Alternating Automata to Description Logics + (HlaSat-CADE03.ps.gz)
- A Generator for Description Logic Formulas + (Hladik-DL-05.pdf)
- Implementing the n-ary Description Logic GF1- + (Hladik-DL-2000.ps.gz)
- Implementation and evaluation of a tableau algorithm for the Guarded Fragment + (Hladik-DL-2002.ps.gz)
- Reasoning about Nominals with FaCT and RACER + (Hladik-DL-2003.ps.gz)
- A Tableau System for the Description Logic SHIO + (Hladik-IJCAR-04.ps.gz)
- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment + (Hladik-Tableaux-2002.ps.gz)
- Spinoza's Ontology + (Hladik-WSPI-04.pdf)
- Tableau Systems for SHIO and SHIQ + (HladikModel-DL-04.pdf)
- A Logic-Based Approach to Dynamic Programming + (Hoelldobler:04:01.pdf)
- From the Calculus of Structures to Term Rewriting Systems + (Hoelldobler:04:wv03.pdf)
- FLUCAP: A Heuristic Search Planner for First-Order MDPs + (Hoelldobler:06:JAIR.pdf)
- How to decide Query Containment under Constraints using a Description Logic + (HorSatTesTob-KRDB-2000.ps.gz)
- How to decide Query Containment under Constraints using a Description Logic + (HorSatTesTob-LPAR-2000.ps.gz)
- Foundations of Knowledge Representation + (Horn Logics Problems.pdf)
- Foundations of Knowledge Representation + (Horn Logics and Datalog Problems.pdf)
- Foundations of Knowledge Representation + (Horn Logics and Datalog Problems23.pdf)
- Foundations of Knowledge Representation + (Horn Logics and DatalogProblems.pdf)
- Reasoning with Individuals for the Description Logic SHIQ + (HorrSattTob-CADE-2000.ps.gz)
- Practical Reasoning for Very Expressive Description Logics + (HorrSattTob-IGPL.ps.gz)
- Query Containment Using a DLR ABox + (HorrocksSattler+-LTCS-99-15.ps.gz)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (HorrocksSattler-DL-98.ps.gz)
- Optimised Reasoning for SHIQ + (HorrocksSattler-ECAI2002.pdf)
- Ontology Reasoning in the SHOQ(D) Description Logic + (HorrocksSattler-IJCAI.ps.gz)
- Decidability of SHIQ with Complex Role Inclusion Axioms + (HorrocksSattler-IJCAI03.pdf)
- Optimised Reasoning for SHIQ + (HorrocksSattler-LTCS-01-08.ps.gz)
- Decidability of SHIQ with Complex Role Inclusion Axioms + (HorrocksSattler-LTCS-02-06.ps.gz)
- A Description Logic with Transitive and Converse Roles and Role Hierarchies + (HorrocksSattler-LTCS-98-05.ps.gz)
- Practical Reasoning for Expressive Description Logics + (HorrocksSattlerTobies-LPAR-99.ps.gz)
- A PSpace-algorithm for deciding ALCNI_R^+-satisfiability + (HorrocksSattlerTobies-LTCS-98-08.ps.gz)
- A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions + (HorrocksSattlerTobies-LTCS-99-08.ps.gz)
- Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies + (HorrocksSattlerTobies-M4M-99.ps.gz)
- Optimisation of Terminological Reasoning + (HorrocksTobies-DL-2000.ps.gz)
- Reasoning with Axioms: Theory and Practice + (HorrocksTobies-KR-2000.ps.gz)
- Optimisation of Terminological Reasoning + (HorrocksTobies-LTCS-99-14.ps.gz)
