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

• Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden.  + (3249)
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints  + (325)
• Neva – Extension Visualization for Argumentation Frameworks  + (326)
• The ASPARTIX System Suite  + (326)
• Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents  + (326)
• Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations  + (326)
• Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract)  + (3263)
• Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)  + (3263)
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion  + (327)
• Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL  + (3280)
• Deduktion: von der Theorie zur Anwendung  + (33)
• Temporal Query Entailment in the Description Logic SHQ  + (33)
• Temporalizing Rewritable Query Languages over Knowledge Bases  + (33)
• Cognitive Argumentation for Human Syllogistic Reasoning  + (33)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (33)
• Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics  + (33)
• Model Checking Markov Chains with Actions and State Labels  + (33)
• Standpoint Logic: Multi-Perspective Knowledge Representation  + (3344)
• A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL  + (3353)
• Report on the Sixth Conference on Artificial General Intelligence  + (34)
• What's new in Description Logics  + (34)
• SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT  + (34)
• Metric Semantics from Partial Order Semantics  + (34)
• Efficient Dependency Analysis for Existential Rules  + (3409)
• Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes  + (345)

• 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004  + (3452)

• Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications  + (3454)
• Witnessing Subsystems for Probabilistic Systems with Low Tree Width  + (346)
• Genetic Algorithms for the Variable Ordering Problem of Binary Decision Diagrams  + (3469)
• ETALIS: Rule-Based Reasoning in Event Processing  + (347)
• Responsibility Attribution in Parameterized Markovian Models  + (35)
• Hypothesis Finding with Proof Theoretical Appropriateness Criteria  + (350)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (3515)
• On the Abstract Expressive Power of Description Logics with Concrete Domains  + (3515)
• Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)  + (352)
• All Elephants are Bigger than All Mice  + (353)
• Explaining User Errors in Knowledge Base Completion  + (353)
• Automata-based Pinpointing for DLs  + (353)
• Two Upper Bounds for Conjunctive Query Answering in SHIQ  + (353)
• The Projection Problem for EL Actions  + (353)
• Logical Difference and Module Extraction with CEX and MEX  + (353)
• LATPub404  + (353)
• LTL over Description Logic Axioms  + (353)
• ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks  + (3546)
• Characterizations of Unification Type Zero  + (355)
• Access rights and collaborative ontology integration for reuse across security domains  + (358)
• Morphisms in Context  + (3596)
• Unification in Varieties of Idempotent Semigroups  + (36)
• Line Drawing, Leap Years, and Euclid  + (36)
• Dismatching and local disunification in EL  + (36)
• Temporal Query Answering in DL-Lite with Negation  + (36)