Search by property

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

• 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)