#### Filter Results:

- Full text PDF available (8)

#### Publication Year

1999

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Joseph Y. Halpern, Leandro Chaves Rêgo
- AAMAS
- 2006

Standard game theory assumes that the structure of the game is common knowledge among players. We relax this assumption by considering extensive games where agents may be unaware of the complete structure of the game. In particular, they may not be aware of moves that they and other agents can make. We show how such games can be represented; the key idea is… (More)

Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot express the fact that an agent knows that there are facts of which he is unaware without there being an explicit fact that the agent knows he is unaware of. We propose a logic for… (More)

- Joseph Y. Halpern, Leandro Chaves Rêgo
- Mathematical Social Sciences
- 2009

In earlier work [Halpern and Rêgo 2006b], we proposed a logic that extends the Logic of General Awareness of Fagin and Halpern [1988] by allowing quantification over primitive propositions. This makes it possible to express the fact that an agent knows that there are some facts of which he is unaware. In that logic, it is not possible to model an agent… (More)

- Joseph Y. Halpern, Leandro Chaves Rêgo
- IJCAI
- 2007

There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the satisfiability problem for all logics between K and S4 is PSPACE-hard, while for S5 it is NP-complete. We show that it is negative intro-spection, the axiom ¬Kp ⇒ K¬Kp, that causes the gap:… (More)

- Leandro Chaves Rêgo, Terrence L. Fine
- ISIPTA
- 2005

A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as a statistical compound hypothesis or an imprecise behavioral subjective one. In the prior work of Fierens and Fine, given finite time series data, the estimation of the Chaotic… (More)

- Joseph Y. Halpern, Leandro Chaves Rêgo
- TARK
- 2005

We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of validity. These axiomatizations allow us to compare the HMS approach to both the standard (S5) epistemic logic and two other approaches to unawareness: that of Fagin and Halpern… (More)

- Leandro Chaves Rêgo, Joseph Y. Halpern
- TARK
- 2007

Most work in game theory assumes that players are perfect reasoners and have common knowledge of all significant aspects of the game. In earlier work [Halpern and Rêgo 2006], we proposed a framework for representing and analyzing games with possibly unaware players, and suggested a generalization of Nash equilibrium appropriate for games with unaware… (More)

- Leandro Chaves Rêgo, Fernando Menezes Campello de Souza
- IEEE engineering in medicine and biology magazine…
- 2002

- Márcio das Chagas Moura, Rafael Valença Azevedo, +4 authors Romero Sales Filho
- Rel. Eng. & Sys. Safety
- 2016

- Isis Didier Lins, Leandro Chaves Rêgo, Márcio das Chagas Moura, Enrique López Droguett
- Rel. Eng. & Sys. Safety
- 2013