stavros's logic [119 articles] Export

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

	First-Order Strong Progression for Local-Effect Basic Action Theories [My Copy] In Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08) (2009), pp. 662-672. by Stavros Vassos, Gerhard Lakemeyer, Hector Levesque edited by Gerhard Brewka, Jérôme Lang posted to situation_calculus reasoning_about_action progression logic ai by stavros on 2009-10-01 23:06:00 as
	Progressing basic action theories with non-local effect actions [My Copy] In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09) (2009), pp. 135-140. by Stavros Vassos, Stavros Sardina, Hector Levesque edited by Gerhard Lakemeyer, Leora Morgenstern, Mary-Anne Williams posted to situation_calculus progression logic incomplete_knowledge ai by stavros on 2009-10-01 17:56:42 as
	A Reasoning Module for Long-Lived Cognitive Agents [My Copy] (2009) by Stavros Vassos posted to situation_calculus reasoning_about_action reasoning progression logic incomplete_knowledge ai agent by stavros on 2009-10-01 13:16:37 as
	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
	Scaling Up Reasoning About Actions Using Relational Database Technology [My Copy] by Giuseppe De Giacomo posted to ai databases logic reasoning_about_action by stavros on 2008-01-24 17:20:41 as along with 1 person rfk
	Non-Markovian control in the situation calculus [My Copy] In Eighteenth national conference on Artificial intelligence (2002), pp. 519-524. by Alfredo Gabaldon posted to ai logic reasoning_about_action situation_calculus by stavros on 2008-01-17 22:30:47 as
	Non-Markovian control in the situation calculus [My Copy] In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany (2000), pp. 28-33. by A. Gabaldon edited by G. Lakemeyer posted to ai logic reasoning_about_action situation_calculus by stavros on 2008-01-17 22:17:01 as
	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
	On the Expressibility of Propositions [My Copy] Logique et Analyse, Vol. 139--149 (1995), pp. 251-272. by P. Peppas, N. Foo, M. Williams posted to about_action ai logic reasoning by stavros on 2007-05-03 00:00:36 as
	Situations, si! Situation terms, no! [My Copy] In Proceedings of KR-2004 (2004) by Lakemeyer, Hector J. Levesque posted to ai es logic reasoning_about_action situation_calculus by stavros on 2007-03-24 00:56:58 as
	Logical filtering [My Copy] (2003) by E. Amir, S. Russell posted to ai logic logical_filtering reasoning_about_action by stavros on 2006-10-30 19:21:54 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
	Quasi-Indexicals and Knowledge Reports [My Copy] Cognitive Science, Vol. 21, No. 1. (1997), pp. 63-107. by William J. Rapaport, Stuart C. Shapiro, Janyce Wiebe posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:36:20 as
	Indexical knowledge and robot action: a logical account [My Copy] (1995) by Y. Lesperance, H. Levesque posted to ai indexicals logic reasoning_about_action by stavros on 2006-10-26 19:34:09 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
	First-Order Logical Filtering [My Copy] In IJCAI (2005), pp. 589-595. by Afsaneh Shirazi, Eyal Amir posted to ai incomplete_knowledge logic reasoning_about_action by stavros on 2006-07-12 23:20:54 as along with 1 person rfk
	NMR'06 - Eleventh International Workshop on Non-Monotonic Reasoning [My Copy] (2006) posted to ai logic by stavros on 2006-06-20 17:27:16 as
	Representing Sensing Actions: The Middle Ground Revisited [My Copy] In KR'96: Principles of Knowledge Representation and Reasoning (1996), pp. 174-185. by Keith Golden, Daniel Weld edited by Luigia C. Aiello, Jon Doyle, Stuart Shapiro posted to ai logic reasoning_about_action sensing by stavros on 2006-06-06 20:50:15 as
	Reasoning about actions with CHRs and finite domain constraints [My Copy] (2002) by M. Thielscher posted to ai logic logic_programming reasoning_about_action system by stavros on 2006-05-25 00:02:40 as
	Feature Discovery for Inductive Concept Learning [My Copy] No. UM-CS-1990-015. (, 1990) by Tom E. Fawcett posted to ai feature_extraction games general_game_playing logic by stavros on 2006-05-22 22:39:26 as along with 1 person eacosta
	Automatic Heuristic Contruction in a Complete General Game Player [My Copy] In Proceedings of the Twenty-First National Conference on Artificial Intelligence (2006) by Gregory Kuhlmann, Kurt Dresner, Peter Stone posted to ai games gdl general_game_playing logic by stavros on 2006-05-22 22:16:32 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
	The design and implementation of VAMPIRE [My Copy] AI Commun., Vol. 15, No. 2. (September 2002), pp. 91-110. by Alexandre Riazanov, Andrei Voronkov posted to ai logic system theorem_proving by stavros on 2006-05-15 01:16:10 as
	A Logic of Implicit and Explicit Belief. [My Copy] In AAAI (1984), pp. 198-202. by Hector J. Levesque posted to ai implicit_belief incomplete_knowledge logic by stavros on 2006-05-14 02:36:39 as
	Planning as Satisfiability [My Copy] In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92) (1992), pp. 359-363. by Henry A. Kautz, Bart Selman posted to ai logic planning sat by stavros on 2006-05-13 02:57:19 as along with 2 people cyph3r baisemain
	Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. [My Copy] Studia Logica, Vol. 79, No. 1. (2005), pp. 135-160. by Tran C. Son, Phan Tu, Xin Zhang posted to ai incomplete_knowledge logic planning by stavros on 2006-05-10 21:36:42 as
	Unifying SAT-Based and Graph-Based Planning [My Copy] In Workshop on Logic-Based Artificial Intelligence, Washington, DC, June 14--16, 1999 (1999) by Henry Kautz, Bart Selman edited by Jack Minker posted to ai logic planning sat by stavros on 2006-05-03 05:53:46 as
	Approximate reasoning and non-omniscient agents [My Copy] In TARK '92: Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge (1992), pp. 169-183. by Marco Cadoli, Marco Schaerf posted to ai approximate_reasoning implicit_belief incomplete_knowledge logic theorem_proving by stavros on 2006-05-03 05:31:58 as
	A tractable knowledge representation service with full introspection [My Copy] In TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge (1988), pp. 145-159. by Gerhard Lakemeyer, Hector J. Levesque posted to ai implicit_belief incomplete_knowledge logic by stavros on 2006-05-02 00:04:05 as along with 1 person neuralwarp
	The power of modeling---a response to PDDL [My Copy] (2003) by F. Bacchus posted to ai logic planning by stavros on 2006-04-28 02:29:44 as
	Forward Conformant Planning via Symbolic Model Checking [My Copy] by Alessandro Cimatti, Marco Roveri posted to ai incomplete_knowledge logic planning by stavros on 2006-04-21 22:24:37 as
	Conformant Planning via Heuristic Forward Search: A New Approach [My Copy] In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04) (2004), pp. 355-364. by Ronen Brafman, Jörg Hoffmann edited by Sven Koenig, Shlomo Zilberstein, Jana Koehler posted to ai incomplete_knowledge logic planning by stavros on 2006-04-21 22:19:20 as
	The Well-Founded Semantics for General Logic Programs [My Copy] Journal of the ACM, Vol. 38, No. 3. (1991), pp. 620-650. by Allen van Gelder, Kenneth Ross, John S. Schlipf posted to logic logic_programming by stavros on 2006-04-08 23:28:32 as along with 1 person baisemain
	Generalizing Boolean satisfiability II: Theory [My Copy] Journal of Artificial Intelligence Research, Vol. 22 (2004), pp. 481-532. by Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes posted to ai logic sat theorem_proving by stavros on 2006-03-28 19:02:13 as
	Generalizing Boolean satisfiability I: Background and existing work [My Copy] Journal of Artificial Intelligence Research, Vol. 21 (2004), pp. 193-243. by Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes posted to ai logic sat theorem_proving by stavros on 2006-03-23 17:09:12 as
	PSIPLAN: Open World Planning with psi-forms [My Copy] In Proceedings of the 5-th International Conference on Artificial Intelligence Planning and Scheduling., AIPS'00 (2000) by Tamara Babaian, James G. Schmolze posted to ai incomplete_knowledge logic by stavros on 2006-03-22 22:56:18 as
	Efficient Open World Reasoning for Planning [My Copy] (9 Jan 2006) by Tamara Babaian, James G. Schmolze posted to ai incomplete_knowledge logic planning by stavros on 2006-03-21 04:01:37 as
	Logic Programming for General Game-Playing [My Copy] (1993) by B. Pell posted to ai general_game_playing logic by stavros on 2006-03-16 18:57:44 as
	Practical Partition-Based Theorem Proving for Large Knowledge Bases [My Copy] In International Joint Conference on Artificial Intelligence (IJCAI03) by Bill Maccartney, Sheila Mcilraith, Eyal Amir, Tomas E. Uribe posted to logic resolution theorem_proving by stavros on 2006-03-16 01:51:00 as
	Resolution versus Search: Two Strategies for SAT [My Copy] Journal of Automated Reasoning, Vol. 24, No. 1/2. (2000), pp. 225-275. by Irina Rish, Rina Dechter posted to knowledge_compilation logic resolution theorem_proving by stavros on 2006-03-16 01:35:25 as
	A Survey on Knowledge Compilation [My Copy] AI Communications, Vol. 10, No. 3-4. (1997), pp. 137-150. by Marco Cadoli, Francesco M. Donini posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-08 17:30:55 as along with 1 person knowledge01
	Tractable Reasoning via Approximation [My Copy] Artificial Intelligence, Vol. 74, No. 2. (1995), pp. 249-310. by Marco Schaerf, Marco Cadoli posted to logic theorem_proving theory_approximation by stavros on 2006-03-07 22:41:35 as
	A knowledge compilation map [My Copy] (2002) by A. Darwiche, P. Marquis posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-02 18:00:19 as
	Knowledge compilation and theory approximation [My Copy] Journal of the ACM, Vol. 43, No. 2. (1996), pp. 193-224. by Bart Selman, Henry Kautz posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:15:22 as along with 2 people knowledge01 simon_o
	Approximate Knowledge Compilation: The First Order Case [My Copy] In AAAI/IAAI, Vol. 1 (1996), pp. 498-503. by Alvaro D. Val posted to knowledge_compilation logic theorem_proving by stavros on 2006-03-01 22:13:15 as
	Tractable Reasoning in Incomplete First-Order Knowledge Bases [My Copy] (2006) by Yongmei Liu posted to ai complexity databases incomplete_knowledge logic reasoning_about_action situation_calculus by stavros on 2006-02-07 23:37:29 as
	Fast Decision Procedures Based on Congruence Closure [My Copy] Journal of the ACM, Vol. 27, No. 2. (1 April 1980), pp. 356-364. by Greg Nelson, Derek C. Oppen posted to complexity congurence_closure logic by stavros on 2006-02-06 19:58:18 as along with 2 people dejan pmatos
	Non-effective Quantifier Elimination [My Copy] Mathematical Logic Quarterly, Vol. 47, No. 4. (2001), pp. 557-561. by Mihai Prunescu posted to complexity logic by stavros on 2006-02-06 19:16:38 as
	A theory of diagnosis from first principles [My Copy] Artificial Intelligence, Vol. 32, No. 1. (April 1987), pp. 57-95. by Raymond Reiter posted to diagnosis logic by stavros on 2006-02-04 02:25:36 as along with 2 people fheintz gvdh
	Characterizing diagnoses and systems [My Copy] Artificial Intelligence, Vol. 56, No. 2-3. (August 1992), pp. 197-222. by Johan de Kleer, Alan K. Mackworth, Raymond Reiter posted to diagnosis logic by stavros on 2006-02-04 02:22:39 as along with 2 people fheintz gvdh

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

Result page: 1 2 3 Next

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 logic [119 articles] Export

stavros's tags