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

• Just: a Tool for Computing Justifications w.r.t. EL Ontologies  + (Samantha Bail and Birte Glimm and Ernesto Jiménez-Ruiz and Nicolas Matentzoglu and Bijan Parsia and Andreas Steigmiller)
• Recent Advances in Unification for the EL Family  + (Santiago Escobar and Konstantin Korovin and Vladimir Rybakov)
• Strategies in Flexible Dispute Derivations for Assumption-Based Argumentation  + (Sarah A. Gaggl, Jean-Guy Mailly, Matthias Thimm, Johannes P. Wallner)
• Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-monotonic Reasoning (ArgLPNMR 2016)  + (Sarah Alice Gaggl and Juan Carlos Nieves and Hannes Strass)
• Argumentation and Logic Programming (Revised Selected Papers of ArgLP 2015)  + (Sarah Alice Gaggl and Juan Carlos Nieves and Hannes Strass and Paolo Torroni)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz)
• Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets  + (Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz)
• Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis  + (Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (Sarit Kraus)
• Ontology-Mediated Queries for Probabilistic Databases  + (Satinder Singh, Shaul Markovitch)
• Modulo Counting on Words and Trees.  + (Satya V. Lokam, R. Ramanujam)
• Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies  + (Sean Bechhofer and Manfred Hauswirth and Joerg Hoffmann and Manolis Koubarakis)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (Sebastian Rudolph)
• Introductions to Description Logics - A Guided Tour  + (Sebastian Rudolph and Georg Gottlob and Ian Horrocks and Frank van Harmelen)
• Towards an FCA-based Recommender System for Black-Box Optimization  + (Sergei O. Kuznetsov and Amedeo Napoli and Sebastian Rudolph)
• Some Notes on Pseudo-closed Sets  + (Sergej O. Kuznetsov, Stefan Schmidt)
• Automated Reasoning Support for Standpoint-OWL 2  + (Sergio de Cesare, Tiago Prince Sales)
• A Theory of Hypothesis Finding in Clausal Logic  + (Setsuo Arikawa and Ayumi Shinohara)
• Weighted Abstract Dialectical Frameworks  + (Sheila McIlraith and Kilian Weinberger)
• RFuzzy: An Expressive Simple Fuzzy Compiler  + (Sigeru Omatu and Miguel Rocha and José Bravo and Florentino Fernández Riverola and Emilio Corchado and Andrés Bustillo and Juan M. Corchado)
• Causality-Based Game Solving  + (Silva, Alexandra and Leino, K. Rustan M.)
• Computing Minimal EL-unifiers is Hard  + (Silvio Ghilardi and Lawrence Moss)
• Putting ABox Updates into Action  + (Silvio Ghilardi and Roberto Sebastiani)
• Runtime Verification Using a Temporal Description Logic  + (Silvio Ghilardi and Roberto Sebastiani)
• Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies  + (Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar)
• Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization  + (Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg)

• A Benchmark Framework for a Computational Argumentation Competition  + (Simon Parsons and Nir Oren and Chris Reed)
• Implementing Instantiation of Knowledge Bases in Argumentation Frameworks  + (Simon Parsons and Nir Oren and Chris Reed)
• The DIAMOND System for Computing with Abstract Dialectical Frameworks  + (Simon Parsons and Nir Oren and Chris Reed)

• Decomposing Abstract Dialectical Frameworks  + (Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti)
• The DIAMOND System for Computing with Abstract Dialectical Frameworks  + (Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti)
• Weighted Symbolic Automata with Data Storage  + (Srečko Brlek, Christophe Reutenauer)
• Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)  + (Stefan Borgwardt, Thomas Meyer)
• Bound Your Models! How to Make OWL an ASP Modeling Language  + (Stefan Ellmauthaler, Claudia Schulz)
• Asynchronous Multi-Context Systems  + (Stefan Ellmauthaler, Jörg Pührer)
• Mulit-context systems for reactive reasoning in dynamic environments  + (Stefan Ellmauthaler, Jörg Pührer)
• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (Stefan Kiefer, Christine Tasson)
• Towards Model Theory of Ordered Logics: Expressivity and Interpolation  + (Stefan Szeider, Robert Ganian, Alexandra Silva)
• Rational Models of Normal Logic Programs  + (Steffen Hölldobler Günther Görz)
• KI-96: Lecture Notes in Artificial Intelligence  + (Steffen Hölldobler Günther Görz)
• Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers  + (Steffen Hölldobler and Andrey Malikov and Christoph Wernhard)
• Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, YSIP  + (Steffen Hölldobler and Andrey Malikov and Christoph Wernhard)
• Intellectics and Computational Logic  + (Steffen Hölldobler in Honor of Wolfgang Bibel)
• Cheap Boolean Role Constructors for Description Logics  + (Steffen Hölldobler, Carsten Lutz, Heinrich Wansing)
• Towards a Formal Account on Negative Latency  + (Steffen, Bernhard)
• The Bayesian Description Logic BEL  + (Stephane Demri and Deepak Kapur and Christoph Weidenbach)
• EL-ifying Ontologies  + (Stephane Demri, Deepak Kapur, Christoph Weidenbach)
• Intertranslatability of Labeling-based Argumentation Semantics  + (Steven Schockaert, Pierre Senellart)
• Preferential Query Answering in the Semantic Web with Possibilistic Networks  + (Subbarao Kambhampati)
• Expressivity of Datalog Variants - Completing the Picture  + (Subbarao Kambhampati)
• ETALIS: Rule-Based Reasoning in Event Processing  + (Sven Helmer, Alex Poulovassilis, Fatos Xhafa)
• The Relative Expressiveness of Abstract Argumentation and Logic Programming  + (Sven Koenig and Blai Bonet)
• Global One-Counter Tree Automata  + (Szilárd Zsolt Fazekas)