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
- Interactive ontology revision + (12)
- Termersetzungssysteme, Skript zur Vorlesung + (12)
- The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics + (12)
- Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited + (12)
- Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification + (12)
- Probabilistic Model Checking for Feature-oriented Systems + (12)
- Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies + (12--13)
- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems + (12039)
- Many-Valued Horn Logic is Hard + (1205)
- Logics for Reasoning about Preferences, Uncertainty, and Vagueness + (1205)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms + (12061)
- Just: a Tool for Computing Justifications w.r.t. EL Ontologies + (1207)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints + (12078)
- Minimal witnesses for probabilistic timed automata + (12302)
- Components in Probabilistic Systems: Suitable by Construction + (12476)
- A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method + (1249)
- Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014 + (1252)
- Weak Bisimulation for Fully Probabilistic Processes + (1254)
- Symbolic Model Checking for Probabilistic Processes + (1256)
- Towards an FCA-based Recommender System for Black-Box Optimization + (1257)
- On Language Equations with One-sided Concatenation + (126)
- Approximated Determinisation of Weighted Tree Automata + (12638)
- Sequentiality of Group-Weighted Tree Automata + (12638)
- COBRA, a Demo + (1265)
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles + (1265)
- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment + (12678)
- The Power of the Terminating Chase + (127)
- Visualization of Statistical Information in Concept Lattice Diagrams + (12733)
- Approximate Computation of Exact Association Rules + (12733)
- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (12941)
- LTL over Description Logic Axioms + (13)
- Fuzzy Answer Sets Approximations + (13)
- Business lexicography + (13)
- Synthesis of Reo Connectors for Strategies and Controllers + (130)
- An Ontology Design Pattern for Activity Reasoning + (1302)
- A Framework for Intuitionistic Grammar Logics + (13040)
- Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation + (13040)
- Be lazy and don’t care: Faster CTL model checking for recursive state machines + (13085)
- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic + (13243)
- On Indicative Conditionals + (1339)
- Proceedings of the First International Workshop on Semantic Technologies + (1339)
- On Indicative Conditionals + (1339)
- Representing Abstract Dialectical Frameworks with Binary Decision Diagrams + (13416)
- Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy + (13416)
- IASCAR: Incremental Answer Set Counting by Anytime Refinement + (13416)
- A Practical Account into Counting Dung’s Extensions by Dynamic Programming + (13416)
- Efficient Dependency Analysis for Rule-Based Ontologies + (13489)
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic + (13489)
- Denotational Semantics in the CPO and Metric Approach + (135)
- Conjunctive Query Answering with Finitely Many Truth Degrees + (1350)
