What should an ASP Solver output? A Multiple Position Paper

CEUR Workshop Proceedings

Volumn 281, Issue , 2007, Pages 26-37

  Brain, Martin ^a   Faber, Wolfgang ^b   Maratea, Marco ^c   Polleres, Axel ^d   Schaub, Torsten ^e   Schindlauer, Roman ^b,f  

^a University of Bath   (United Kingdom)

^b UNIVERSITY OF CALABRIA   (Italy)

^c UNIVERSITY OF GENOA   (Italy)

^d NATIONAL UNIVERSITY OF IRELAND   (Ireland)

^e UNIVERSITY OF POTSDAM   (Germany)

^f VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET PROGRAMMING; INTERFACE ISSUES; OUTPUT FORMATS; POSITION PAPERS; QUERY ANSWERING; SATISFIABILITY CHECKING;

SOFTWARE ENGINEERING;

LOGIC PROGRAMMING;

EID: 84884624086     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
2. Sutcliffe, G.: CASC-J3-The 3rd IJCAR ATP System Competition. In Furbach, U., Shankar, N., eds.: Proceedings of IJCAR. Springer (2006) 572-573
3. Berre, D.L., Simon, L., eds.: In Berre, D.L., Simon, L., eds.: Special Volume on the SAT 2005 Competitions and Evaluations. Journal on Satisfiability, Boolean Modeling and Computation, IOS Press (2006)
4. Baral, C., Brewka, G., Schlipf, J., eds.: Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07), Springer (2007) To appear.
5. Gebser, M., Liu, L., Namasivayam, G., Neumann, A., Schaub, T., Truszczyński, M.: The first answer set programming system competition. In [4] To appear.
6. Borchert, P., Anger, C., Schaub, T., Truszczyński, M.: Towards systematic benchmarking in answer set programming: The Dagstuhl initiative. In Lifschitz, V., Niemelä, I., eds.: Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04). Springer (2004) 3-7
7. Boley, H., Tabet, S., Wagner, G.: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. In: Proceedings of the first Semantic Web Working Symposium (SWWS'01). (2001) 381-401. See also http://www.ruleml.org.
8. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming. In: Proc. IJCAI 2005, Morgan Kaufmann (2005) 90-97
9. Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A RuleML Syntax for Answer-Set Programming. In Polleres, A., Decker, S., Gupta, G., de Bruijn, J., eds.: Informal Proceedings of the Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS'06). (2006) 107-108
10. Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing. Comm. ACM, vol. 46, no. 10, (2003) 25-28
11. Leone, N., Gottlob, G., Rosati, R., Eiter, T., Faber,W., Fink, M., Greco, G., Ianni, G., Kałka, E., Lembo, D., Lenzerini, M., Lio, V., Nowicki, B., Ruzzi, M., Staniszkis, W., Terracina, G.: The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data In: Proceedings of the 24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005). (2005) 915-917
12. Ruffolo, M., Manna, M.: A Logic-Based Approach to Semantic Information Extraction In: ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration. (2006) 115-123
13. Cumbo, C., Iiritano, S., Rullo, P.: OLEX - A Reasoning-Based Text Classifier In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Proceedings. (2004) 722-725
14. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases Addison-Wesley (1995)