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

• The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules  + (978-1-956792-05-8)
• Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities  + (978-1-956792-05-8)
• On the Complexity of Graded Modal Logics with Converse.  + (978-3-030-19569-4)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (978-3-030-19570-0)
• Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando  + (978-3-030-22101-0)
• Temporally Attributed Description Logics  + (978-3-030-22101-0)
• SPARQL Queries over Ontologies Under the Fixed-Domain Semantics  + (978-3-030-29907-1)
• Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School  + (978-3-030-31422-4)
• Explaining Data with Formal Concept Analysis  + (978-3-030-31422-4)
• Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics  + (978-3-030-33792-6)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms  + (978-3-030-44638-3)
• Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment  + (978-3-030-75775-5)
• Nested Sequents for Intuitionistic Modal Logics via Structural Refinement  + (978-3-030-86058-5)
• A Framework for Intuitionistic Grammar Logics  + (978-3-030-89390-3)
• A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic  + (978-3-030-99523-2)
• Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting  + (978-3-031-15298-6)
• Representing Abstract Dialectical Frameworks with Binary Decision Diagrams  + (978-3-031-15707-3)
• Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy  + (978-3-031-15707-3)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (978-3-031-15707-3)
• Semantic Characterizations of AGM Revision for Tarskian Logics  + (978-3-031-21540-7)
• Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings  + (978-3-031-43618-5)
• Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features  + (978-3-031-43619-2)
• Global One-Counter Tree Automata  + (978-3-031-71111-4)
• Towards Propositional KLM-Style Defeasible Standpoint Logics  + (978-3-031-78254-1)
• Non-monotonic Extensions to Formal Concept Analysis via Object Preferences  + (978-3-031-78254-1)

• A Geo-ontology Design Pattern for Semantic Trajectories  + (978-3-319-01789-1)

• Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers  + (978-3-319-04533-7)
• On the Succinctness of Closure Operator Representations  + (978-3-319-07247-0)
• EL-ifying Ontologies  + (978-3-319-08586-9)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (978-3-319-09873-9)
• Coordination Control of Distributed Discrete-Event Systems  + (978-3-319-10406-5)
• Supervisory Control of Discrete-Event Systems  + (978-3-319-10406-5)
• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (978-3-319-11113-1)
• Pushing the Boundaries of Tractable Ontology Reasoning.  + (978-3-319-11914-4)
• Schema-Agnostic Query Rewriting in SPARQL 1.1  + (978-3-319-11964-9)
• Introducing Wikidata to the Linked Data Web  + (978-3-319-11964-9)
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks  + (978-3-319-14725-3)
• What Is a Reasonable Argumentation Semantics?  + (978-3-319-14725-3)
• Asynchronous Multi-Context Systems  + (978-3-319-14726-0)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (978-3-319-21499-3)
• Exact Learning of Multivalued Dependencies  + (978-3-319-24485-3)
• KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI  + (978-3-319-24489-1)
• Efficient Large Outer Joins over MapReduce  + (978-3-319-43658-6)
• Intertranslatability of Labeling-based Argumentation Semantics  + (978-3-319-45856-4)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (978-3-319-46522-7)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (978-3-319-58068-5)
• Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (978-3-319-65340-2)
• From Display to Labelled Proofs for Tense Logics  + (978-3-319-72056-2)
• Deciding Universality of ptNFAs is PSpace-Complete  + (978-3-319-73116-2)
• Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017  + (978-3-319-78101-3)
• The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events  + (978-3-319-98191-8)