2 citations · 5 across the 17 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.MA2013★ 1 cited
Disappointment in Social Choice Protocols
Mohammad Ali Javidian, Rasoul Ramezanian
Social choice theory is a theoretical framework for analysis of combining individual preferences, interests, or welfare to reach a collective decision or social welfare in some sen…
cs.LO2013★ 1 cited
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models
Mohammad Ardeshir Rasoul Ramezanian
Dynamic Epistemic Logic makes it possible to model and reason about information change in multi-agent systems. Information change is mathematically modeled through epistemic action…
cs.LO2013
A Constructive Epistemic Logic with Public Announcement (Non-Predetermined Possibilities)
Rasoul Ramezanian
We argue that the notion of epistemic \emph{possible worlds} in constructivism (intuitionism) is not as the same as it is in classic view, and there are possibilities, called non-p…