Result 1 to 20 of 39 total
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
A “conservative” approach to extending answer set programming with non-Herbrand functions. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 24-39 (2012).
2
Learning and using domain-specific heuristics in ASP solvers. (English)
AI Commun. 24, No. 2, 147-164 (2011).
3
Industrial-size scheduling with ASP+CP. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 284-296 (2011).
4
ASP as a cognitive modeling tool: Short-term memory and long-term memory. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 377-397 (2011).
5
Improving DPLL solver performance with domain-specific heuristics: the ASP case. (English)
Comput. Res. Repos. 2011, Article No. 1102.2125 (2011).
6
Special issue: Answer set programming. Selected papers based on the presentations at the workshop on answer set programming and other computing paradigms (ASPOCP 2010), Edinburgh, Scotland, July 20, 2010. (English)
AI Commun. 24, No. 2, 105-212 (2011).
7
Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. (English)
Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). xiii, 513~p. EUR~74.90 (2011).
8
Industrial-size scheduling with ASP+CP (English)
LPNMR, 284-296 (2011).
9
ASP as a cognitive modeling tool: short-term memory and long-term memory (English)
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 377-397 (2011).
10
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).
11
Formalization of psychological knowledge in answer set programming and its application. (English)
Theory Pract. Log. Program. 10, No. 4-6, 725-740 (2010).
12
Learning domain-specific heuristics for answer set solvers (English)
ICLP (Technical Communications), 14-23 (2010).
13
Formalizing psychological knowledge in answer set programming (English)
KR (2010).
14
A general method to solve complex problems by combining multiple answer set programs. (English)
Faber, Wolfgang (ed.) et al., Workshop proceedings. ICLP 2009 workshop on answer set programming and other computing paradigms (ASPOCP 2009), Pasadena, CA, USA, July 14, 2009. [s.l.], [s.n.]. 61-75 (2009).
15
Representing constraint satisfaction problems in answer set programming. (English)
Faber, Wolfgang (ed.) et al., Workshop proceedings. ICLP 2009 workshop on answer set programming and other computing paradigms (ASPOCP 2009), Pasadena, CA, USA, July 14, 2009. [s.l.], [s.n.]. 16-30 (2009).
16
CR-Prolog as a specification language for constraint satisfaction problems. (English)
Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 402-408 (2009).
17
Splitting a CR-Prolog program. (English)
Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 17-29 (2009).
18
How flexible is answer set programming? An experiment in formalizing commonsense in ASP. (English)
Erdem, Esra (ed.) et al., Logic programming and nonmonotonic reasoning. 10th international conference, LPNMR 2009, Potsdam, Germany, September 14‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04237-9/pbk). Lecture Notes in Computer Science 5753. Lecture Notes in Artificial Intelligence, 4-16 (2009).
19
How flexible is answer set programming? an experiment in formalizing commonsense in ASP (English)
LPNMR, 4-16 (2009).
20
Result 1 to 20 of 39 total
Start
Contact
Print
General Help
