Deontic Action Logics via Algebra.

Pablo F. Castro Valentin Cassano Raul Fervari Carlos Areces

Published in: DEON (2021)

Keyphrases

classical logic
expressive power
query language
valued logic
data model
deontic logic
relational algebra
inference rules
set theory
boolean algebra
modal logic
database
human actions
reasoning about actions
nonmonotonic logics
logic programming
description logics
artificial intelligence
databases