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

• Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems  + (978-1-5090-5411-4)
• Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams  + (978-1-57735-368-3)
• The Fast and the Numerous - Combining Machine and Community Intelligence  + (978-1-57735-383-6)
• Status QIO: Conjunctive Query Entailment is Decidable  + (978-1-57735-451-2)
• Efficient Rule-Based Inferencing for OWL EL  + (978-1-57735-515-1)
• Computing Stable Models for Nonmonotonic Existential Rules  + (978-1-57735-633-2)
• Exact Learning of Lightweight Description Logic Ontologies  + (978-1-57735-657-8)
• Membership Constraints in Formal Concept Analysis  + (978-1-57735-738-4)
• On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks  + (978-1-57735-738-4)
• The Combined Approach to Query Answering Beyond the OWL 2 Profiles  + (978-1-57735-738-4)
• The Combined Approach to Query Answering in Horn-ALCHOIQ  + (978-1-57735-803-9)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report)  + (978-1-57735-880-0)
• Formalizing Ontology Alignment and its Operations with Category Theory  + (978-1-58603-685-0)
• Description Logic Rules  + (978-1-58603-891-5)
• cf2 Semantics Revisited  + (978-1-60750-618-8)
• Description Logic Rules  + (978-1-60750-654-6)
• Hierarchical control with partial observations: Sufficient conditions  + (978-1-61284-800-6)
• Business lexicography  + (978-1-61451-486-2)
• Computational Aspects of cf2 and stage2 Argumentation Semantics  + (978-1-61499-110-6)
• 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)