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
- Quantitative Analysis of Communication Scenarios + (Dubslaff)
- Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs + (Dubslaff)
- Compositional Feature-oriented Systems + (Dubslaff)
- Breaking the Limits of Redundancy Systems Analysis + (Dubslaff)
- Ontology-Mediated Probabilistic Model Checking + (Dubslaff)
- Iterative Variable Reordering: Taming Huge System Families + (Dubslaff)
- Reduction Methods on Error-Propagation Graphs for Quantitative Systems Reliability Analysis + (Dubslaff)
- Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification + (Dubslaff)
- Enhancing Probabilistic Model Checking with Ontologies + (Dubslaff)
- Be lazy and don’t care: Faster CTL model checking for recursive state machines + (Dubslaff)
- Supporting Ontology-Mediated Stream Reasoning with Model Checking + (Dubslaff)
- Towards a Formal Account on Negative Latency + (Dubslaff)
- Configuring BDD Compilation Techniques for Feature Models + (Dubslaff)
- A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem + (Dudek)
- Computational Aspects of cf2 and stage2 Argumentation Semantics + (Dvořák)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems + (Dvořák)
- Making Use of Advances in Answer-Set Programming for Abstract Argumentation System + (Dvořák)
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics + (Dvořák)
- Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics + (Dvořák)
- Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks + (Dvořák)
- Benchmark libraries for argumentation + (Dvořák)
- Stage semantics and the SCC-recursive schema for argumentation semantics + (Dvořák)
- The ASPARTIX System Suite + (Dvořák)
- Static Partial Order Reduction for Probabilistic Concurrent Systems + (Díaz)
- Approximated Determinisation of Weighted Tree Automata + (Dörband)
- Sequentiality of Group-Weighted Tree Automata + (Dörband)
- Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems + (Dürschke)
- Fallverwaltung in heterogenen Fallwissensbasen + (Dürschke)
- Optimizations for the role-depth bounded least common subsumer in el+ + (Ecke)
- Role-depth Bounded Least Common Subsumers for EL+ and ELI + (Ecke)
- Towards Instance Query Answering for Concepts Relaxed by Similarity Measures + (Ecke)
- Computing Role-depth Bounded Generalizations in the Description Logic ELOR + (Ecke)
- LATPub527 + (Ecke)
- The Concept Difference for EL-Terminologies using Hypergraphs + (Ecke)
- Similarity-based Relaxed Instance Queries in EL^++ + (Ecke)
- Answering Instance Queries Relaxed by Concept Similarity + (Ecke)
- Completion-based Generalization Inferences for the Description Logic ELOR with Subjective Probabilities + (Ecke)
- Mary, What's Like All Cats? + (Ecke)
- Similarity-based Relaxed Instance Queries + (Ecke)
- LATPub721 + (Ecke)
- An Abstract Machine for Reasoning about Situations, Actions, and Causality + (Eder)
- A Resource–Oriented Deductive Approach towards Hierarchical Planning + (Eder)
- A Resource–Oriented Deductive Approach towards Hierarchical Planning + (Eder)
- Answer-set programming encodings for argumentation frameworks + (Egly)
- ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming + (Egly)
- Answer-Set Programming Encodings for Argumentation Frameworks + (Egly)
- Answer-Set Programming Encodings for Argumentation Frameworks + (Egly)
- ASPARTIX Conquers the Web + (Egly)
- Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201 + (Eiter)
- A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence + (Eiter)
- Correcting Access Restrictions to a Consequence More Flexibly + (Eldora)
- An Existential Rule Framework for Computing Why-Provenance On-Demand for Datalog + (Elhalawati)