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

• Decomposing Abstract Dialectical Frameworks  + (978-1-61499-435-0)
• On Metric Temporal Description Logics  + (978-1-61499-671-2)
• Fixed-Domain Reasoning for Description Logics  + (978-1-61499-672-9)
• Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints  + (978-1-64368-100-9)
• On Logics and Homomorphism Closure  + (978-1-6654-4895-6)
• Why propositional quantification makes modal logics on trees robustly hard ?  + (978-1-7281-3608-0)
• Abstract Dialectical Frameworks  + (978-1-84890-275-6)
• The Varieties of Ought-implies-Can and Deontic STIT Logic  + (978-1-84890-352-4)
• Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)  + (978-1-956792-02-7)
• Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+  + (978-1-956792-02-7)
• Navigating and Querying Answer Sets: How Hard Is It Really and Why?  + (978-1-956792-05-8)
• 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 Mass Spectrum Analysis with ASP  + (978-3-031-74208-8)
• 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)