Suche mittels Attribut

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

• The Combined Approach to Query Answering Beyond the OWL 2 Profiles  + (Qiang Yang and Michael Wooldridge)
• Reasonable Highly Expressive Query Languages  + (Qiang Yang, Michael Wooldridge)
• Temporal Query Answering in the Description Logic EL  + (Qiang Yang, Michael Wooldridge)
• The Complexity of Subsumption in Fuzzy EL  + (Qiang Yang, Michael Wooldridge)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (Qiang Yang, Michael Wooldridge)
• Membership Constraints in Formal Concept Analysis  + (Qiang Yang, Michael Wooldridge)
• Characterization of the Expressivity of Existential Rule Queries  + (Qiang Yang, Michael Wooldridge)
• Defining Relations: a general incremental approach with spatial temporal case studies  + (R Ferrario, W Kuhn)
• Tableau Algorithms for Description Logics  + (R. Dyckhoff)
• Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation  + (R. Freund)
• The Hybrid mu-Calculus  + (R. Goré and A. Leitsch and T. Nipkow)
• Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?  + (R. López de Mantáras and L. Saitta)
• Unification in a Description Logic with Transitive Closure of Roles  + (R. Nieuwenhuis and A. Voronkov)
• A Local System for Classical Logic  + (R. Nieuwenhuis and A. Voronkov)
• A systematic proof theory for several modal logics  + (R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing)
• System BV is NP-complete  + (R. de Queiroz and A. Macintyre and G. Bittencourt)
• Be lazy and don’t care: Faster CTL model checking for recursive state machines  + (Radu Calinescu and Corina S. Păsăreanu)
• Access restriction inside ontologies  + (Rainer Ruggaber)
• NExpTime-complete Description Logics with Concrete Domains  + (Rajeev Goré and Alexander Leitsch and Tobias Nipkow)
• Tableaux for Temporal Description Logic with Constant Domain  + (Rajeev Goré and Alexander Leitsch and Tobias Nipkow)
• Description Logic reasoning for Semantic Web Ontologies – Extended abstract  + (Rajendra Akerkar)
• Unification in the Description Logic EL  + (Ralf Treinen)
• Acquiring Generalized Domain-Range Restrictions  + (Raoul Medina and Sergei Obiedkov)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (Raoul Medina and Sergei Obiedkov)
• On the Complexity of Computing Generators of Closed Sets  + (Raoul Medina and Sergei A. Obiedkov)

• A Finite Basis for the Set of EL-Implications Holding in a Finite Model  + (Raoul Medina and Sergei Obiedkov)

• On the Foundations of Cycles in Bayesian Networks  + (Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak)
• The Fast and the Numerous - Combining Machine and Community Intelligence  + (Razvan Bunescu, Evgeniy Gabrilovich, Rada Mihalcea)
• Pushing the SONIC border — SONIC 1.0  + (Reinhold Letz)
• Nested Sequents for Quantified Modal Logics  + (Revantha Ramanayake, Josef Urban)
• Implementing completion-based inferences for the el-family  + (Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev)
• Correcting Access Restrictions to a Consequence More Flexibly  + (Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev)
• Fuzzy Ontologies over Lattices with T-norms  + (Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev)
• GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable  + (Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev)
• Unification in the Description Logic EL without the Top Concept  + (Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev)
• The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming  + (Riccardo Rosati and Stefan Woltran)
• Declarative Strategies for Agents with Incomplete Knowledge  + (Riccardo Rosati and Stefan Woltran)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev)
• Nominal Schemas for Integrating Rules and Description Logics  + (Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev)
• Contextual abduction and its complexity issues  + (Richard Booth, Giovanni Casini, Ivan Varzinczak)
• Towards Inconsistency Management in Reactive Multi-Context Systems  + (Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzincza)
• Expressiveness of guarded existential rule languages  + (Richard Hull, Martin Grohe)
• Comparative Branching-Time Semantics  + (Roberto M. Amadio and Denis Lugiez)
• The Tensor Product as a Lattice of Regular Galois Connections  + (Rokia Missaoui and Jürg Schmid)
• On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation  + (Roman Barták and Thomas Leo McCluskey and Enrico Pontelli)
• Conjunctive Query Answering in Finitely-valued Fuzzy Description Logics  + (Roman Kontchakov and Marie-Laure Mugnier)
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access  + (Rozier, Kristin Yvonne and Chaudhuri, Swarat)
• Towards a Systematic Account of Different Logic Programming Semantics  + (Rudolf Kruse Andreas Günter and Bernd Neumann)
• A formal assessment result for fluent calculus using the action description language A_k  + (Rudolf Kruse Andreas Günter and Bernd Neumann)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks  + (Rudolf Kruse Andreas Günter and Bernd Neumann)
• A Spectrum of Approximate Probabilistic Bisimulations  + (Rupak Majumdar and Alexandra Silva)