Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift

First Page		Document Content
Date: 2013-04-09 22:34:32 Predicate logic Logic programming Lambda calculus Stable model semantics Atomic formula Fixed-point combinator Term algebra Ground expression Forcing Mathematical logic Mathematics Logic		Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift Add to Reading List Source URL: silk.semwebcentral.org Download Document from Source Website File Size: 248,00 KB Share Document on Facebook

	Computational Logic Herbrand’s Theorem Damiano Zanardini UPM European Master in Computational Logic (EMCL) School of Computer Science DocID: 1oESI - View Document
	Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan DocID: 1l1TS - View Document
	Decision Procedures for Algebraic Data Types with Abstractions DocID: 1abHL - View Document
	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria DocID: 1abCK - View Document
	Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs Benjamin Grosof Terrance Swift DocID: 14yQn - View Document