ASP

Results: 7786



#Item
231

Advanced Conflict-Driven Disjunctive Answer Set Solving Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗ Universit¨at Potsdam, Germany Abstract We introduce a new approach to disjunctive ASP

Add to Reading List

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

- Date: 2013-05-10 07:09:25
    232

    Applicability of ASP-based Problem Solving on Tree Decompositions Bernhard Bliem, Reinhard Pichler and Stefan Woltran Institute of Information Systems, Vienna University of Technology Favoritenstrasse 9–11; A-1040 Wien

    Add to Reading List

    Source URL: dbai.tuwien.ac.at

    - Date: 2013-06-20 14:18:41
      233

      Ändra en förskoleansökan 1. Logga in Börja med att gå in på Självservice Barn och utbildning (https://ekero.ist-asp.com/) och logga in med dina inloggningsuppgifter. Gå till ”Mina sidor” och välj ”Mina är

      Add to Reading List

      Source URL: www.ekero.se

      - Date: 2016-11-18 05:17:43
        234

        https://www.takara-dic-net.jp/xeditor2/html_gene.asp

        Add to Reading List

        Source URL: contents.xj-storage.jp

          235

          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
            236

            ASSEMBLY OF STATES PARTIES TO THE ROME STATUTE OF THE INTERNATIONAL CRIMINAL COURT FOURTEENTH SESSION THE HAGUE, 18-26 NOVEMBER 2015

            Add to Reading List

            Source URL: asp.icc-cpi.int

            - Date: 2016-03-11 07:31:30
              237

              VS ASP Reifen-Verband der Schweiz PRÜFUNGSORDNUNG über die Berufsprüfung für Reifenfachleute vom

              Add to Reading List

              Source URL: swisspneu.ch

              - Date: 2016-01-18 03:00:32
                238

                Library and Information Services in Astronomy VII: Open Science at the Frontiers of Librarianship ASP Conference Series, Vol. 492 A. Holl, S. Lesteven, D. Dietrich, and A. Gasperini, eds. c 2015 Astronomical Society of t

                Add to Reading List

                Source URL: www.aspbooks.org

                  239

                  ICC-ASP/15/Res.1 Advance version Resolution ICC-ASP/15/Res.1 Adopted at the 10th plenary meeting, on 24 November 2016, by consensus

                  Add to Reading List

                  Source URL: asp.icc-cpi.int

                  - Date: 2016-11-25 11:49:26
                    240

                    , godz. 17:30 Łódź, Galeria Lektorium ASP w Łodzi, Wojska Polskiego 121

                    Add to Reading List

                    Source URL: instytutslowacki.nazwa.pl

                    - Date: 2016-10-28 09:00:49
                      UPDATE