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

• SAT Encoding of Unification in EL  + (6397)
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (6397)
• Design and Verification of Systems with Exogenous Coordination Using Vereofy  + (6416)
• Integrated Metamodeling and Diagnosis in OWL 2  + (6496)
• SPARQL Beyond Subgraph Matching  + (6496)
• Succinctness and tractability of closure operator representations  + (658, Part B)
• On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints  + (66)
• Some Complexity Results about Essential Closed Sets  + (6628)
• Modeling and Verification of Components and Connectors  + (6659)
• On the Complexity of Boolean Unification  + (67)
• Extensions of Concept Languages for a Mechanical Engineering Application  + (671)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (6717)
• General A- and AX-Unification via Optimized Combination Procedures  + (677)
• Description Logics That Count, and What They Can and Cannot Count  + (68)
• Unification in the Description Logic EL without the Top Concept  + (6803)
• State Complexity of Projected Languages  + (6808)
• On boolean combinations forming piecewise testable languages  + (682)
• Retractable Complex Event Processing and Stream Reasoning  + (6826)
• A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams  + (6826)
• Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies  + (6828)
• Foundations of Description Logics  + (6848)
• Computing Intensional Answers to Questions - An Inductive Logic Programming Approach  + (69)
• An Overview of Tableau Algorithms for Description Logics  + (69)
• Combination Techniques and Decision Problems for Disunification  + (690)
• A Compositional Framework for Controller Synthesis  + (6901)
• Web Reasoning and Rule Systems - 5th International Conference (RR 2011)  + (6902)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (6959)
• On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm  + (6989)

• A Modified Supervaluationist Framework for Decision-Making  + (7)
• Circumscription and Projection as Primitives of Logic Programming  + (7)
• Combination Problems for Commutative/Monoidal Theories: How Algebra Can Help in Equational Reasoning  + (7)
• Domain equations for probabilistic processes  + (7)
• Probabilistic Aspects of Score Systems  + (7)
• The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers  + (7)
• Towards a General Argumentation System based on Answer-Set Programming  + (7)

• 2-ExpTime lower bounds for Propositional Dynamic Logics with intersection  + (70)
• On the Decomposition of ADFs and the Complexity of Naive-based Semantics  + (70)
• Concurrent Classification of EL Ontologies  + (7032)
• Connectionist Model Generation: A First-Order Approach  + (71)
• Finding Finite Herbrand Models  + (7180)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (7180)
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains  + (72)
• Connecting Many-Sorted Theories  + (72)
• Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  + (7205)
• A Language for Default Reasoning about Actions  + (7265)
• Extending Description Logic Rules  + (7295)
• Propositional Dynamic Logic with Recursive Programs  + (73)
• How Fuzzy is my Fuzzy Description Logic?  + (7364)
• UEL: Unification Solver for the Description Logic EL – System Description  + (7364)
• SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (7364)
• On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs  + (7381)
• A categorical view on algebraic lattices in formal concept analysis  + (74)
• Admissibility in Probabilistic Argumentation  + (74)
• Symbolic model checking for channel-based component connectors  + (74)
• Waiting for Locks: How Long Does It Usually Take?  + (7437)
• Fixed Parameter Tractable Reasoning in DLs via Decomposition  + (745)
• Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011  + (745)