Answer Set Programming with Functions

First Page		Document Content
Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics		Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Download Document from Source Website File Size: 183,94 KB Share Document on Facebook

	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 DocID: 1xVE0 - View Document
	Answer Set Programming in a Nutshell Torsten Schaub University of Potsdam Torsten Schaub (KRR@UP) DocID: 1trGw - View Document
	Theory and Practice of Answer Set Programming Esra Erdem1 , Joohyung Lee2 , and Yuliya Lierler3 1 Sabanci 2 Arizona 3 University DocID: 1tnHD - View Document
	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 DocID: 1tnpQ - View Document
	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 DocID: 1tmTo - View Document