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

• High Throughput Indexing for Large-scale Semantic Web Data  + (2015-High-Throughput.pdf)
• Scale-Out Processing of Large RDF Datasets  + (2015-tbd.pdf)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (2015-tcc-cheng.pdf)
• Efficient Large Outer Joins over MapReduce  + (2016-europar.pdf)
• Defeasible AceRules: A prototype  + (2017-IWCS DefeasibleAceRules.pdf)
• Practical Planning for Angry Birds  + (2017-absw-setup.pdf)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)  + (2017-ki-journal-diss-vt.pdf)
• News on Temporal Conjunctive Queries  + (2017-wsp-temporal-qa.pdf)
• A Data-Driven Graph Schema  + (2018-amw-graph-schema.pdf)
• Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase  + (2018-existential-rules.pdf)
• Preserving Constraints with the Stable Chase  + (2018-icdt-cores.pdf)
• Efficient Model Construction for Horn Logic with VLog  + (2018-ijcar-restricted-chase-implementation.pdf)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (20180221-www-dynamics-wikidata.pdf)
• Interactively Discovering Implicational Knowledge in Wikidata  + (2019-36c3-wikidata-implications.pdf)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (2019-IJAR EMIL.pdf)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (2019-aaai-hsriq-to-datalog.pdf)
• The Exploration Game  + (2019-wikimania-hms-exploration-game.pdf)
• Discovering Implicational Knowledge in Wikidata  + (2019-wikimania-hms-implications-wikidata.pdf)
• SQID 2.0 — A Data Browser for Wikidata  + (2019-wikimania-sqid.pdf)
• Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions  + (2020.splu-1.5.pdf)
• An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms  + (2022-AIJ Strong-Equivalence.pdf)
• On Composing Finite Forests with Modal Logics  + (2023-tocl.pdf)
• Representative Answer Sets: Collecting Something of Everything  + (2023BGR.pdf)
• EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization  + (2024-XLoKR-Submission-5-camera-ready.pdf)
• Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian  + (2024.lrec-main.1241.pdf)

• A rule-based ontological framework for the classification of molecules  + (2041-1480-5-17.pdf)

• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (20506-Article Text-24519-1-2-20220628 (1).pdf)
• Rushing and Strolling among Answer Sets - Navigation Made Easy  + (2112.07596.pdf)
• Standpoint Linear Temporal Logic  + (2304.14243.pdf)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (2304.14323.pdf)
• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.  + (2307.09913.pdf)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (2311.07233.pdf)
• Abstract Dialectical Frameworks: Properties, Complexity, and Implementation  + (25854.pdf)
• The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2EXPTIME-hard  + (510.BednarczykB.pdf)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (978-3-031-15707-3 17.pdf)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms (PrePrint).pdf)
• A Framework for Intuitionistic Grammar Logics  + (A Framework for Intuitionistic Grammar Logics - Lyon.pdf)
• A Neutral Temporal Deontic STIT Logic  + (A Neutral Temporal Deontic STIT Logic (PrePrint).pdf)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata.pdf)
• A Note on Relative Observability in Coordination Control  + (A Note on Relative Observability in Coordination Control.pdf)
• A Note on Undecidability of Observation Consistency for Non-Regular Languages  + (A Note on Undecidability of Observation Consistency for Non-Regular Language.pdf)
• A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking  + (A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.pdf)
• A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions  + (A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions.pdf)
• A bridge between decentralized and coordination control  + (A bridge between decentralized and coordination control.pdf)
• A note on controllability of deterministic context-free systems  + (A note on controllability of deterministic context-free systems.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem1.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem2.pdf)
• Seminar Abstract Argumentation  + (AA2014-Slides sem3.pdf)
• Seminar Abstract Argumentation  + (AA2015 L1.pdf)
• Seminar Abstract Argumentation  + (AA2015 L2.pdf)
• Seminar Abstract Argumentation  + (AA2016-L1.pdf)