Author of the publication

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)

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)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)The aspps System., and . JELIA, volume 2424 of Lecture Notes in Computer Science, page 533-536. Springer, (2002)Propositional Satisfiability in Answer-Set Programming., and . KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 138-153. Springer, (2001)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 declarative programming, and . CoRR, (2002)