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 +
- 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 Generic Approach for Correcting Access Restrictions to a Consequence +
- A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms +
- A Geo-ontology Design Pattern for Semantic Trajectories +
- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL +
- 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 Novel Architecture for Situation Awareness Systems +
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming +
- A Practical Approach for Computing Generalization Inferences in EL +
- A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select +
- A Semantics for Open Normal Defaults via a Modified Preferential Approach +
- A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices +
- A Terminological Knowledge Representation System with Complete Inference Algorithms +
- A Tutorial on Proof Theoretic Foundations of Logic Programming +
- A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem +
- A computational logic approach to the belief bias in human syllogistic reasoning +
- A uniform framework for modeling and verifying components and connectors +
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming +
- Access Policy Design Supported by FCA Methods +
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification +
- Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday +
- Advances in Symbolic Probabilistic Model Checking with PRISM +
- Alternating-Time Stream Logic for Multi-agent Systems +
- An Ontology Design Pattern for Cartographic Map Scaling +
- Approximate Computation of Exact Association Rules +
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains +
- Approximated Determinisation of Weighted Tree Automata +
- Are Good-for-Games Automata Good for Probabilistic Model Checking? +
- Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings +
- Atomic Cut Elimination for Classical Logic +
- Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing +
- Automated Performance and Dependability Evaluation Using Model Checking +
- Axiom Pinpointing in General Tableaux +
- Be lazy and don’t care: Faster CTL model checking for recursive state machines +
- CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing +
- Cardinality Restrictions on Concepts +
- Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes +
- Characterizations of Unification Type Zero +
- Combination Techniques and Decision Problems for Disunification +
- Combining Constraint Solving +
- Combining Decision Procedures for Positive Theories Sharing Constructors +
- Combining Equational Theories Sharing Non-Collapse-Free Constructors +
- Comparative Branching-Time Semantics +
- Components in Probabilistic Systems: Suitable by Construction +
