Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
109
Voted
AAAI
2011
128
views
Intelligent Agents
»
more
AAAI 2011
»
Termination and Correctness Analysis of Cyclic Control
14 years 2 months ago
Download
rbr.cs.umass.edu
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
claim paper
Read More »
99
Voted
JSYML
2002
96
views
more
JSYML 2002
»
Definitions of Compactness and The Axiom of Choice
15 years 2 months ago
Download
www.math.purdue.edu
We study the relationships between definitions of compactness in topological spaces and the roll the axiom of choice plays in these relationships.
Omar de la Cruz, Eric J. Hall, Paul E. Howard, Jea...
claim paper
Read More »