Overview

Full Product Details

Author:   Anni-Yasmin Turhan ,  Jonni Virtema
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032215390

ISBN 10:   3032215390
Pages:   374
Publication Date:   23 April 2026
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

,- Team Semantics .- Complexity Results in Team Semantics: Nonemptiness Is Not So Complex. .- Two strong undefinability results. .- Implication Problems over Positive Semirings. .- Structures for Argumentation and Modal Logics .- Simplifying Argumentation Frameworks by Clustering Structural Patterns. .- Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks. .- A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts. .- Belief Bases and Revision .- Abductive Expansion for Belief Bases. .- Mutual Irreducibility of Revision and Multiple Revision. .- Conditional Constraint and Solution Splittings of Belief Bases in the Context of c-Representations. .- Database Theory .- Independence Under Incomplete Information. .- Extending Similarity Measures for Incomplete Database Instances with Locality-Sensitive Hashing. .- Analyzing the behavior of database applications through size descriptions. .- Foundations .- From FPT Decision to FPT Enumeration. .- When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames. .- Revisiting the fluted and forward fragments with guards. .- Explanations .- Causality-Based Scores Alignment in Explainable Data Management. .- An Order-Theoretic View on Optimal Repairs and Complete Sets of Unifiers. .- Short and Simple Explanations for Datalog Derivations. .- Poster Papers .- Towards Neuro-Symbolic Classification of Abrasive Wear in Scanning Electron Microscopy. .- The Intermediate Knowledge Problem. .- Axiomatizing Variants of Approximate Inclusion. .- On Translating Epistemic Operators in a Logic of Awareness. .- Learning SMT Algorithm Selection with High-Level Natural-Language Descriptions. .- Towards a VLM-based Foundation for Generalised Neurosymbolic Visual Commonsense. .- Planning and Temporal Planning by Qualitative Temporal Reasoning.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions