io-port.net

io-port 06106686 Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten

Conflict-driven answer set solving: from theory to practice. (English)

Artif. Intell. 187-188, 52-89 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06059518 Gebser, Martin; Kaufmann, Roland; Schaub, Torsten

Gearing up for effective ASP planning. (English)

Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 296-310 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06073898 Ostrowski, Max; Flouris, Giorgos; Schaub, Torsten; Antoniou, Grigoris

Evolution of ontologies using ASP. (English)

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 16-27, electronic only (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 06073896 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten

Multi-criteria optimization in answer set programming. (English)

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6‒10, 2011. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPICS ‒ Leibniz International Proceedings in Informatics 11, 1-10, electronic only (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI URL

io-port 06038200 Mileo, Alessandra; Schaub, Torsten; Merico, Davide; Bisiani, Roberto

Knowledge-based multi-criteria optimization to support indoor positioning. (English)

Ann. Math. Artif. Intell. 62, No. 3-4, 345-370 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05939298 Gebser, Martin; Kaminski, Roland; Schaub, Torsten

Complex optimization in answer set programming. (English)

Theory Pract. Log. Program. 11, No. 4-5, 821-839 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05939294 Durzinsky, Markus; Marwan, Wolfgang; Ostrowski, Max; Schaub, Torsten; Wagler, Annegret

Automatic network reconstruction using ASP. (English)

Theory Pract. Log. Program. 11, No. 4-5, 749-766 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05914361 Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten

An incremental answer set programming based system for finite model computation. (English)

AI Commun. 24, No. 2, 195-212 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05914356 Gebser, Martin; Kaufmann, Benjamin; Kaminski, Roland; Ostrowski, Max; Schaub, Torsten; Schneider, Marius

Potassco: the Potsdam answer set solving collection. (English)

AI Commun. 24, No. 2, 107-124 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05908210 Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe

Detecting inconsistencies in large biological networks with answer set programming. (English)

Theory Pract. Log. Program. 11, No. 2-3, 323-360 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05900019 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schnor, Bettina

Cluster-based ASP solving with claspar. (English)

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 364-369 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05900018 Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten

plasp: A prototype for PDDL-based planning in ASP. (English)

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 358-363 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05900017 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten; Schneider, Marius Thomas; Ziller, Stefan

A portfolio solver for answer set programming: Preliminary report. (English)

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 352-357 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05900016 Gebser, Martin; Kaminski, Roland; König, Arne; Schaub, Torsten

Advances in gringo series 3. (English)

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 345-351 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05899984 Gebser, Martin; Grote, Torsten; Kaminski, Roland; Schaub, Torsten

Reactive answer set programming. (English)

Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 54-66 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05897814 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten

Challenges in answer set solving. (English)

Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 74-90 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05890989 Möller, Maximilian; Schneider, Marius; Wegner, Martin; Schaub, Torsten

Centurio, a general game player: parallel, Java- and ASP-based. (English)

KI, Künstl. Intell. 25, No. 1, 17-24 (2011).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70000355 Gebser, Martin; Kaminski, Roland; Schaub, Torsten

Aspcud: A linux package configuration tool based on answer set programming (English)

LoCoCo, 12-25 (2011).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70128794 Gebser, Martin; Sabuncu, Orkunt; Schaub, Torsten

Finite model computation via answer set programming (English)

IJCAI, 2626-2631 (2011).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70309482 Ostrowski, Max; Flouris, Giorgos; Schaub, Torsten; Antoniou, Grigoris

Evolution of ontologies using ASP (English)

ICLP (Technical Communications), 16-27 (2011).

20

PDF XML AMS-TeX TEXT BIBTeX DOI