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
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (185--200)
- Deciding Bisimilarity and Similarity for Probabilistic Processes + (187--231)
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics + (187-197)
- Conservative Extensions in Modal Logics + (187-207)
- Generalized Metrics and Uniquely Determined Logic Programs + (187-219)
- A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions + (188 - 201)
- Towards a Formal Account on Negative Latency + (188--214)
- A new context-based -subsumption algorithm + (188-191)
- PDL with Negation of Atomic Programs + (189-214)
- Finite-Cliquewidth Sets of Existential Rules – Toward a General Criterion for Decidable yet Highly Expressive Querying + (18:1-18:18)
- Probabilistic acceptors for languages over infinite words + (19--33)
- Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study + (19--34)
- Symbolic model checking for channel-based component connectors + (19--37)
- Defeasible AceRules: A prototype + (19-22)
- Terminology Harmonization in Industry Classification Standards + (19-26)
- On Indicative Conditionals + (19-30)
- On Indicative Conditionals + (19-30)
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (19-33)
- Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies + (19-34)
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms + (190--206)
- Web-Mining Defeasible Knowledge from Concessional Statements + (191-203)
- Investigating subclasses of abstract dialectical frameworks + (191-219)
- Consistency Reasoning in Lattice-Based Fuzzy Description Logics + (1917-1938)
- Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks + (193--231)
- Optimisation Techniques for Combining Constraint Solvers + (193-210)
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities + (1939-1970)
- Ontology-Mediated Probabilistic Model Checking + (194--211)
- Cardinality Restrictions on Concepts + (195-213)
- RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog + (1951--1970)
- Exploring Relational Structures via FLE + (196 -- 212)
- An FCA Method for the Extensional Exploration of Relational Data + (197 -- 210)
- Models and Temporal Logics for Timed Component Connectors + (198--207)
- Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications + (198--222)
- State Complexity of Projected Languages + (198-211)
- PDL with Intersection and Converse is 2EXP-complete + (198-212)
- Experiments with Deterministic $ømega$-Automata for Formulas of Linear temporal Logic + (199--212)
- Advanced Solving Technology for Dynamic and Reactive Applications + (199-200)
- The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics + (199-217)
- A Tableau Decision Algorithm for Modalized ALC with Constant Domains + (199-232)
- From Features to Roles + (19:1--19:11)
- Trade-off Analysis Meets Probabilistic Model Checking + (1:1--1:10)
- From Verification to Causality-Based Explications + (1:1--1:20)
- Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification + (1–28)
- Complexities of Horn Description Logics + (2)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes + (2--26)
- Quantitative Analysis of Distributed Randomized Protocols + (2--7)
- Combination of Compatible Reduction Orderings that are Total on Ground Terms + (2-13)
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles + (2-13)
- Characterizations of Unification Type Zero + (2-14)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (2-15)
