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

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces + (Francesca Toni)
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams + (Francesca Toni)
A Formal Theory of Justifications + (Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński)
On the Complexity of Graded Modal Logics with Converse. + (Francesco Calimeri, Nicola Leone, Marco Manna)
Conservative Extensions in the Lightweight Description Logic EL + (Frank Pfenning)
The Complexity of Reasoning with Boolean Modal Logics + (Frank Wolter and Heinrich Wansing and Maarten de Rijke and Michael Zakharyaschev)
Description Logics + (Frank van Harmelen and Vladimir Lifschitz and Bruce Porter)
Proceedings of the 19th International Conference on Automated Deduction CADE-19 + (Franz Baader)
Computing Local Unifiers in the Description Logic EL without the Top Concept + (Franz Baader and Barbara Morawska and Jan Otop)
Relationship with other Formalisms + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Extensions to Description Logics + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Basic Description Logics + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Description Logic Terminology + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
The Description Logic Handbook: Theory, Implementation, and Applications + (Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider)
Frontiers of Combining Systems + (Franz Baader and Klaus U. Schulz)
All Elephants are Bigger than All Mice + (Franz Baader, Carsten Lutz, Boris Motik)
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie)
Towards the Complexity of Recognizing Pseudo-intents + (Frithjof Dau and Sebastian Rudolph)
Access Policy Design Supported by FCA Methods + (Frithjof Dau and Sebastian Rudolph)
Morphisms in Context + (Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme)
From Linear Proofs to Direct Logic with Exponentials + (G. Brewka and C. Habel and B. Nebel)
Tabu Search Revisited + (G. Brewka and C. Habel and B. Nebel)
Multi-Flip Networks: Parallelizing GenSAT + (G. Brewka and C. Habel and B. Nebel)
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks + (G. Brewka and C. Habel and B. Nebel)
Spinoza's Ontology + (G. Büchel and B. Klein and T. Roth-Berghofer)
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams + (G. Gottlob, D Inclezan, M. Maratea)

A Concept Language Extended with Different Kinds of Transitive Roles + (G. Görz and S. Hölldobler)
KI-96: Abvances in Artificial Intelligence + (G. Görz and S. Hölldobler)

On SAT-Encodings of the At-Most-One Constraint + (G. Katsirelos and C.-G. Quimpe)
Computing extensions of terminological default theories + (G. Lakemeyer)
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi + (G. Lakemeyer and L. Morgenstern and M.-A. Williams)
Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding — + (G. Palm S. Biundo, T. Frühwirth)
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)