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

Experience Based Nonmonotonic Reasoning + (Pedro Cabalar, Tran Cao Son)
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis + (Peggy Cellier and Felix Distel and Bernhard Ganter)
Mathematical Morphology Operators over Concept Lattices + (Peggy Cellier and Felix Distel and Bernhard Ganter)
SPARQL Beyond Subgraph Matching + (Peter F. Patel-Schneider, Yue Pan, Birte Glimm, Pascal Hitzler, Peter Mika, Jeff Pan, Ian Horrocks)
Integrated Metamodeling and Diagnosis in OWL 2 + (Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm)
A Purely Logical Account of Sequentiality in Proof Search + (Peter J. Stuckey)
Fast Modularisation and Atomic Decomposition of Ontologies using Axiom Dependency Hypergraphs + (Peter Mika and Tania Tudorache and Abraham Bernstein and Chris Welty and Craig Knoblock and Denny Vrandecic and Paul Groth and Natasha Noy and Krzysztof Janowicz and Carole Goble)
Pushing the Boundaries of Tractable Ontology Reasoning. + (Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble)
Introducing Wikidata to the Linked Data Web + (Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble)
Schema-Agnostic Query Rewriting in SPARQL 1.1 + (Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandečić, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble)
Complexity and Succinctness of Public Announcement Logic + (Peter Stone and Gerhard Weiss)
Some Complexity Results about Essential Closed Sets + (Petko Valtchev and Robert J"aschke)
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis + (Phil Blunsom, Antoine Bordes, Kyunghyun Cho, Shay B. Cohen, Chris Dyer, Edward Grefenstette, Karl Moritz Hermann, Laura Rimell, Jason Weston, Scott Yih)
An Ontology Design Pattern for Cartographic Map Scaling + (Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph)
Access rights and collaborative ontology integration for reuse across security domains + (Philippe Cudré-Mauroux)
Wikipedia and the Semantic Web, Part II + (Phoebe Ayers and Nicholas Boalch)
Witnessing Subsystems for Probabilistic Systems with Low Tree Width + (Pierre Ganty and Davide Bresolin)
Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco)
The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules + (Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco)
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities + (Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco)
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+ + (Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner)
Nemo: Your Friendly and Versatile Rule Reasoning Toolkit + (Pierre Marquis,Magdalena Ortiz,Maurice Pagnucco)
Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (Pierre Marquis,Tran Cao Son,Gabriele Kern-Isberner)
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND + (Pietro Baroni)
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (Pietro Baroni, Christoph Benzmüller, Yì N. Wán)

A Framework for Intuitionistic Grammar Logics + (Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang)

Abstract Dialectical Frameworks + (Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Geentert von der Torre)
cf2 Semantics Revisited + (Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo Ricardo Simari)
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND + (Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede)
Foundations of Implementations for Formal Argumentation + (Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre)
On the Complexity of Universality for Partially Ordered NFAs + (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier)
Piecewise Testable Languages and Nondeterministic Automata + (Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier)
FABEL + (Projektträger Informationstechnik des BMFT bei der DLR)
RFuzzy Framework + (Puri Arenas and Damiano Zanardini)
The Inclusion Problem for Weighted Automata on Infinite Trees + (Pál Dömösi and Szabolcs Iván)
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks + (Qiang Yang and Michael Wooldridge)
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)