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

Unification Theory + (W. Bibel and P.H. Schmidt)
Tractable and Decidable Fragments of Conceptual Graphs + (W. Cyre and W. Tepfenhart)
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (W. McCune)
Description Logics with Symbolic Number Restrictions + (W. Wahlster)
Description Logics for the Representation of Aggregated Objects + (W.Horn)
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets + (Weiru Liu)
Hybrid Neural Systems + (Wermter and Sun)
Intellectics and Computational Logic + (Wolfgang Bibel)
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas + (Wolfgang Faber, Domenico Lembo)
Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak)
Complexity in Union-Free Regular Languages + (Y. Gao, H. Lu, S. Seki, S. Yu)
Role-depth Bounded Least Common Subsumers for EL+ and ELI + (Yevgeny Kazakhov and Frank Wolter)

A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
Adding Context to Tableaux for DLs + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
Gödel Negation Makes Unwitnessed Consistency Crisp + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
LATPub490 + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)
UEL: Unification Solver for EL + (Yevgeny Kazakov and Domenico Lembo and Frank Wolter)

Wikidata: The Making Of + (Ying Ding, Jie Tang, Juan F. Sequeda, Lora Aroyo,Carlos Castillo, Geert-Jan Houben)
Ontologies for Knowledge Graphs: Breaking the Rules + (Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda)
Rushing and Strolling among Answer Sets – Navigation Made Easy (Extended Abstract) + (Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, Tuncay Tekle)
Representing and Reasoning on Conceptual Queries Over Image Databases + (Zbigniew W. Ras and Andrzej Skowron)
On the expressiveness of MTL and TPTL over omega-data words + (Zoltán Ésik, Zoltán Fülöp)
A Medvedev Characterization of Recognizable Tree Series + (Émilie Charlier, Julien Leroy, Michel Rigo)