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
- Complexity of Universality and Related Problems for Partially Ordered NFAs + (1)
- Where do business students turn for help? An empirical study on dictionary use in foreign-language learning + (1)
- Complexity of Infimal Observable Superlanguages + (1)
- Multi-Context Reasoning in Continuous Data-Flow Environments + (1)
- On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics + (1)
- Approximating Operators and Semantics for Abstract Dialectical Frameworks + (1)
- Summary Report of The First International Competition on Computational Models of Argumentation + (1)
- Weighted Regular Tree Grammars with Storage + (1)
- Compositional matrix-space models of language: Definitions, properties, and learning methods + (1)
- The Connection between an Event Structure Semantics and an Operational Semantics for TCSP + (1)
- Deciding Bisimilarity and Similarity for Probabilistic Processes + (1)
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes + (1)
- Models and temporal logical specifications for timed component connectors + (1)
- Performability assessment by model checking of Markov reward models + (1)
- Probabilistic $ømega$-Automata + (1)
- Synthesis of Reo Connectors for Strategies and Controllers + (1)
- Locks: Picking key methods for a scalable quantitative analysis + (1)
- ProFeat: feature-oriented engineering for family-based probabilistic model checking + (1)
- Foundations of probability-raising causality in Markov decision processes + (1)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (1--2)
- Cardinality Restrictions on Concepts + (1--2)
- A Correspondence between Temporal Description Logics + (1--2)
- A generalized resolution theorem + (1--2)
- Modeling the Suppression Task under Weak Completion and Well-Founded Semantics + (1--2)
- Simulating perfect channels with probabilistic lossy channels + (1--2)
- A Tableau Algorithm for DLs with Concrete Domains and GCIs + (1--3)
- Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems + (1--3)
- Generalized Metrics and Uniquely Determined Logic Programs + (1--3)
- MELL in the Calculus of Structures + (1--3)
- Constructible differentially finite algebraic series in several variables + (1-2)
- Distributed Splicing of RE with 6 Test Tubes + (1-2)
- Investigating subclasses of abstract dialectical frameworks + (1-2)
- Metric Completion versus Ideal Completion + (1-2)
- Metric semantics for true concurrent real time + (1-2)
- Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach + (1-2)
- Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case + (1-2)
- Trees and Semantics + (1-2)
- Wikidata: a free collaborative knowledgebase + (10)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics + (10)
- RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog + (10)
- Probabilistic Models for Reo Connector Circuits + (10)
- A "Converse" of the Banach Contraction Mapping Theorem + (10/s)
- Statistical EL is ExpTime-complete + (106113)
- On conditional decomposability + (12)
- Wissen als Code: Die Welt der Wissensgraphen und Ontologien + (12/2022)
- Unfolding the Well-founded Semantics + (12/s)
- Responsibility Attribution in Parameterized Markovian Models + (13)
- Connectionist Model Generation: A First-Order Approach + (13--15)
- One-Variable Logic Meets Presburger Arithmetic + (141-146)
- Foundations of instance level updates in expressive description logics + (18)
- Order matters! Harnessing a world of orderings for reasoning over massive data + (2)
- Supervisory control synthesis of discrete-event systems using a coordination scheme + (2)
- Answer-set programming encodings for argumentation frameworks + (2)
- Cooperating Distributed Grammar Systems with Random Context Grammars as Components + (2)
- On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops + (2)
- On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components + (2)
- On context-free rewriting with a simple restriction and its computational completeness + (2)
- Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof + (2)
