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

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)
Ausgezeichnete Informatikdissertationen 2004 + (T. Dreier and O. Günther and S. Hölldobler and K.-P. Löhr and P. Molitor and R. Reischuk and D. Saupe and D. Wagner)
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs + (Takahiro Kawamura, Heiko Paulheim)
Modeling OWL with Rules: The ROWL Protege Plugin + (Takahiro Kawamura, Heiko Paulheim)
Extraction of Multilingual Term Variants in the Business Reporting Domain + (Tatiana Gornostay)
Terminology Harmonization in Industry Classification Standards + (Tatiana Gornostay)
On the Coincidence of Semantics for Uniquely Determined Programs + (Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda)
Matching with respect to general concept inclusions in the Description Logic EL + (Temur Kutsia and Christophe Ringeissen)
Employing DL-LiteR-Reasoners for Fuzzy Query Answering + (Thepchai Supnithi and Takahira Yamaguchi)
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics + (Thomas Barkowsky and Marco Ragni and Frieder Stolzenburg)
Towards Knowledge-Based Assistance for Scholarly Editing + (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban)
Reasoning with Concrete Domains + (Thomas Dean)
Computing the lcs w.r.t. General EL^+ TBoxes + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Rough EL Classification + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
LATPub527 + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
About Subsumption in Fuzzy EL + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Temporal Query Answering in DL-Lite + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Hybrid EL-Unification is NP-Complete + (Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday + (Thomas Eiter and Hannes Strass and Mirosław Truszczyński and Stefan Woltran)
SROIQ Syntax Approximation by Using Nominal Schemas + (Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch)
How to reason with OWL in a logic programming system + (Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens)
Asynchronous Multi-Context Systems + (Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran)
Stream Packing for Asynchronous Multi-Context Systems using ASP + (Thomas Eiter, Wolfgang Faber, Stefan Woltran)