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
- "Most of" leads to undecidability: Failure of adding frequencies to LTL +
- 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
- 18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
- A Categorical Characterization of Consistency Results +
- A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
- A Compositional Framework for Controller Synthesis +
- A Concept Language Extended with Different Kinds of Transitive Roles +
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms +
- A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model +
- A Framework for Semantic-based Similarity Measures for ELH-Concepts +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- A Local System for Classical Logic +
- A Local System for Linear Logic +
- A Medvedev Characterization of Recognizable Tree Series +
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments +
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
- A NExpTime-complete Description Logic Strictly Contained in C^2 +
- A Neutral Temporal Deontic STIT Logic +
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
- A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
- A New Computational Logic Approach to Reason with Conditionals +
- A New Equational Foundation for the Fluent Calculus +
- A New n-ary Existential Quantifier in Description Logics +
- A Non-commutative Extension of MELL +
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
- A Novel Architecture for Situation Awareness Systems +
- A PSpace Algorithm for Graded Modal Logic +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
- A Practical Approach for Computing Generalization Inferences in EL +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A Purely Logical Account of Sequentiality in Proof Search +
- A Recursive Neural Network for Reflexive Reasoning +
- A Rule-Based Language for Complex Event Processing and Reasoning +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
- A Sound and Complete Backward Chaining Algorithm for Existential Rules +
- A Tableau Algorithm for Description Logics with Concrete Domains and GCIs +
- A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A Terminological Knowledge Representation System with Complete Inference Algorithms +
- A Theory of Hypothesis Finding in Clausal Logic +
- A Translation of Looping Alternating Automata to Description Logics +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem +
- A cartesian closed category of approximable concept structures +
