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

• Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic  + (Wernhard)
• The PIE system for Proving, Interpolating and Eliminating  + (Wernhard)
• Application Patterns of Projection/Forgetting  + (Wernhard)
• Second-Order Characterizations of Definientia in Formula Classes  + (Wernhard)
• Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics  + (Wernhard)
• The Boolean Solution Problem from the Perspective of Predicate Logic  + (Wernhard)
• The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version  + (Wernhard)
• Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux  + (Wernhard)
• Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas  + (Wernhard)
• Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux  + (Wernhard)
• More for Less: Safe Policy Improvement with Stronger Performance Guarantees  + (Wienhöft)
• Neural-Symbolic Integration – Constructive Approaches  + (Witzel)
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks  + (Wojtinnek)
• Trace Machines for Observing Continuous-Time Markov Chains  + (Wolf)
• Contributions to ICFCA 2009  + (Wolff)
• Attribute Exploration with Proper Premises and Incomplete Knowledge Applied to the Free Radical Theory of Ageing  + (Wollbold)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (Wyner)
• Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets  + (Xiao)
• A Theory of Hypothesis Finding in Clausal Logic  + (Yamamoto)
• Neva – Extension Visualization for Argumentation Frameworks  + (Yang)
• Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics  + (Yehia)
• Neural Machine Translating from Natural Language to SPARQL  + (Yin)
• Most Specific Generalizations w.r.t. General EL-TBoxes  + (Zarries̈)

• Decidable Verification of Golog Programs over Non-Local Effect Actions  + (Zarrieß)
• Most Specific Generalizations w.r.t. General EL-TBoxes  + (Zarrieß)
• On the Decidability of Verifying LTL Properties of Golog Programs  + (Zarrieß)
• On the Decidability of Verifying LTL Properties of Golog Programs  + (Zarrieß)
• Verification of Knowledge-Based Programs over Description Logic Actions  + (Zarrieß)

• Solving a PSPACE-complete problem by gene assembly  + (Zerjatke)
• Probabilistic Causes in Markov Chains  + (Ziemek)
• Probabilistic Causality in Markovian Models  + (Ziemek)
• Formalizing Ontology Alignment and its Operations with Category Theory  + (Zimmermann)
• Rare-Event Verification for Stochastic Hybrid Systems  + (Zuliani)
• Epistemic Queries for OWL Knowledge Bases  + (ul Mehdi)
• Revisiting Semantics for Epistemic Extensions of Description Logics  + (ul Mehdi)
• Practical Epistemic Entailment Checking in SROIQ  + (ul Mehdi)
• Epistemic Queries for OWL  + (ul Mehdi)
• Revisiting Semantics for Epistemic Extensions of Description Logics  + (ul Mehdi)
• On Integrating Description Logic and Rules under MH Semantics  + (ul Mehdi)
• EQuIKa: Epistemic Querying in OWL 2 Ontologies  + (ul Mehdi)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (van Berkel)
• A Neutral Temporal Deontic STIT Logic  + (van Berkel)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (van Berkel)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (van Berkel)
• A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations  + (van Berkel)
• Dynamic Bayesian Ontology Languages  + (İlkan Ceylan)