15 Alice: Sergio: Alice: Riccardo: Vittorio:

First Page		Document Content
Date: 2010-02-12 06:45:46 Semantics Datalog Logic programming Rules of inference Stratification Negation as failure Negation Transitive closure Model theory Logic Mathematics Mathematical logic		15 Alice: Sergio: Alice: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Download Document from Source Website File Size: 364,61 KB Share Document on Facebook

	Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation Mario Alviano, Wolfgang Faber, and Nicola Leone Department of Mathematics University of CalabriaRende (CS), Italy DocID: 1pYO8 - View Document
	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond DocID: 17MHw - View Document
	Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz DocID: 13UaK - View Document
	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China DocID: 13Eld - View Document
	15 Alice: Sergio: Alice: Riccardo: Vittorio: DocID: A5Dn - View Document