Muutke küpsiste eelistusi

E-raamat: Foundations of Information and Knowledge Systems: 14th International Symposium, FoIKS 2026, Hanover, Germany, March 23-26, 2026, Proceedings

Edited by , Edited by
  • Formaat - EPUB+DRM
  • Hind: 80,26 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.