Search by property

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

• Automata Can Show PSPACE Results for Description Logics  + (1045-1056)
• Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination  + (104504)
• The Consistency of a Noninterleaving and an Interleaving Model for Full TCSP  + (105--120)
• Matching Trace Patterns with Regular Policies  + (105-116)
• Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks  + (105-119)
• Automata-based Reasoning in Fuzzy Description Logics  + (106-106)
• Quality Assessment of Design Cases within the DOM Environment  + (106-113)
• Ontology-Mediated Queries for Probabilistic Databases  + (1063–1069)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (107-121)
• Error-Tolerant Reasoning in the Description Logic EL  + (107-121)
• Approximate Computation of Exact Association Rules  + (107-122)
• Supervisory Control of Distributed Discrete-Event Systems  + (107-126)
• Combination of Constraint Solvers for Free and Quasi-Free Structures  + (107-161)
• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (1072-1086)
• Solving Advanced Argumentation Problems with Answer-Set Programming  + (1077-1083)
• On the descriptional complexity of scattered context grammars  + (108-112)
• The Inclusion Problem for Weighted Automata on Infinite Trees  + (108-122)
• Projection and Scope-Determined Circumscription  + (1089-1108)
• Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms  + (109-104)
• PIT: A System for Reasoning with Probabilities.  + (109-123)
• A Tutorial on Proof Theoretic Foundations of Logic Programming  + (109-127)
• An Empirical Analysis of Optimization Techniques for Terminological Representation Systems  + (109-132)
• A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem  + (10:1-10:14)
• Towards Predictive Self-optimization by Situation Recognition  + (11)
• Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects  + (11-17)

• Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels  + (11-22)

• Axiom Pinpointing in General Tableaux  + (11-27)
• Towards Automated Configuration of Systems with Non-Functional Constraints  + (111--117)
• Decentrally Coordinated Execution of Adaptations in Distributed Self-Adaptive Software Systems  + (111--120)
• On the Maximal and Average Numbers of Stable Extensions  + (111--126)
• Formula Simplifications as DRAT Derivations  + (111-122)
• Equational Logic and Theories of Action  + (111-123)
• Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case  + (111-124)
• OWL 2 Profiles: An Introduction to Lightweight Ontology Languages  + (112-183)
• Compact Rewritings for Existential Rules  + (1125-1131)
• Quantitative Characterization of Reconfigurable Transistor Logic Gates  + (112598 - 112614)
• On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic  + (113-119)
• Modeling and Verification of Components and Connectors  + (114--147)
• Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems  + (114-133)
• Stage semantics and the SCC-recursive schema for argumentation semantics  + (1149-1202)
• On the Limits of Decision: the Adjacent Fragment of First-Order Logic  + (114:1--114:20)
• Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems  + (115-119)
• A Chomsky-Schützenberger Theorem for Weighted Automata with Storage  + (115-127)
• NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces  + (116-127)
• Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics  + (117-130)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (117-146)
• Responsibility Attribution in Parameterized Markovian Models  + (11734-11743)
• Interactive ontology revision  + (118-130)
• Logic on MARS: Ontologies for generalised property graphs  + (1188-1194)
• Weak Bisimulation for Fully Probabilistic Processes  + (119--130)
• A Concept Language for an engeneering application with part-whole relations  + (119-123)