nopeOct 29, 2023
Dynamic Argument Systems
(2001) : Brewka, Gerhard
DOI: https://doi.org/10.1093/logcom/11.2.257
#__printed #speech_acts #violation #argumentation #situation_calculus #rule #logic #my_bibtex
Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus

Abstract. We present a formal model of argumentation based on situation calculus which captures both the logical and the procedural aspects of argumentation pro

OUP Academic
nopeAug 11, 2023
Foundations of a logical approach to agent programming
(1996) : Lespérance, Yves et al
DOI: https://doi.org/10.1007/3540608052_76
#MAS #Congolog #communication #situation_calculus #theory_of_action #logic #AOP #my_bibtex