Suche mittels Attribut
Aus International Center for Computational Logic
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
- Begabtenförderung im MINT-Bereich + (9)
- The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach + (9)
- Verifying nondeterministic probabilistic channel systems against $ømega$-regular linear-time properties + (9)
- Proc. of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), 2015, London, UK, April 11-18, 2015. + (9035)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (9060)
- What Is a Reasonable Argumentation Semantics? + (9060)
- Asynchronous Multi-Context Systems + (9060)
- Open Problems in Abstract Argumentation + (9060)
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence + (9060)
- Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday + (9060)
- Exploring Faulty Data + (9113)
- Combination of Constraint Solving Techniques: An Algebraic Point of View + (914)
- On the Complexity of k-Piecewise Testability and the Depth of Automata + (9168)
- The Hanoi Omega-Automata Format + (9206)
- Ratio and Weight Quantiles + (9234)
- Quantitative Analysis of Communication Scenarios + (9268)
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage + (9270)
- An Extension-Based Approach to Belief Revision in Abstract Argumentation + (93)
- Modulo Counting on Words and Trees. + (93)
- Probabilistic Query Answering in the Bayesian Description Logic BEL + (9310)
- 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)
- 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)
- Pcasso -- a Parallel CooperAtive Sat SOlver + (B-2014-2)
- Generating Clique Coloring Problem Formulas + (B-2014-2)
