This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

Branching-time temporal logics have proved to be an extraordinarily successful tool in the
formal specification and verification of distributed systems. Much of their success stems from …

The term" social software" refers to the project of analyzing social procedures and processes
using the formal methods of computer science. Examples of the social procedures we have …

The novel application of a new hybrid method of Geographic Information System (GIS), Multi-
Criteria Decision-Making (MCDM) and game theory has been investigated for landfill site …

Rational agents are important objects of study in several research communities, including
economics, philosophy, cognitive science, and most recently computer science and artificial …

Rational strategic reasoning is the process whereby an agent reasons about the best
strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of …

Multi-agent systems comprise entities whose individual decision making behavior may
depend on one another's. Game-theory provides apposite concepts to reason in a …

This paper models a scenario where finite perfect-information games are distorted in two
ways. First, each player can have different possible levels of foresight, where foresight is a …

Two views of game theory are discussed:(1) game theory as a description of the behavior of
rational individuals who recognize each other's reationality and reasoning abilities, and (2) …

Backward induction is characterized in an epistemic model of perfect information games
where players have common certain belief of the consistency of preferences rather than the …