Author of the publication

Efficient Solving of Time-dependent Answer Set Programs.

, , , , and . ICLP (Technical Communications), volume 7 of LIPIcs, page 64-73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Ordered Programs as Abductive Systems., and . APPIA-GULP-PRODE, page 374-385. (2003)Context-Free Programmed Grammars and ETOL Systems., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 482-487. Springer, (1976)On the Relationship between Well-Founded and Stable Partial Models., and . MFDBS, volume 495 of Lecture Notes in Computer Science, page 59-73. Springer, (1991)Logic Programming Semantics Made Easy., , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 499-508. Springer, (1992)L Systems of Finite Index (Extended Abstract)., and . ICALP, volume 52 of Lecture Notes in Computer Science, page 430-439. Springer, (1977)Answer Set Programming for Continuous Domains - A Fuzzy Logic Approach., , , and . Atlantis Computational Intelligence Systems Atlantis Press, (2012)Logic Programming Agents and Game Theory., and . Answer Set Programming, (2001)A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System., , , and . CA(i)SE, volume 961 of CEUR Workshop Proceedings, CEUR-WS.org, (1989)Communicating ASP and the Polynomial Hierarchy., , , and . LPNMR, volume 6645 of Lecture Notes in Computer Science, page 67-79. Springer, (2011)Fuzzy Answer Set Programming., , and . JELIA, volume 4160 of Lecture Notes in Computer Science, page 359-372. Springer, (2006)