Probabilistic logic

Results: 343



#Item
1Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

Add to Reading List

Source URL: www.philos.rug.nl

Language: English - Date: 2013-11-14 05:38:49
    2Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

    Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

    Add to Reading List

    Source URL: erl.ucsd.edu

    - Date: 2018-06-10 00:33:20
      3Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk

      Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk

      Add to Reading List

      Source URL: www.dhgarrette.com

      Language: English - Date: 2018-08-10 17:39:37
        4A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

        A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

        Add to Reading List

        Source URL: heim.ifi.uio.no

        Language: English - Date: 2012-06-04 07:58:53
          5Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work

          Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work

          Add to Reading List

          Source URL: mikael.cozic.free.fr

          Language: English - Date: 2006-08-18 10:32:54
            6Toward probabilistic mental logic Jakub Szymanik

            Toward probabilistic mental logic Jakub Szymanik

            Add to Reading List

            Source URL: fitelson.org

            Language: English - Date: 2015-09-19 23:26:08
              7Toward Probabilistic Natural Logic for Syllogistic Reasoning Fangzhou Zhai, Jakub Szymanik and Ivan Titov Institute for Logic, Language and Computation, University of Amsterdam Abstract Natural language contains an abund

              Toward Probabilistic Natural Logic for Syllogistic Reasoning Fangzhou Zhai, Jakub Szymanik and Ivan Titov Institute for Logic, Language and Computation, University of Amsterdam Abstract Natural language contains an abund

              Add to Reading List

              Source URL: jakubszymanik.com

              Language: English - Date: 2015-12-03 09:03:42
                8Probabilistic Logic with Conditional Independence Formulae1 Magdalena Ivanovska and Martin Giese2 Abstract. We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In cont

                Probabilistic Logic with Conditional Independence Formulae1 Magdalena Ivanovska and Martin Giese2 Abstract. We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In cont

                Add to Reading List

                Source URL: heim.ifi.uio.no

                Language: English - Date: 2010-08-17 14:49:51
                  9Collective Classication in Semantic Mapping with a Probabilistic Description Logic 1 2

                  Collective Classication in Semantic Mapping with a Probabilistic Description Logic 1 2

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2011-06-26 10:23:25
                    10VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania

                    VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania

                    Add to Reading List

                    Source URL: www.seas.upenn.edu

                    - Date: 2015-04-10 14:47:36