Fagin

Results: 87



#Item
11

Ideal agents sharing (some!) knowledge Alessio Lomuscio1 Abstract. A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular c

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2009-02-25 10:33:51
    12

    Probabilistic Logic with Conditional Independence Formulae Magdalena Ivanovska and Martin Giese1 Abstract. We investigate a probabilistic propositional logic that is an extension of the logic proposed by Fagin et al. [4]

    Add to Reading List

    Source URL: heim.ifi.uio.no

    Language: English - Date: 2010-06-22 04:55:53
      13

      FASTER METHODS FOR IDENTIFYING NONTRIVIAL ENERGY CONSERVATION FUNCTIONS FOR CELLULAR AUTOMATA LEEMON BAIRD, BARRY FAGIN Abstract. The biggest obstacle to the efficient discovery of conserved energy

      Add to Reading List

      Source URL: www.usafa.edu

      Language: English - Date: 2012-11-20 17:08:28
        14

        Provably Secure DNS: A Case Study in Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs, COUSA

        Add to Reading List

        Source URL: www.usafa.edu

        Language: English - Date: 2013-05-01 10:54:57
          15

          A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl

          Add to Reading List

          Source URL: womencourage.acm.org

          Language: English - Date: 2016-02-05 15:45:18
            16

            Solutions and Query Rewriting in Data Exchange✩ Marcelo Arenasa , Pablo Barcel´ob , Ronald Fagin∗,c , Leonid Libkind a Department of Computer Science, Pontificia Universidad Cat´ olica, Av. Vicu˜

            Add to Reading List

            Source URL: users.dcc.uchile.cl

            Language: English - Date: 2013-06-11 14:20:16
              17

              Provably Secure DNS: A Case Study in Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs, COUSA

              Add to Reading List

              Source URL: ironsides.martincarlisle.com

              Language: English - Date: 2013-05-08 17:57:30
                18

                Microsoft Word - Carlisle Fagin GLOBECOM 2012 v2c.docx

                Add to Reading List

                Source URL: www.usafa.edu

                Language: English - Date: 2013-05-01 10:52:42
                  19Barbara Gordon / Oracle machine / Fiction

                  the science seemed so solid (some poems from graceful degradation) Betsy Fagin yarrow stalk oracle

                  Add to Reading List

                  Source URL: www.dusie.org

                  Language: English - Date: 2012-11-08 10:20:04
                  20Claire Fagin / Year of birth missing / Nurse education / Nurse Corps / Mary Eliza Mahoney / Isabel Hampton Robb / American Nurses Association / UCLA School of Nursing / Far Eastern University Institute of Nursing / Health / Nursing / Medicine

                  American Association for the SPRING 2012

                  Add to Reading List

                  Source URL: www.aahn.org

                  Language: English - Date: 2015-03-24 12:46:43
                  UPDATE