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

Towards a General Argumentation System based on Answer-Set Programming + (Manuel V. Hermenegildo, Torsten Schaub)
A Fully Connectionist Model Generator for Covered First-Order Logic Programs + (Manuela M. Veloso)
Conservative Extensions in Expressive Description Logics + (Manuela Veloso)
Answering conjunctive queries in the SHIQ description logic + (Manuela Veloso)
A Description Logic of Change + (Manuela Veloso)
Contextual reasoning: Usually birds can abductively fly + (Marcello Balduccini, Tomi Janhunen)
A Uniform Account of Realizability in Abstract Argumentation + (Maria Fox and Gal Kaminka and Frank van Harmelen)
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming + (Maria Garcia de la Banda, Enrico Pontelli)
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles + (Maria Keet, Valentina Tamma)
Temporalizing Ontology-Based Data Access + (Maria Paola Bonacina)
Complexity Results for Probabilistic Datalog+/- + (Maria S. Fox, Gal A. Kaminka)
Some Experimental Results on Randomly Generating Formal Contexts + (Marianne Huchard, Sergei Kuznetsov)
Porting the xEBR taxonomies to a LOD compliant format + (Mariano Rico, Maria Mora)
Dismatching and local disunification in EL + (Maribel Fernández)
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents + (Maribel Fernández and Anca Muscholl)
Tuple-Generating Dependencies Capture Complex Values (extended abstract) + (Mario Alviano, Andreas Pieris)
Nemo: A Scalable and Versatile Datalog Engine + (Mario Alviano, Matthias Lanzinger)
A Practical Approach for Computing Generalization Inferences in EL + (Marko Grobelnik and Elena Simperl)
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices + (Markus Krötzsch and Umberto Straccia)
Recent Advances in Integrating OWL and Rules + (Markus Krötzsch and Umberto Straccia)
Explaining Data with Formal Concept Analysis + (Markus Krötzsch, Daria Stepanova)
A Novel Architecture for Situation Awareness Systems + (Martin Giese and Arild Waaler)
Tableaux for Projection Computation and Knowledge Compilation + (Martin Giese and Arild Waaler)
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract) + (Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt)
Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) + (Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt)

A Database Approach for Modeling and Querying Video Data + (Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou)

Efficient OWL Reasoning with Logic Programs - Evaluations + (Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie)
Concept Adjustment for Description Logics + (Mathieu d'Aquin and Andrew Gordon)
Optimizations for the role-depth bounded least common subsumer in el+ + (Matthew Horridge and Pavel Klinov)
A Non-commutative Extension of MELL + (Matthias Baaz and Andrei Voronkov)
A Local System for Linear Logic + (Matthias Baaz and Andrei Voronkov)
Incremental Fuzzy Decision Trees + (Matthias Jarke and Jana Koehler and Gerhard Lakemeyer)
The Well-Founded Semantics is a Stratified Fitting Semantics + (Matthias Jarke and Jana Koehler and Gerhard Lakemeyer)
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), Workshop der COMMA 2016 + (Matthias Thimm and Federico Cerutti and Hannes Strass and Mauro Vallati)
Introducing the Second International Competition on Computational Models of Argumentation + (Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati)
Soundness of Inprocessing in Clause Sharing SAT Solvers + (Matti Järvisalo and Allen Van Gelder)
The WHILE Hierarchy of Program Schemes is Infinite + (Maurice Nivat)
Fixed-Domain Reasoning for Description Logics + (Maurizio Lenzerini, Rafael Peñaloza)
Reasoning in Expressive Gödel Description Logics + (Maurizio Lenzerini, Rafael Peñaloza)
Efficient Axiom Pinpointing in EL using SAT Technology + (Maurizio Lenzerini, Rafael Peñaloza)
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (Maurizio Lenzerini, Rafael Peñaloza)
Open-World Probabilistic Databases (Extended Abstract) + (Maurizio Lenzerini, Rafael Peñaloza)
Reusing Ontological Background Knowledge in Semantic Wikis + (Max Völkel and Sebastian Schaffert and Stefan Decker)
Certain Answers in a Rough World + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Towards Parallel Repair: An Ontology Decomposition-based Approach + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Brave and Cautious Reasoning in EL + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Mary, What's Like All Cats? + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
DeaLing with Ontologies using CODs + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Evaluation of Extraction Techniques for Ontology Excerpts + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)