Volume 83, Issue 3-4

August 2018

Foundations of Information and Knowledge Systems: Selected Papers from FoIKS 2016

Issue Editors:

7 articles in this issue

Preface
Marc Gyssens
Guillermo R. Simari
EditorialNotes 10 July 2018 Pages: 209 - 212
Active integrity constraints for general-purpose knowledge bases
Luís Cruz-Filipe
Graça Gaspar
Peter Schneider-Kamp
OriginalPaper 14 March 2018 Pages: 213 - 246
Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem
Christoph Beierle
Christian Eichhorn
Steven Kutsch
OriginalPaper 01 February 2018 Pages: 247 - 275
Equivalence between answer-set programs under (partially) fixed input
Bernhard Bliem
Stefan Woltran
OriginalPaper Open access 10 November 2017 Pages: 277 - 295
Approximation and dependence via multiteam semantics
Arnaud Durand
Miika Hannula
Jonni Virtema
OriginalPaper 18 January 2018 Pages: 297 - 320
A unifying logic for non-deterministic, parallel and concurrent abstract state machines
Flavio Ferrarotti
Klaus-Dieter Schewe
Qing Wang
OriginalPaper 18 December 2017 Pages: 321 - 349
The complexity of satisfiability in non-iterated and iterated probabilistic logics
Ioannis Kokkinis
OriginalPaper 06 July 2018 Pages: 351 - 382

Search