Otten

Results: 206



#Item
21

1 Restricting Backtracking in Connection Calculi Jens Otten Institut f¨ur Informatik, University of Potsdam

Add to Reading List

Source URL: www.jens-otten.de

Language: English - Date: 2012-03-30 11:05:42
    22

    On the Advantage of a Non-Clausal Davis-Putnam Procedure Jens Otten ∗ Fachgebiet Intellektik, Fachbereich Informatik

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    Language: English - Date: 2008-03-22 23:24:28
      23

      Problem Libraries for Non-Classical Logics – Extended Abstract – Jens Otten and Thomas Raths Institut f¨ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany {jeotten|traths}@c

      Add to Reading List

      Source URL: www.jens-otten.de

      Language: English - Date: 2015-01-19 21:22:08
        24

        randoCoP: Randomizing the Proof Search Order in the Connection Calculus Thomas Raths Jens Otten

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        Language: English - Date: 2010-02-18 14:00:10
          25

          randoCoP: Randomizing the Proof Search Order in the Connection Calculus Thomas Raths Jens Otten

          Add to Reading List

          Source URL: www.jens-otten.de

          Language: English - Date: 2012-03-30 11:05:47
            26

            Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic Jens Otten Institut f¨ ur Informatik, University of Potsdam August-Bebel-Str. 89, 14482 Potsdam-Babelsberg, Germany

            Add to Reading List

            Source URL: www.jens-otten.de

            Language: English - Date: 2012-03-30 11:05:56
              27

              Bounding Search Space Size via (Hyper)tree Decompositions Lars Otten and Rina Dechter Bren School of Information and Computer Sciences University of California, Irvine, CA, U.S.A. {lotten,dechter}@ics.uci.edu

              Add to Reading List

              Source URL: uai2008.cs.helsinki.fi

              Language: English - Date: 2008-05-16 11:15:38
                28

                A Connection Based Proof Method for Intuitionistic Logic Jens Otten Christoph Kreitz

                Add to Reading List

                Source URL: www.jens-otten.de

                Language: English - Date: 2012-03-30 11:05:46
                  29

                  Building a Problem Library for First-Order Modal Logics Thomas Raths Jens Otten

                  Add to Reading List

                  Source URL: www.cs.uni-potsdam.de

                  Language: English - Date: 2010-02-18 14:00:10
                    30

                    The ILTP Problem Library for Intuitionistic Logic Release v1.1 Thomas Raths∗ , Jens Otten and Christoph Kreitz Institut f¨ ur Informatik, University of Potsdam, Germany. e-mail: {traths,jeotten,kreitz}@cs.uni-potsdam.

                    Add to Reading List

                    Source URL: www.cs.uni-potsdam.de

                    Language: English - Date: 2008-03-22 23:03:52
                      UPDATE