Suche mittels Attribut

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

• 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)