Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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)
