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 the Complexity of k-Piecewise Testability and the Depth of Automata  + (364-376)
• On context-free rewriting with a simple restriction and its computational completeness  + (365-378)
• Left-forbidding cooperating distributed grammar systems  + (3661-3667)
• Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets  + (369-384)
• On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics  + (36:1--36:15)
• Reachability in Dynamical Systems with Rounding  + (36:1--36:17)
• Objects, Specificity, Logic, and Change  + (37-42)
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes  + (37-47)
• Efficient OWL Reasoning with Logic Programs - Evaluations  + (370-373)
• An open architecture for multiple case retrieval methods  + (373-380)
• Ontologies for Knowledge Graphs: Breaking the Rules  + (376-392)
• Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph  + (376-394)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)  + (377--380)
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes  + (377-389)
• Symbolic Dynamic Programming within the Fluent Calculus  + (378-383)
• Adapting Methods to Novel Tasks in Proof Planning  + (379-390)
• A Spectrum of Approximate Probabilistic Bisimulations  + (37:1--37:19)
• Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination  + (38--56)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (38-49)
• On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers  + (380-397)
• DOM-ArC: An Active Decision Support System for Quality Assessment of Cases  + (381-390)
• Towards Automated Variant Selection for Heterogeneous Tiled Architectures  + (382--399)
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities  + (383–393)
• Multilevel Coordination Control of Partially Observed Modular DES  + (384-389)
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies  + (385-410)

• How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC  + (385–458)

• Towards Planning as Concurrency  + (387-394)
• A Practical Account into Counting Dung’s Extensions by Dynamic Programming  + (387-400)
• A Local System for Linear Logic  + (388-402)
• Benchmark libraries for argumentation  + (389-393)
• SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT  + (389-394)
• On Structuring Proof Search for First Order Linear Logic  + (389-406)
• Symbolic Reasoning with Weighted and Normalized Decision Diagrams  + (39--56)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (39--70)
• Deduktives Planen  + (39-44)
• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (39-46)
• Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions  + (39-49)
• A Resource–Oriented Deductive Approach towards Hierarchical Planning  + (39-53)
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling  + (390-402)
• Gödel Description Logics with General Models  + (391-403)
• Computing the Least Common Subsumer w.r.t. a Background Terminology  + (392-420)
• Semantic Wikipedia  + (393-422)
• Recurrence and transience for probabilistic automata  + (395--406)
• An Extension-Based Approach to Belief Revision in Abstract Argumentation  + (395-423)
• Rewrite Systems for Varieties of Semigroups  + (396-410)
• Stream reasoning and complex event processing in ETALIS  + (397-407)
• Alternating-time stream logic for multi-agent systems  + (398--425)
• The Power of the Terminating Chase  + (3:1--3:17)
• Quantitative Analysis of Randomized Distributed Systems and Probabilistic Automata  + (4--5)
• Introducing the Second International Competition on Computational Models of Argumentation  + (4-9)
• On probability-raising causality in Markov decision processes  + (40--60)