A logical framework for view updating in indefinite databases.

Luciano Caroprese Irina Trubitsyna Miroslaw Truszczynski Ester Zumpano

Published in: Log. J. IGPL (2019)

Keyphrases

logical framework
databases
inference rules
belief revision
database
linear logic
epistemic logic
reasoning tasks
normative systems
relational databases
higher order logic
possibilistic logic
deductive databases
data model
video sequences
knowledge base
artificial intelligence