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

• Decidable Description Logics of Context with Rigid Roles  + (9322)
• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications  + (9323)
• KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI  + (9324)
• Reasoning About Cost-Utility Constraints in Probabilistic Models  + (9328)
• A New Computational Logic Approach to Reason with Conditionals  + (9345)
• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (936)
• OWL: Yet to arrive on the Web of Data?  + (937)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (9457)
• A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem  + (9618)
• Linear Context-Free Tree Languages and Inverse Homomorphisms  + (9618)
• Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat  + (9633)
• Advances in Symbolic Probabilistic Model Checking with PRISM  + (9636)
• Modeling Role-Based Systems with Exogenous Coordination  + (9660)
• Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract)  + (97)
• A note on the attractor-property of infinite-state Markov chains  + (97)
• Web-Mining Defeasible Knowledge from Concessional Statements  + (9717)
• A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set  + (972)
• On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers  + (976)
• Markov Chains and Unambiguous Büchi Automata  + (9779)
• Preserving Constraints with the Stable Chase  + (98)
• Weighted Symbolic Automata with Data Storage  + (9840)
• Intertranslatability of Labeling-based Argumentation Semantics  + (9858)
• Revisiting Grounded Circumscription in Description Logics  + (9898)
• Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals  + (99)
• Greener Bits: Formal Analysis of Demand Response  + (9938)
• Ontologies for Knowledge Graphs: Breaking the Rules  + (9981)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (9981)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I  + (9981)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II  + (9982)

• CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies  + (B-2014-2)
• Generating Clique Coloring Problem Formulas  + (B-2014-2)
• MinitSAT  + (B-2014-2)
• Pcasso -- a Parallel CooperAtive Sat SOlver  + (B-2014-2)
• Riss 4.27  + (B-2014-2)
• Riss 4.27 BlackBox  + (B-2014-2)
• SparrowToRiss  + (B-2014-2)
• Too Many Rooks  + (B-2014-2)

• Ausgezeichnete Informatikdisserationen 2000  + (D-1)
• Ausgezeichnete Informatikdissertationen 2009  + (D-10)
• Ausgezeichnete Informatikdissertationen 2011  + (D-11)
• Ausgezeichnete Informatikdissertationen 2011  + (D-12)
• Ausgezeichnete Informatikdissertationen 2012  + (D-13)
• Ausgezeichnete Informatikdisserationen 2001  + (D-2)
• Ausgezeichnete Informatikdissertationen 2002  + (D-3)
• Ausgezeichnete Informatikdissertationen 2004  + (D-5)
• Ausgezeichnete Informatikdissertationen 2006  + (D-7)
• Ausgezeichnete Informatikdissertationen 2007  + (D-8)
• Ausgezeichnete Informatikdissertationen 2008  + (D-9)
• LATPub437  + (D10)
• Unification Theory  + (I)
• The Core Method: Connectionist Model Generation  + (II)
• Automated Deduction - A Basis for Applications  + (II)
• Descriptions in the Fluent Calculus  + (III)
• Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics  + (SFB/TR 8 Report 032-09/2012)
• Towards a Logic for Causal Reasoning  + (SS-98-00)
• Fast algorithms for implication bases and attribute exploration using proper premises  + (Special Issue 65)
• The Fast and the Numerous - Combining Machine and Community Intelligence  + (Technical Report WS-08-15)
• Semantic Operators and Fixed-Point Theory in Logic Programming  + (VII, Computer Science and Engineering Part 1)