Author of the publication

The aspps System.

, and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 533-536. Springer, (2002)

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

aspps - An Implementation of Answer-Set Programming with Propositional Schemata., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 402-405. Springer, (2001)On the accuracy and running time of GSAT, and . CoRR, (2000)More on Wire Routing with ASP., and . Answer Set Programming, (2001)The aspps System., and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 533-536. Springer, (2002)On the Accuracy and Running Time of GSAT., and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 49-61. Springer, (1999)Propositional Satisfiability in Answer-Set Programming., and . KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 138-153. Springer, (2001)Propositional satisfiability in declarative programming, and . CoRR, (2002)dcs: An Implementation of DATALOG with Constraints, and . CoRR, (2000)DATALOG with Constraints - An Answer-Set Programming System., and . AAAI/IAAI, page 163-168. AAAI Press / The MIT Press, (2000)