#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1999

2016

- This year (0)
- Last 5 years (4)
- Last 10 years (7)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn 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
- 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)

- 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 betweenK andS4 is PSPACE-hard, while forS5 it is NP-complete. We show that it is negative introspection, the axiom ¬Kp ⇒ K¬Kp, that causes the gap: if we… (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, 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
- 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)

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

- 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)

Applying unawareness belief structures introduced in Heifetz, Meier, and Schipper (2013a), we develop Bayesian games with unawareness, define equilibrium, and prove existence. We show how equilibria are extended naturally from lower to higher awareness levels and restricted from higher to lower awareness levels. We apply Bayesian games with unawareness to… (More)

- Cecilio Pimentel, Leandro Chaves Rêgo
- WCNC
- 1999

We study the performance of a decision feedback decoder (DFD) for convolutional codes over an interleaved burst channel. The DFD adaptively estimates channel reliability information from previous decisions. The effect of ermr propagation, finite interleaving and the length of the initial training sequence is explicitly studied. A binary Gilbert-Elliott… (More)