stavros's incomplete_knowledge [40 articles] Export

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

Hide details

	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
	OR-SML: A Functional Database Programming Language for Disjunctive Information and Its Applications [My Copy] In Proceedings of 5th International Conference on Database and Expert Systems Applications (DEXA'94), Vol. 856 (1994), pp. 641-650. by Elsa L. Gunter, Leonid Libkin edited by D. Karagiannis posted to databases incomplete_knowledge by stavros on 2008-02-12 19:49:45 as
	A Feasible Approach to Disjunctive Knowledge in Situation Calculus [My Copy] (2005) by Stavros Vassos posted to ai incomplete_knowledge reasoning_about_action situation_calculus by stavros on 2007-11-30 22:12:48 as along with 1 person rfk
	ULDBs: databases with uncertainty and lineage [My Copy] In VLDB'2006: Proceedings of the 32nd international conference on Very large data bases (2006), pp. 953-964. by Omar Benjelloun, Anish D. Sarma, Alon Halevy, Jennifer Widom posted to incomplete_knowledge dabases by stavros on 2007-01-19 23:18:07 as
	10(106) Worlds and Beyond: Efficient Representation and Processing of Incomplete Information [My Copy] (2006) by Lyublena Antova, Christoph Koch, Dan Olteanu posted to databases incomplete_knowledge possible_values by stavros on 2006-10-02 14:51:21 as
	A knowledge-based representation for effective acting, sensing, and planning [My Copy] (2006) by Ron Petrick posted to architecture incomplete_knowledge knowledge planning reasoning_about_action situation_calculus system by stavros on 2006-09-01 21:58:53 as along with 1 person rfk
	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
	Compiling Uncertainty Away: Solving Conformant Planning Problems Using a Classical Planner (Sometimes). [My Copy] In Proc. 21st Nat. Conf. on Artificial Intelligence (AAAI-06) (2006) by H. Palacios, H. Geffner posted to ai incomplete_knowledge planning by stavros on 2006-06-02 01:19:21 as
	$10^10^6$ Worlds and Beyond: Efficient Representation and Processing of Incomplete Information [My Copy] (2006) by Lyublena Antova, Christoph Koch, Dan Olteanu posted to ai databases incomplete_knowledge by stavros on 2006-05-15 04:25:13 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
	Conformant Graphplan [My Copy] In AAAI '98/IAAI '98: Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence (1998), pp. 889-896. by David E. Smith, Daniel S. Weld posted to ai incomplete_knowledge planning by stavros on 2006-05-14 01:02:18 as
	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
	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
	Understanding planning with incomplete information and sensing [My Copy] Artificial Intelligence, Vol. 164, No. 1-2. (May 2005), pp. 171-208. by Marcelo Oglietti posted to ai incomplete_knowledge logi planning by stavros on 2006-04-27 01:01:58 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
	Obtaining Complete Answers from Incomplete Databases [My Copy] In The VLDB Journal (1996), pp. 402-412. by Alon Y. Levy posted to databases incomplete_knowledge by stavros on 2006-04-11 19:44:20 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
	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
	A FLUX Agent for the Wumpus World [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (August 2005) by Michael Thielscher posted to agent ai depth fluent_calculus flux games incomplete_knowledge wumpus by stavros on 2005-12-05 19:47:47 as
	An Approach to Planning with Incomplete Information [My Copy] In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (1992), pp. 115-125. by Oren Etzioni, Steve Hanks, Daniel Weld, Denise Draper, Neal Lesh, Mike Williamson edited by William posted to ai depth incomplete_knowledge logic planning by stavros on 2005-11-22 03:01:11 as
	The Wumpus World in IndiGolog: A Preliminary Report [My Copy] In In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) (2005), pp. 90-95. by Sebastian Sardina, Stavros Vassos posted to agent ai cogrobo depth games golog incomplete_knowledge logic reasoning_about_action situation_calculus system wumpus by stavros on 2005-11-05 04:31:02 as
	Logic Programming and Reasoning about actions [My Copy] In Handbook of Temporal reasoning in AI (2005) by C. Baral, M. Gelfond edited by Michael Fisher, Dov Gabbay, Lluis Vila posted to ai causality default depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-10-14 18:04:05 as
	Forget It! [My Copy] In Working Notes, AAAI Fall Symposium on Relevance (1994), pp. 154-159. by Fangzhen Lin, Raymond Reiter edited by Russell Greiner, Devika Subramanian posted to ai frame_problem incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-10-12 01:01:33 as along with 1 person lyongu
	An incremental interpreter for high-level programs with sensing [My Copy] Technical Report (1998) by Giuseppe De Giacomo, Hector J. Levesque posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 01:09:48 as
	An incremental interpreter for high-level programs with sensing [My Copy] Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter (1999), pp. 86-102. by Giuseppe De Giacomo, Hector J. Levesque edited by Hector J. Levesque, Fiorra Pirri posted to agent ai depth golog incomplete_knowledge logic situation_calculus system by stavros on 2005-10-04 00:58:58 as along with 1 person fheintz
	What is Planning in the Presence of Sensing? [My Copy] In The Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96 (August 1996), pp. 1139-1146. by Hector Levesque posted to ai depth incomplete_knowledge logic reasoning_about_action by stavros on 2005-10-03 19:58:36 as
	Knowledge Equivalence in Combined Action Theories [My Copy] In Proceedings of KR-2002 (April 2002) by Ron Petrick, Hector Levesque posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 01:01:30 as
	Making Them Behave: Cognitive Models for Computer Animation [My Copy] (1998) by John Funge posted to ai animation architecture games incomplete_knowledge knowledge logic system by stavros on 2005-09-22 00:58:39 as
	Representing knowledge within the situation calculus using intervalvalued epistemic fluents [My Copy] (1999) by J. Funge posted to ai depth games incomplete_knowledge knowledge logic by stavros on 2005-09-22 00:56:18 as along with 1 person Sergi
	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 3 people and 1 group dexter_shen jog fsautomata WebTech
	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic [My Copy] In Proc. of 12th International Symposium on Methodologies for Intelligent Systems (ISMIS), No. 1932. (2000), pp. 515-524. by Robert Demolombe, Maria posted to ai depth incomplete_knowledge knowledge logic reasoning_about_action situation_calculus by stavros on 2005-09-22 00:05:27 as along with 1 person rfk
	A Logic of Limited Belief for Reasoning with Disjunctive Information [My Copy] In Proc. KR-04 (June 2004), pp. 587-597. by Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque posted to ai depth implicit_belief incomplete_knowledge logic by stavros on 2005-09-21 19:50:55 as
	Evaluation-based reasoning with disjunctive information in first-order knowledge bases [My Copy] In Proceedings of KR-2002, Eighth International Conference on Principles of Knowledge Representation and Reasoning (2002) by Gerhard Lakemeyer, Hector J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:40:04 as
	A completeness result for reasoning with incomplete first-order knowledge bases [My Copy] In Proceedings of KR-1998, Sixth International Conference on Principles of Knowledge Representation and Reasoning (June 1998) by H. J. Levesque posted to ai databases depth incomplete_knowledge logic by stavros on 2005-09-21 19:21:17 as
	Classical Negation in Logic Programs and Disjunctive Databases [My Copy] New Generation Computing, Vol. 9, No. 3/4. (1991), pp. 365-386. by Michael Gelfond, Vladimir Lifschitz posted to answer_set depth incomplete_knowledge logic logic_programming by stavros on 2005-09-19 22:40:47 as along with 1 person baisemain
	Representing Action and Change by Logic Programs [My Copy] Journal of Logic Programming, Vol. 17, No. 2/3&4. (1993), pp. 301-321. by Michael Gelfond, Vladimir Lifschitz posted to ai answer_set depth frame_problem incomplete_knowledge logic logic_programming nonmonotonic reasoning_about_action by stavros on 2005-09-16 19:41:56 as

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

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 incomplete_knowledge [40 articles] Export

stavros's tags