stavros's foundations [26 articles] Export

Recent papers added to stavros's library classified by the tag foundations. You can also see everyone's foundations.

	Introduction to Mathematical Logic [My Copy] (1997) by Elliott Mendelson posted to foundations logic by stavros on 2009-01-29 14:21:19 as along with 1 person pmatos
	STRIPS: A new approach to the application of theorem proving to problem solving [My Copy] Artificial Intelligence, Vol. 2 (1971), pp. 189-208. by R. Fikes, N. Nilsson posted to databases foundations reasoning_about_action by stavros on 2007-11-23 00:49:12 as
	Existential assertions and quantum levels on the tree of the situation calculus [My Copy] Artif. Intell., Vol. 170, No. 6. (May 2006), pp. 643-652. by Francesco Savelli posted to ai foundations situation_calculus by stavros on 2007-10-26 06:18:54 as along with 1 person rfk
	Proving Properties of States in the Situation Calculus [My Copy] Artificial Intelligence, Vol. 64, No. 2. (1993), pp. 337-351. by Raymond Reiter posted to ai foundations logic reasoning_about_action situation_calculus by stavros on 2007-06-20 23:16:57 as
	Toward a mathematical theory of plan synthesis [My Copy] (1987) by E. P. D. Pednault posted to ai foundations situation_calculus by stavros on 2007-02-12 20:51:51 as
	Prolegomena to Study of Hector-Neri Castañeda's Influence on Artificial Intelligence [My Copy] In Thought, Language, and Ontology: Essays in Memory of Hector-Neri Castañeda (1998), pp. 235-294.. by William J. Rapaport edited by Francesco Orilia, William J. Rapaport posted to ai foundations logic by stavros on 2006-10-26 19:58:51 as
	The Craig interpolation lemma. [My Copy] Notre Dame Journal of Formal Logic, Vol. VIII, No. 3. (1967), pp. 229-233. by Burton Dreben, Hilary Putnam posted to foundations logic by stavros on 2006-09-15 23:51:36 as
	Entailment: The Logic of Relevance and Necessity [My Copy] Vol. 1 (1975) by Alan R. Anderson, Nuel D. Belnap posted to ai foundations limited_beliefs logic by stavros on 2006-05-15 03:42:49 as
	Completeness of Linear Refutation for Theories with Equality [My Copy] J. ACM, Vol. 18, No. 1. (January 1971), pp. 126-136. by C. L. Chang, J. R. Slagle posted to foundations logic theorem_proving theories_of_equality by stavros on 2006-01-17 23:56:27 as
	Negation as Failure [My Copy] In Logic and Data Bases (1978), pp. 292-322. by Keith L. Clark edited by H. Gallaire, J. Minker posted to depth foundations logic logic_programming by stavros on 2005-11-30 02:26:27 as
	Agent-Oriented Programming. [My Copy] Artificial Intelligence, Vol. 60, No. 1. (1993), pp. 51-92. by Yoav Shoham posted to agent_oriented_programming ai depth foundations by stavros on 2005-11-23 22:06:50 as
	A New Deductive Approach to Planning. [My Copy] New Generation Comput., Vol. 8, No. 3. (1990) by Steffen Hölldobler, Josef Schneeberger posted to ai depth fluent_calculus foundations logic reasoning_about_action by stavros on 2005-11-22 01:19:42 as
	Knowledge and Belief [My Copy] Knowledge and Belief (1962) by J. Hintikka posted to ai depth foundations knowledge logic by stavros on 2005-10-03 19:44:02 as
	A Formal Theory of Knowledge and Action [My Copy] In Formal Theories of the Commonsense World (1985), pp. 319-358. by R. C. Moore edited by J. R. Hobbs, R. C. Moore posted to ai depth foundations knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-03 19:41:59 as along with 1 person rfk
	Reflection and Semantics in a Procedural Language [My Copy] (1982) by Brian C. Smith posted to agent ai depth foundations logic by stavros on 2005-09-28 21:03:48 as
	Elephants Don't Play Chess [My Copy] Robotics and Autonomous Systems, Vol. 6, No. 1\&2. (June 1990), pp. 3-15. by Rodney A. Brooks posted to ai behavior depth foundations robot by stavros on 2005-09-27 02:27:24 as
	A Robust Layered Control System for a Mobile Robot [My Copy] IEEE Journal of Robotics and Automation, Vol. RA-2, No. 1. (1986), pp. 14-23. by R. A. Brooks posted to ai behavior depth foundations robot by stavros on 2005-09-27 02:27:24 as
	Intelligence without Robots: A Reply to Brooks [My Copy] AI Magazine, Vol. 14, No. 4. (1993), pp. 7-13. by Oren Etzioni posted to ai depth foundations logic softbots by stavros on 2005-09-22 01:26:38 as
	Incomplete Information in Relational Databases [My Copy] J. ACM, Vol. 31, No. 4. (October 1984), pp. 761-791. by Tomasz Imielinski, Witold Lipski posted to ai databases foundations incomplete_knowledge logic by stavros on 2005-09-22 00:30:47 as along with 2 people and 1 group jog fsautomata WebTech
	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving [My Copy] Artificial Intelligence, Vol. 2 (1971), pp. 189-208. by R. E. Fikes, N. J. Nilsson posted to ai databases depth foundations frame_problem reasoning_about_action by stavros on 2005-09-22 00:00:50 as
	Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions [My Copy] In Knowledge Representation and Defeasible Reasoning, Vol. Volume 5 (1990), pp. 23-67. by Lehnart Schubert edited by Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson posted to ai depth foundations frame_problem logic reasoning_about_action by stavros on 2005-09-21 23:44:02 as
	ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. [My Copy] In KR (1989), pp. 324-332. by Edwin P. D. Pednault posted to ai depth foundations frame_problem logic reasoning_about_action by stavros on 2005-09-21 23:34:16 as
	A logic-based calculus of events [My Copy] New Gen. Comput., Vol. 4, No. 1. (1986), pp. 67-95. by R. Kowalski, M. Sergot posted to ai depth event_calculus foundations logic reasoning_about_action by stavros on 2005-09-21 22:34:01 as
	Circumscription -- A Form of Non-Monotonic Reasoning [My Copy] Artificial Intelligence, Vol. 13 (1980), pp. 27-39. by John Mccarthy posted to ai circumscription default depth foundations frame_problem logic by stavros on 2005-09-19 23:50:24 as
	A Logic for Default Reasoning [My Copy] Artificial Intelligence, Vol. 13 (1980), pp. 81-132. by R. Reiter posted to ai default depth foundations frame_problem logic nonmonotonic by stavros on 2005-09-19 23:43:04 as
	Some Philosophical Problems from the Standpoint of Artificial Intelligence [My Copy] Machine Intelligence, Vol. 4 (1969), pp. 463-502. by John Mccarthy, Patrick J. Hayes edited by B. Meltzer, D. Michie posted to ai depth foundations logic situation_calculus by stavros on 2005-09-16 22:39:02 as

