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

• 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)
• Implementing Instantiation of Knowledge Bases in Argumentation Frameworks  + (Simon Parsons and Nir Oren and Chris Reed)
• A Benchmark Framework for a Computational Argumentation Competition  + (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)
• Concept Lattice Orbifolds -- First Steps  + (Sèbastien Ferré and Sebastian Rudolph)
• Some Computational Problems Related to Pseudo-intents  + (Sébastien Ferré and Sebastian Rudolph)
• Usability Issues in Description Logic Knowledge Base Completion  + (Sébastien Ferré and Sebastian Rudolph)
• Exploring Finite Models in the Description Logic ELgfp  + (Sébastien Ferré and Sebastian Rudolph)
• Compact Argumentation Frameworks  + (Sébastien Konieczny and Hans Tompits)
• Implementing Default and Autoepistemic Logics via the Logic of GK  + (Sébastien Konieczny and Hans Tompits)
• On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks  + (Sébastien Konieczny and Hans Tompits)
• A Simple Model for the Wason Selection Task  + (T. Barkowsky and M. Ragni and F. Stolzenburg)
• Computing Least Common Subsumers in Description Logics with Existential Restrictions  + (T. Dean)