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

• On Skolem-Hardness and Saturation Points in Markov Decision Processes  + (Leibniz International Proceedings in Informatics (LIPIcs))
• From Verification to Causality-Based Explications  + (Leibniz International Proceedings in Informatics (LIPIcs))
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking  + (Leibniz International Proceedings in Informatics (LIPIcs))
• The variance-penalized stochastic shortest path problem  + (Leibniz International Proceedings in Informatics (LIPIcs))
• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (Logic, Language, Information, and Computation)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (Logics in Artificial Intelligence)
• Model checking linear-time properties of probabilistic systems  + (Monographs in Theoretical Computer Science)
• Generalizing multi-context systems for reactive stream reasoning applications  + (OpenAccess Series in Informatics (OASIcs))
• Frontiers of Combining Systems  + (Proceedings of First International Workshop, Applied Logic Series 3)
• KEIM: A Toolkit for Automated Deduction  + (Proceedings of the 12th International Conference on Automated Deduction)
• Adapting Methods to Novel Tasks in Proof Planning  + (Proceedings of the 18th German Annual Conference on Artificial Intelligence)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (Proceedings of the AAAI Conference on Artificial Intelligence)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)  + (Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning)
• Matching with respect to general concept inclusions in the Description Logic EL  + (RISC-Linz Report Series No. 14-06)
• Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics  + (Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition)
• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (SAC '24)
• Configuring BDD Compilation Techniques for Feature Models  + (SPLC '24)
• Convergence Classes and Spaces of Partial Functions  + (Semantic Structures in Computation)
• An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification  + (Series Lecture Notes in Computer Science)
• Efficient OWL Reasoning with Logic Programs - Evaluations  + (Springer Lecture Notes in Computer Science)
• ETALIS: Rule-Based Reasoning in Event Processing  + (Studies in Computational Intelligence)
• Extending Description Logics to Vague Knowledge in Medicine  + (Studies in Fuzziness and Soft Computing)
• Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes  + (Studies in Fuzziness and Soft Computing)
• SNOMED CT's Problem List: Ontologists' and Logicians' Therapy Suggestions  + (Studies in Health Technology and Informatics (SHTI-series))

• A Lexico-Logical Approach to Ontology Engineering  + (Studies in Informatics)

• Analyse medizinischer Bilddaten mit Hilfe unscharfen Wissens  + (Tagungsband zum 5. Freiburger Workshop (Deutschland))
• What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts  + (Technical Report WS-05-01)
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion  + (Technical Report, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik)
• A purely logical account of sequentiality in proof search – extended abstract  + (Technische Berichte der Fakult\"at Informatik)
• ILP Operators for Propositional Connectionist Networks  + (Technische Berichte der Fakult\"at Informatik)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (Technische Berichte der Fakult\"at Informatik)
• Towards Nonmonotonic Reasoning on Hierarchical Knowledge  + (Technische Berichte der Fakult\"at Informatik)
• Characterizing logic programming semantics with level mappings  + (Technische Berichte der Fakult\"at Informatik)
• Reachability in Continuous-Time Markov Reward Decision Processes  + (Texts in Logic and Games)
• Metric completion versus ideal completion  + (Workshops in Computing)
• Die zwei Kulturen  + (X.media.press)
• Semantic Wikipedia  + (X.media.press)
• Blackhole State-Controlled Regulated Pushdown Automata  + (books@ocg.at)
• Semantic Web - Grundlagen  + (eXamen.press)
• Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting  + (ijcai.org)
• A Framework for Reasoning about Dynamic Axioms in Description Logics  + (ijcai.org)
• All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs  + (ijcai.org)
• Termersetzungssysteme, Skript zur Vorlesung  + ({A}achener {B}eitr{\"a}ge zur {I}nformatik)
• Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992  + ({BU} Technical Report 93-004)
• PSPACE Automata for Description Logics  + ({CEUR-WS})
• SROIQ Syntax Approximation by Using Nominal Schemas  + ({CEUR} Workshop Proceedings)
• Knowledge Representation in Process Engineering  + ({DFKI} Document {D}-96-04)
• 语义Web技术基础  + (世界著名计算机教材精选)