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

• 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)

• A Resolution Theorem for Algebraic Domains  + (Georg Gottlob and Toby Walsh)
• 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)

• 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)
• Undecidability of Fuzzy Description Logics  + (Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith)
• Extending Unification in EL Towards General TBoxes  + (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)