Fagin

Results: 87



#Item
11Ideal agents sharing (some!) knowledge Alessio Lomuscio1 Abstract. A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems

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
    12Probabilistic 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]

    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
      13FASTER 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

      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
        14Provably Secure DNS: A Case Study in Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs, COUSA

        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
          15A 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

          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
            16Solutions 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˜

            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
              17Provably Secure DNS: A Case Study in Reliable Software Barry Fagin and Martin Carlisle Department of Computer Science US Air Force Academy Colorado Springs, COUSA

              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
                18Microsoft Word - Carlisle Fagin GLOBECOM 2012 v2c.docx

                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
                  19the science seemed so solid (some poems from graceful degradation) Betsy Fagin yarrow stalk oracle

                  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
                  20American Association for the SPRING 2012

                  American Association for the SPRING 2012

                  Add to Reading List

                  Source URL: www.aahn.org

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