Arbitrary arrow update logic.

Hans van Ditmarsch Wiebe van der Hoek Barteld Kooi Louwe B. Kuijer

Published in: Artif. Intell. (2017)

Keyphrases

logic programs
logic programming
computational properties
classical logic
multi valued
learning algorithm
machine learning
relational databases
defeasible logic
nonmonotonic logics