A Case for Query-driven Predicate Answer Set Programming (Position Paper) Gopal Gupta Elmer Salazar, Kyle Marple, Zhuo Chen, Farhad Shakerin Department of Computer Science The University of Texas at Dallas

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Logic
• Logic programming
• Declarative programming
• Automated reasoning
• Programming paradigms
• Automated theorem proving
• Answer set programming
• Reasoning system
• Stable model semantics
• Prolog
• Inference

Answer Set Programming in a Nutshell Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP)

Source URL: www.cs.uni-potsdam.de

Theory and Practice of Answer Set Programming Esra Erdem1 , Joohyung Lee2 , and Yuliya Lierler3 1 Sabanci 2 Arizona 3 University

Source URL: peace.eas.asu.edu

Towards a Type Discipline for Answer Set Programming Camillo Fiorentini, Alberto Momigliano, and Mario Ornaghi Dipartimento di Scienze dell’Informazione, Universit`a degli Studi di Milano, Italy {fiorenti,momiglia,orna

Source URL: homepages.inf.ed.ac.uk

Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG

Source URL: drops.dagstuhl.de

Modeling and Solving in Answer Set Programming Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub

Source URL: www.cs.uni-potsdam.de

Answer Set Programming Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP)

Source URL: www.cs.uni-potsdam.de

Answer Set Programming: A Primer? Thomas Eiter1 , Giovambattista Ianni2 , and Thomas Krennwallner1 1 2

Source URL: www.kr.tuwien.ac.at

Answer Set Programming Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP)

Source URL: www.cs.uni-potsdam.de

A framework to model norm dynamics in Answer Set Programming Sofia Panagiotidi and Juan Carlos Nieves and Javier Vázquez-Salceda Knowledge Engineering and Machine Learning Group Universitat Politecnica de Catalunya, Spa

Source URL: ceur-ws.org