Muutke küpsiste eelistusi

Foundations of Information and Knowledge Systems: 14th International Symposium, FoIKS 2026, Hanover, Germany, March 2326, 2026, Proceedings [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 374 pages, kõrgus x laius: 235x155 mm, 10 Illustrations, color; 27 Illustrations, black and white
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 23-Apr-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3032215390
  • ISBN-13: 9783032215390
Teised raamatud teemal:
  • Pehme köide
  • Hind: 71,10 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 83,65 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 3-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Foundations of Information and Knowledge Systems: 14th International Symposium, FoIKS 2026, Hanover, Germany, March 2326, 2026, ProceedingsSuurem pilt
  • Formaat: Paperback / softback, 374 pages, kõrgus x laius: 235x155 mm, 10 Illustrations, color; 27 Illustrations, black and white
  • Sari: Lecture Notes in Computer Science
  • Ilmumisaeg: 23-Apr-2026
  • Kirjastus: Springer Nature Switzerland AG
  • ISBN-10: 3032215390
  • ISBN-13: 9783032215390
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783032215390.html
This book constitutes the proceedings of the 14th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2026, which took place in Hanover, Germany, during March 2026.



The 13 full papers and 5 short papers included in these proceedings, together with 7 poster papers, were carefully reviewed and selected from 37 submissions. The papers were organized into topical sections as follows: Team Semantics, Structures for Argumentation and Modal Logics, Belief Bases and Revision, Database Theory, Foundations, Explanations, and Poster Papers.
,- 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.