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
- A Modified Supervaluationist Framework for Decision-Making +
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains +
- A note on the attractor-property of infinite-state Markov chains +
- Advanced Solving Technology for Dynamic and Reactive Applications +
- Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata +
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems +
- Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory +
- Answer-set programming encodings for argumentation frameworks +
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies +
- Automata-based Axiom Pinpointing +
- Chase Termination Beyond Polynomial Time +
- Combining Interval-based Temporal Reasoning with General TBoxes +
- Comparative branching-time semantics for Markov chains +
- Complexity of Verifying Nonblockingness in Modular Supervisory Control +
- Connecting Many-Sorted Theories +
- Cooperating Distributed Grammar Systems with Random Context Grammars as Components +
- Decidability of Querying First-Order Theories via Countermodels of Finite Width +
- Deciding the Word Problem in the Union of Equational Theories +
- Denotational Semantics in the CPO and Metric Approach +
- Descriptional complexity of multi-parallel grammars +
- Distributed computation of supremal conditionally-controllable sublanguages +
- Efficient Skew Handling for Outer Joins in a Cloud Computing Environment +
- Experiments with deterministic $ømega$-automata for formulas of linear temporal logic +
- Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. +
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms +
- Is Your Database System a Semantic Web Reasoner? +
- Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof +
- Linear Deductive Planning +
- Modal Logics of Topological Relations +
- Modeling component connectors in Reo by constraint automata +
- Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics +
- On Composing Finite Forests with Modal Logics +
- On Monotonic Determinacy and Rewritability for Recursive Queries and Views +
- On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops +
- On context-free rewriting with a simple restriction and its computational completeness +
- On the Decidability Status of Fuzzy ALC with General Concept Inclusions +
- On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components +
- On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints +
- Order matters! Harnessing a world of orderings for reasoning over massive data +
- PDL with Negation of Atomic Programs +
- Partially Ordered Automata and Piecewise Testability +
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas +
- Supervisory control synthesis of discrete-event systems using a coordination scheme +
- The Basics of Display Calculi +
- The Weak Completion Semantics and Counterexamples +
- Using Queries as Schema-Templates for Graph Databases +
