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
- Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals +
- Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning +
- Completing the Picture: Complexity of Graded Modal Logics with Converse +
- Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication +
- Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor +
- Decision making improves sperm chemotaxis in the presence of noise +
- From Logic Programming to Human Reasoning: How to be Artificially Human (abstract) +
- From Verification to Synthesis under Cost-Utility Constraints +
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms +
- Model Checking Markov Chains with Actions and State Labels +
- Model Checking for Performability +
- Model checking meets performance evaluation +
- NExpTime-complete Description Logics with Concrete Domains +
- On the Complexity of Boolean Unification +
- ProbMeLa and Verification of Markov Decision Processes +
- ProbMela and verification of Markov decision processes +
- Report on the Sixth Conference on Artificial General Intelligence +
- Representing Concurrent Action and Solving Conflicts +
- Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited +
- Scale-Out Processing of Large RDF Datasets +
- Solving a PSPACE-complete problem by gene assembly +
- Stage semantics and the SCC-recursive schema for argumentation semantics +
- Stochastic Game Logic +
- Stochastic Timed Automata +
- Stream reasoning and complex event processing in ETALIS +
- Summary Report of the Second International Competition on Computational Models of Argumentation +
- The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach +
- Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars +
- Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract) +
- Winning Snake: Design Choices in Multi-Shot ASP +
