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

• An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog  + (Guido Governatori, Anni-Yasmin Turhan)
• Reasoning in the Description Logic BEL using Bayesian Networks  + (Guy Van den Broeck and Kristian Kersting and Sriraam Natarajan and David Poole)
• Ausgezeichnete Informatikdissertationen 2002  + (H. Beilner and H. Fiedler and M. Gross and O. Günther and S. Hölldobler and G. Hotz and K.-P. Löhr and R. Reischuk and D. Wagner)
• Ausgezeichnete Informatikdisserationen 2001  + (H. Beilner and H. Fiedler and O. Günther and S. Hölldobler and G. Hotz and P. Liggesmeyer and K.-P. Löhr and R. Reischuk and D. Wagner)
• Blackhole State-Controlled Regulated Pushdown Automata  + (H. Bordihn, R. Freund, T. Hinze, M. Holzer, M. Kutrib, F. Otto)
• Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY  + (H. Burkhard and M. Lenz)
• Combining Constraint Solving  + (H. Comon and C. Marché and R. Treinen)
• Ausgezeichnete Informatikdissertationen 1999  + (H. Fiedler and O. Günther and W. Grass and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
• Ausgezeichnete Informatikdisserationen 2000  + (H. Fiedler and W. Grass and O. Günther and S. Hölldobler and G. Hotz and R. Reischuk and B. Seeger and D. Wagner)
• A PSpace Algorithm for Graded Modal Logic  + (H. Ganzinger)
• On the State Complexity of the Reverse of R- and J-Trivial Regular Languages  + (H. Jurgensen and R. Reis)
• Combining Equational Theories Sharing Non-Collapse-Free Constructors  + (H. Kirchner and Ch. Ringeissen)
• Description Logics with Concrete Domains and Aggregation  + (H. Prade)
• Unification of Concept Terms in Description Logics  + (H. Prade)
• The Orbit Problem for Parametric Linear Dynamical Systems  + (Haddad, Serge and Varacca, Daniele)
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking  + (Haddad, Serge and Varacca, Daniele)
• Computing with Logic as Operator Elimination: The ToyElim System  + (Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf)
• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications  + (Hans de Nivelle)
• Practical Reasoning for Expressive Description Logics  + (Harald Ganzinger and David McAllester and Andrei Voronkov)
• Formal Concept Analysis Methods for Dynamic Conceptual Graphs  + (Harry S. Delugach, Gerd Stumme)
• The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices  + (Heiko Vogler and Manfred Droste)
• Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics  + (Helder Coelho and Rudi Studer and Michael Wooldridge)
• Verifying Properties of Infinite Sequences of Description Logic Actions  + (Helder Coelho and Rudi Studer and Michael Wooldridge)
• PDL with Intersection and Converse is 2EXP-complete  + (Helmut Seidl)

• A First Order System with Finite Choice of Premises  + (Hendricks et al.)

• Querying formal contexts with answer set programs  + (Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom)
• Relational Exploration - Reconciling Plato and Aristotle  + (Hitzler, Roth-Berghofer, Rudolph)
• Modal Logics with Composition on Finite Forests: Expressivity and Complexity  + (Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller)
• SmartWeb: Mobile Access to the Semantic Web  + (Holger Wache)
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic  + (Hossein Hojjat, Georgiana Caltais)
• Determinization and Limit-Determinization of Emerson-Lei Automata  + (Hou, Zhe and Ganesh, Vijay)
• Probabilistic Causes in Markov Chains  + (Hou, Zhe and Ganesh, Vijay)
• On Indicative Conditionals  + (Hölldobler, S., Liang, Y)
• Implementation and evaluation of a tableau algorithm for the Guarded Fragment  + (I. Horrocks and S. Tessaris)
• Unification in a Description Logic with Inconsistency and Transitive Closure of Roles  + (I. Horrocks and S. Tessaris)
• A Generator for Description Logic Formulas  + (I. Horrocks and U. Sattler and F. Wolter)
• Parallel Variable Elimination on CNF Formulas  + (I. J. Timm and M. Thimm)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (I. Potapov)
• Computing First-Order Logic Programs by Fibring Artificial Neural Networks  + (I. Russell and Z. Markov)
• Neue Entwicklungen in der Informatikausbildung  + (I. Schmitt S. Conrad, G. Saake)
• A Short Overview on Modern Parallel SAT-Solvers  + (I. Wasito et.al.)
• Finite Model Theory of the Triguarded Fragment and Related Logics  + (IEEE)
• Computing Role-depth Bounded Generalizations in the Description Logic ELOR  + (Ingo J. Timm and Matthias Thimm)
• Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs  + (Irene Krebs and others)
• Semantic MediaWiki  + (Isabel Cruz and Stefan Decker and Dean Allemang and Chris Preist and Daniel Schwabe and Peter Mika and Mike Uschold and Lora Aroyo)
• A Logical Geo-Ontology Design Pattern for Quantifying over Types  + (Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer)
• SYANCO 2007: International Workshop on Synthesis and Analysis of Component Connectors  + (Ivica Crnkovic and Antonia Bertolino)
• On Properties and State Complexity of Deterministic State-Partition Automata  + (J. C. M. Baeten, T. Ball, F. S. de Boer)
• Using Connectionist Term Representations for First-Order-Deduction- A Critical View  + (J. Diederich F. Maire, R. Hayward)
• A NExpTime-complete Description Logic Strictly Contained in C^2  + (J. Flum and M. Rodríguez-Artalejo)