Towards a Logic-based Production System Language

First Page		Document Content
Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science		Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 480,63 KB Share Document on Facebook

	Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013 DocID: 1uXeI - View Document
	I N F S Y S R E S E A R C H R DocID: 1riTl - View Document
	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc DocID: 1qzAi - View Document
	Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2 DocID: 1q99R - View Document
	Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu DocID: 1p49M - View Document