Practical and methodological aspects of the use of cutting-edge ASP tools. (English)
Russo, Claudio (ed.) et al., Practical aspects of declarative languages. 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27693-4/pbk). Lecture Notes in Computer Science 7149, 78-92 (2012).
1
Learning and using domain-specific heuristics in ASP solvers. (English)
AI Commun. 24, No. 2, 147-164 (2011).
2
Learning domain-specific heuristics for answer set solvers. (English)
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16‒19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPICS ‒ Leibniz International Proceedings in Informatics 7, 14-23, electronic only (2010).
3
Testing and debugging techniques for answer set solver development. (English)
Theory Pract. Log. Program. 10, No. 4-6, 741-758 (2010).
4
The significance of memory costs in answer set solver implementation. (English)
J. Log. Comput. 19, No. 4, 615-641 (2009).
5
Evaluating ASP and commercial solvers on the CSPLib. (English)
Constraints 13, No. 4, 407-436 (2008).
6
Some (in)translatability results for normal logic programs and propositional theories. (English)
J. Appl. Non-Class. Log. 16, No. 1-2, 35-86 (2006).
7
ASSAT: computing answer sets of a logic program by SAT solvers. (English)
Artif. Intell. 157, No. 1-2, 115-137 (2004).
8
Start
Contact
Print
General Help
