Browse by Author "Amir, Eyal"

  • Braz, Rodrigo de Salvo; Roth, Dan; Amir, Eyal (2004-06)
    Following ideas in Poole~\poole, which we correct, formalize and extend, this paper presents the first provable algorithm for reasoning with probabilistic first-order representations at the {\em lifted} level. Specifically, ...

    application/pdf

    application/pdfPDF (366Kb)
  • Pu, Wen; Choi, Jaesik; Amir, Eyal; Espelage, Dorothy L. (2013-06-25)

    application/pdf

    application/pdfPDF (631Kb)
  • Chang, Allan; Amir, Eyal (2005-11)
    We present new algorithms for learning a logical model of actions' effects and preconditions in partially observable domains. The algorithms maintain a logical representation of the set of possible action models after each ...

    application/pdf

    application/pdfPDF (197Kb)
  • Amir, Eyal; Russell, Stuart (2005-05)
    Filtering denotes any method whereby an agent updates its belief state - its knowledge of the state of the world - from a sequence of actions and observations. In logical filtering, the belief state is a logical formula ...

    application/pdf

    application/pdfPDF (325Kb)
  • Amir, Eyal; Anderson, Michael L.; Chaudhi, Vinay K. (2007-01)
    Self Aware Computer Systems in an area of basic research, and we are only in the initial stages of our understanding of what it means: What it means to be self aware; what a self aware system can do that a system without ...

    application/pdf

    application/pdfPDF (74Kb)