Basic Beliefs and Argument-Based Beliefs in Awareness Epistemic Logic with Structured Arguments.

Alfredo Burrieza Antonio Yuste-Ginel

Published in: COMMA (2020)

Keyphrases

epistemic logic
belief revision
artificial intelligence
model checking
formal semantics
logical framework
decision making
cooperative
software engineering
rough sets
computational model