Note: You may cite this page as: http://www.citeulike.org/user/stavros/tag/foundations

ai	157
logic	119
depth	110
reasoning_about_action	58
incomplete_knowledge	40
situation_calculus	40
games	29
foundations	26
theorem_proving	23
system	22
agent	21
planning	21
databases	20
frame_problem	17
logic_programming	15
golog	14
knowledge	11
complexity	10
robot	10
agent_oriented_programming	9
cogrobo	9
knowledge_compilation	8
nonmonotonic	8
theories_of_equality	8
progression	6
answer_set	5
architecture	5
fluent_calculus	5
narratives	5
sat	5
behavior	4
circumscription	4
common_sense	4
default	4
implicit_belief	4
nondeterminism	4
causality	3
congurence_closure	3
control	3
csp	3
general_game_playing	3
inconsistent_databases	3
resolution	3
wumpus	3
competition	2
diagnosis	2
event_calculus	2
execution_monitoring	2
flux	2
indexicals	2
mdp	2
pddl	2
reasoning	2
softbots	2
solver	2
testbed	2
3apl	1
about_action	1
agetn	1
animation	1
approximate_reasoning	1
bdd	1
dabases	1
developmental_robotics	1
es	1
feature_extraction	1
features_and_fluents	1
gdl	1
google	1
graph_theory	1
halo	1
information_theory	1
interval	1
learning	1
limited_beliefs	1
linguistics	1
logi	1
logical_filtering	1
manual	1
math	1
possible_values	1
proceedings	1
programming_language	1
psycology	1
ramifications	1
sensing	1
software_engineering	1
term_indexing	1
theory_approximation	1
tmp	1
treewidth	1
undecidability	1
web_services	1

stavros's foundations [26 articles] Export

stavros's tags