Publication
Found 2 results
Filters: Keyword is formal logic [Clear All Filters]
Analyzing Belief Re-revision by Consideration of Reliability Change in Legal Case. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).
.
2015. Dynamic Logic for Multi-agent (Mis) Communication. 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE).
.
2015.