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

Combination of Compatible Reduction Orderings that are Total on Ground Terms + (G. Winskel)
Convergence Classes and Spaces of Partial Functions + (G.-Q. Zhang and J. Lawson and Y.M. Liu and M.K. Luo)
Characterizing Realizability in Abstract Argumentation + (Gabriele Kern-Isberner and Renata Wassermann)
On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems. + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
PIT: A System for Reasoning with Probabilities. + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
A Probability Theoretic Analysis of Score Systems + (Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert)
Completing Incomplete Bayesian Networks + (Gabriele Kern-Isberner and Wilhelm Roedder)
Completing Incomplete Bayesian Networks + (Gabriele Kern-Isberner and Wilhelm Rödder and Friedhelm Kulmann)
Automating Reasoning with Standpoint Logic via Nested Sequents + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
Chasing Streams with Existential Rules + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer)
A fuzzy extension of explanatory relations based on mathematical morphology + (Gabriella Pasi and Javier Montero)
Fixed-Domain Reasoning for Description Logics + (Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen)
Hashtag Processing for Enhanced Clustering of Tweets + (Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova)
Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (Geerts, Floris and Vandevoort, Brecht)
Temporal Query Answering in DL-Lite with Negation + (Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov)
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles + (Georg Gottlob and Toby Walsh)
Terminological Cycles in a Description Logic with Existential Restrictions + (Georg Gottlob and Toby Walsh)
A Resolution Theorem for Algebraic Domains + (Georg Gottlob and Toby Walsh)
Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
A Practical Account into Counting Dung’s Extensions by Dynamic Programming + (Georg Gottlob, Daniela Inclezan, Marco Maratea)
The Two Views on Ontological Query Answering + (Georg Gottlob, Jorge Pérez)
On SAT-Encodings of the At-Most-One Constraint + (George Katsirelos and Claude-Guy Quimper)
Spatial concepts - a rule exploration + (Gerd Stumme)
Complexity of Abduction in the EL Family of Lightweight Description Logics + (Gerhard Brewka and Jérôme Lang)

Extending Unification in EL Towards General TBoxes + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)
Undecidability of Fuzzy Description Logics + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)

Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts + (Gerhard Budin, Vesna Lusicky)
Business lexicography + (Gerlinde Mautner Rainer Franz)
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks + (Gianvincenzo Alfano, Stefano Ferilli)
The Weak Completion Semantics and Equality + (Gilles Barthe and Geoff Sutcliffe and Margus Veanes)
The Triguarded Fragment of First-Order Logic + (Gilles Barthe, Geoff Sutcliffe, Margus Veanes)
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study + (Gilly, Katja and Thomas, Nigel)
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints + (Giuseppe De Giacomo. Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro and Alberto Bugarin, Jerome Lang)
Sharing Information in Parallel Search with Search Space Partitioning + (Giuseppe Nicosia and Panos M. Pardalos)
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation + (Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez)
On conditionals + (Gottlob, G., Sutcliffe, G., Voronkov, A.)
Reasoning in Semantic Wikis + (Grigoris Antoniou and Uwe Aßmann and Cristina Baroglio and Stefan Decker and Nicola Henze and Paula-Lavinia Patranjan and Robert Tolksdorf)
Multilingual Terminology Acquisition for Ontology-based Information Extraction + (Guadalupe Aguado de Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda)
Conservative Extensions in Modal Logics + (Guido Governatori and Ian Hodkinson and Yde Venema)
Semantic Characterizations of AGM Revision for Tarskian Logics + (Guido Governatori, Anni-Yasmin Turhan)
An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (Guido Governatori, Anni-Yasmin Turhan)
Reasoning in the Description Logic BEL using Bayesian Networks + (Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole)
Ausgezeichnete Informatikdissertationen 2002 + (H. Beilner and H. Fiedler and M. Gross and O. Günther and S. Hölldobler and G. Hotz and K.-P. Löhr and R. Reischuk and D. Wagner)
Ausgezeichnete Informatikdisserationen 2001 + (H. Beilner and H. Fiedler and O. Günther and S. Hölldobler and G. Hotz and P. Liggesmeyer and K.-P. Löhr and R. Reischuk and D. Wagner)
Blackhole State-Controlled Regulated Pushdown Automata + (H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto)
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY + (H. Burkhard and M. Lenz)
Combining Constraint Solving + (H. Comon and C. Marché and R. Treinen)
Ausgezeichnete Informatikdissertationen 1999 + (H. Fiedler and O. Günther and W. Grass and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
Ausgezeichnete Informatikdisserationen 2000 + (H. Fiedler and W. Grass and O. Günther and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
A PSpace Algorithm for Graded Modal Logic + (H. Ganzinger)