Torsten

Results: 1020



#Item
91

Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

Add to Reading List

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

- Date: 2012-06-27 10:05:03
    92

    Advanced Preprocessing for Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub1 2 Abstract. We introduce the first substantial approach to preprocessing in the context of answer

    Add to Reading List

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

    - Date: 2008-09-30 12:52:10
      93

      Two Basic Aspects of Virtual Agents’ Behavior: Collision Avoidance and Presence Strategies Andrea Bönsch1, Tom Vierjahn1 & Torsten W. Kuhlen1 1 Visual Computing Institute, RWTH Aachen University, Germany

      Add to Reading List

      Source URL: vr.rwth-aachen.de

      - Date: 2016-07-19 01:42:07
        94

        Evaluating Presence Strategies of Temporarily Required Virtual Assistants Andrea Bönsch, Tom Vierjahn and Torsten W. Kuhlen Visual Computing Institute, RWTH Aachen University JARA – High-Performance Computing

        Add to Reading List

        Source URL: vr.rwth-aachen.de

        - Date: 2016-10-21 01:35:53
          95

          Answer Set Programming modulo Acyclicity ? Jori Bomanson1 , Martin Gebser1,2 , Tomi Janhunen1 , Benjamin Kaufmann2 , and Torsten Schaub2,3?? 1 2

          Add to Reading List

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

          - Date: 2015-10-07 13:53:07
            96

            Conflict-Driven Answer Set Enumeration Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany

            Add to Reading List

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

            - Date: 2007-06-11 04:23:32
              97

              ASP foundations and applications Torsten Schaub Torsten Schaub (KRR@UP) Autumn School@ICLP’16

              Add to Reading List

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

              - Date: 2016-10-16 09:04:31
                98

                clasp: A Conflict-Driven Answer Set Solver Martin Gebser, Benjamin Kaufmann, Andr´e Neumann, and Torsten Schaub Institut f¨ur Informatik, Universit¨at Potsdam, August-Bebel-Str. 89, DPotsdam, Germany Abstract

                Add to Reading List

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

                - Date: 2007-03-07 07:31:05
                  99

                  Correlating Sub-Phenomena in Performance Data in the Frequency Domain Tom Vierjahn1,4, Marc-André Hermanns3,4, Bernd Mohr3,4, Matthias S. Müller2,4, Torsten W. Kuhlen1,4, Bernd Hentschel1,4 1 Visual Computing Institute

                  Add to Reading List

                  Source URL: vr.rwth-aachen.de

                  - Date: 2016-10-19 11:39:41
                    100

                    The Conflict-Driven Answer Set Solver clasp: Progress Report Martin Gebser, Benjamin Kaufmann, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We sum

                    Add to Reading List

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

                    - Date: 2009-07-06 04:21:06
                      UPDATE