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
- Formal Concept Analysis Methods for Dynamic Conceptual Graphs + (143-156)
- Metric Completion versus Ideal Completion + (145--171)
- A Correspondance between Temporal Description Logics + (145-149)
- Approximate Symbolic Model Checking of Continuous-Time Markov Chains + (146--161)
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (146--163)
- Exploring Finite Models in the Description Logic ELgfp + (146-161)
- Coordination Control of Distributed Discrete-Event Systems + (147-167)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (147-168)
- Answer-set programming encodings for argumentation frameworks + (147-177)
- A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations + (1475–1516)
- Pushing the Boundaries of Tractable Ontology Reasoning. + (148--163)
- Comparative branching-time semantics for Markov chains + (149--214)
- Putting ABox Updates into Action + (149-164)
- Runtime Verification Using a Temporal Description Logic + (149-164)
- The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters + (149-165)
- Embedding Defaults into Terminological Representation Systems + (149-180)
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas + (149–177)
- The effect of tossing coins in omega-automata + (15--29)
- Determinization and Limit-Determinization of Emerson-Lei Automata + (15--31)
- Matching in Description Logics: Preliminary Results + (15-34)
- On the Succinctness of Closure Operator Representations + (15-36)
- Efficient Separability of Regular Languages by Subsequences and Suffixes + (150-161)
- Introductions to Description Logics - A Guided Tour + (150-161)
- What Is Approximate Reasoning? + (150-164)
- Answering conjunctive queries in the SHIQ description logic + (150-197)
- Some Notes on Pseudo-closed Sets + (151 - 165)
- Intensional Question Answering using ILP: What does an answer mean? + (151-162)
- Flag & Check: Data Access with Monadically Defined Queries + (151-162)
- Unification Theory + (151-170)
- QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory + (1519-1527)
- DOM: An Active Assistance System for Architectural and Engineering Design + (153-162)
- Explaining Data with Formal Concept Analysis + (153-195)
- A Multi-Dimensional Terminological Knowledge Representation Language + (153-197)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (1530--1536)
- Model Checking with Formula-Dependent Abstract Models + (155--168)
- Intertranslatability of Labeling-based Argumentation Semantics + (155-169)
- Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code + (156--166)
- DeaLing with Ontologies using CODs + (157-168)
- Formal Concept Analysis and Resolution in Algebraic Domains + (157-170)
- A Semantic Modeling Approach for Video Retrieval by Content + (158-162)
- On the Complexity of Computing Generators of Closed Sets + (158-168)
- Implementing Deep Inference in TOM + (158-172)
- Multi-context systems for reactive reasoning in dynamic environments + (159-164)
- Towards Model Theory of Ordered Logics: Expressivity and Interpolation + (15:1--15:14)
- Entropic Risk for Turn-Based Stochastic Games + (15:1--15:16)
- Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination + (16--30)
- Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes + (160--180)
- Challenge Problems for the Integration of Logic and Connectionist Systems + (161-170)
- Practical Reasoning for Expressive Description Logics + (161-180)
- Compositional Feature-oriented Systems + (162--180)
