Filters








4 Hits in 3.6 sec

Nonmonotonic Reasoning, Answer Set Programming and Constraints-Dagstuhl Seminar

Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
Dagstuhl Seminar Proceedings 05171 Nonmonotonic Reasoning   unpublished
Executive Summary: The Dagstuhl Seminar 05171-Nonmonotonic Reasoning, Answer Set Programming and Constraints We provide a brief overview of the seminar and comment on most the important research themes  ...  From 24.04.05 to 29.04.05, the Dagstuhl Seminar 05171 "Non-monotonic Reasoning, Answer Set Programming and Constraints" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl  ...  Keywords: Disjunctive logic programming, answer set programming, nonmonotonic reasoning, disjunctive datalog, heuristics, optimizations Joint work of: Leone, Nicola; The DLV Team Cmodels-3: SAT-based  ... 
fatcat:dba5zpz4xrenvgauldql3zhe6m

Dagstuhl TÄtigkeitsbericht Januar-Dezember 2005 2006 SCHLOSS DAGSTUHL INTERNATIONALES BEGEGNUNGS-UND FORSCHUNGSZENTRUM FÜR INFORMATIK Dagstuhl TÄtigkeitsbericht Januar-Dezember 2005

Geschäftsstelle Schloss Dagstuhl
unpublished
Truszczynski (Univ. of Kentucky, US) 05171, 27.04.2005 -29.04.2005 Nonmonotonic Reasoning, Answer Set Programming and Constraints G. Brewka (Univ. Leipzig, DE), I.  ...  Koblenz -Landau, DE) 05171, 24.04.2005 -29.04.2005 Nonmonotonic Reasoning, Answer Set Programming and Constraints G. Brewka (Univ. Leipzig, DE), I. Niemelä (Helsinki Univ. of Technology, FI), T.  ...  Everything -the facilities, the food, the building, the surroundingswas excellent and made an ideal setting for our meeting, which was very productive. "Semantic  ... 
fatcat:7w76u6l4lbb3tbeg5vkpoqdmh4

Geometric Networks and Metric Space

S Oishi (waseda Univ, M Jp), Plum (univ, Karlsruhe, S De), Rump
2005 unpublished
Everything-the facilities, the food, the building, the surroundings-was excellent and made an ideal setting for our meeting, which was very productive.  ...  Thanks so much to you and everyone at Dagstuhl for helping us to organize our workshop.  ...  Truszczynski (Univ. of Kentucky, US) 05171, 27.04.2005 -29.04.2005 Nonmonotonic Reasoning, Answer Set Programming and Constraints G. Brewka (Univ. Leipzig, DE), I.  ... 
fatcat:7gd6rm6v2nf23im66rb757o4ei

Annual Report

Schloss Dagstuhl
unpublished
Schilder (Univ. of Hamburg, Germany) 05171, 24 -29 April 2005 Nonmonotonic Reasoning, Answer Set Programming and Constraints G. Brewka (Univ. of Leipzig, Germany), I.  ...  In addition to the description of the seminar and abstracts of the talks given the participants can also upload complete documents to the server.  ... 
fatcat:rqpu2mjlcvcxfezwzone7musye