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
- Probabilistic and Topological Semantics for Timed Automata + (4855)
- Rewrite Systems for Varieties of Semigroups + (488)
- Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification + (488)
- Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems + (488)
- Stochastic Game Logic + (49)
- Acquiring Generalized Domain-Range Restrictions + (4933)
- Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement + (4933)
- On the Complexity of Computing Generators of Closed Sets + (4933)
- A Finite Basis for the Set of EL-Implications Holding in a Finite Model + (4933)
- On Decision Problems for Probabilistic Büchi Automata + (4962)
- Semantic Wikipedia + (5)
- Leveraging Non-Lexical Knowledge for the Linked Open Data Web + (5)
- A rule-based ontological framework for the classification of molecules + (5)
- A Multi-Dimensional Terminological Knowledge Representation Language + (5)
- NExpTime-complete Description Logics with Concrete Domains + (5)
- Computing the Least Common Subsumer w.r.t. a Background Terminology + (5)
- Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies + (5)
- Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language + (5)
- From Verification to Synthesis under Cost-Utility Constraints + (5)
- Module Extraction and Incremental Classification: A Pragmatic Approach for EL^+ Ontologies + (5021)
- Intensional Question Answering using ILP: What does an answer mean? + (5039)
- Alternating-Time Stream Logic for Multi-agent Systems + (5052)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases + (51)
- Generating compact MTBDD-representations from Probmela specifications + (5156)
- Refining Ontologies by Pattern-Based Completion + (516)
- Automata-Based Axiom Pinpointing + (5195)
- A "Converse" of the Banach Contraction Mapping Theorem + (52)
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations + (52)
- Compositional Construction of Most General Controllers + (52)
- The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP + (529)
- Cheap Boolean Role Constructors for Description Logics + (5293)
- Logics in Artificial Intelligence + (5293)
- The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + (53)
- Implementation and evaluation of a tableau algorithm for the Guarded Fragment + (53)
- Automata-Theoretic Decision Procedures for Information Logics + (53)
- Unfolding the Well-founded Semantics + (53)
- Performance evaluation and model checking join forces + (53)
- Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog + (5318)
- ELP: Tractable Rules for OWL 2 + (5318)
- The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees + (534)
- What Is Approximate Reasoning? + (5341)
- Approximate OWL-Reasoning with Screech + (5341)
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming + (5366)
- A Modularization-based Approach to Finding All Justifications for OWL DL Entailments + (5367)
- Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks + (54)
- Probabilistic acceptors for languages over infinite words + (5404)
- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions + (5457)
- Matching Trace Patterns with Regular Policies + (5457)
- Generating Rational Models + (547)
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities + (55)
- Consistency Reasoning in Lattice-Based Fuzzy Description Logics + (55)
- A generalized resolution theorem + (55)
- Composition of Stochastic Transition Systems Based on Spans and Couplings + (55)
