aristodemos's planning [109 articles] Export Sort

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

Hide details

	Optimality Properties of Planning via Petri Net Unfolding: A Formal Analysis [My Copy] In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) (September 2009) by Sarah Hickmott, Sebastian Sardina edited by Alfonso Gerevini, Adele Howe posted to mylib planning ssardina by aristodemos on 2009-07-21 03:22:52 as
	In defense of PDDL axioms [My Copy] Artificial Intelligence Journal, Vol. 168, No. 1. (2005), pp. 38-69. by Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel posted to mylib pddl planning by aristodemos on 2009-07-21 03:22:52 as
	Directed Unfolding of Petri Nets [My Copy] In Transactions on Petri Nets and Other Models of Concurrency I, Vol. 5100 (2008), pp. 172-198. by Blai Bonet, Patrik Haslum, Sarah Hickmott, Sylvie Thiébaux posted to mylib petri_nets planning by aristodemos on 2009-06-25 02:46:49 as
	Reasoning about partially ordered events [My Copy] Artif. Intell., Vol. 36, No. 3. (1988), pp. 375-399. by T. Dean, M. Boddy posted to complexity kr mylib planning by aristodemos on 2009-04-27 04:22:17 as
	On the nature and role of modal truth criteria in planning [My Copy] Artificial Intelligence, Vol. 82, No. 1-2. (April 1996), pp. 129-155. by S. Kambhampati posted to complexity mylib planning by aristodemos on 2009-04-27 04:21:23 as along with 1 person msakai
	Planning with Time Limits in BDI Agent Programming Languages [My Copy] In In Proceedings of Computing: The Australasian Theory Symposium (CATS'07) (January 2007) by Lavindra, Anthony Dekker, James Harland posted to ao_programming bdi mylib planning by aristodemos on 2009-04-19 12:39:30 as
	Planning via Petri Net Unfolding [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (2007), pp. 1904-1911. by Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford White posted to mylib planning by aristodemos on 2009-04-17 06:05:37 as
	PDDL2.1: An extension to PDDL for expressing temporal planning domains [My Copy] Journal of Artificial Intelligence Research, Vol. 20 (2003) by Maria Fox, Derek Long posted to mylib pddl planning by aristodemos on 2009-04-10 06:46:39 as along with 1 person luizcantoni
	Bridging the gap between planning and scheduling [My Copy] Knowl. Eng. Rev., Vol. 15, No. 1. (2000), pp. 47-83. by David E. Smith, Jeremy Frank, Ari K. Jónsson posted to mylib planning by aristodemos on 2009-03-17 21:55:50 as
	Planning as search: a quantitative approach [My Copy] Artif. Intell., Vol. 33, No. 1. (September 1987), pp. 65-68. by Richard E. Korf posted to mylib planning by aristodemos on 2009-03-12 01:54:26 as along with 1 person bigga
	Tractable plan existence does not imply tractable plan generation [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 22, No. 3-4. (1998), pp. 281-296. by Peter Jonsson, Christer Bäckström posted to complexity mylib planning by aristodemos on 2009-03-06 08:54:45 as
	On the size of reactive plans [My Copy] In In Proc. of AAAI 96 (1996), pp. 1182-1187. by Peter Jonsson, Christer Bäckström posted to complexity mylib planning by aristodemos on 2009-02-25 23:34:11 as
	Planning with preferences [My Copy] AI Magazine, Vol. 29, No. 4. (December 2008), pp. 25-36. by Jorge A. Baier, Sheila A. Mcilraith posted to mylib planning preferences sitcal by aristodemos on 2009-02-21 08:52:53 as along with 1 person shakilmkhan
	An Improvement of McMillan's Unfolding Algorithm [My Copy] Formal Methods in System Design, Vol. 20, No. 3. (2002), pp. 285-310. by Javier Esparza, Stefan Römer, Walter Vogler posted to mylib planning by aristodemos on 2009-02-15 09:12:35 as
	Using temporal logics to express search control knowledge for planning [My Copy] Artificial Intelligence, Vol. 116, No. 1-2. (2000), pp. 123-191. by Fahiem Bacchus, Froduald Kabanza posted to mylib planning by aristodemos on 2009-02-15 09:03:02 as along with 1 person redkylin
	Automated Composition of Semantic Web Services into Executable Processes [My Copy] In Proceedings of the International Semantic Web Conference (ISWC) (2004), pp. 380-394. by Paolo Traverso, Marco Pistore posted to mylib planning web_services by aristodemos on 2009-02-01 09:45:31 as
	First Principles Planning in BDI Systems [My Copy] In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS) (May 2009) by Lavindra, Sebastian Sardina, Lin Padgham posted to agents bdi mylib planning ssardina by aristodemos on 2009-02-01 09:45:31 as
	Complexity of Planning with Partial Observability [My Copy] In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) (2004), pp. 345-354. by Jussi Rintanen posted to complexity mylib planning by aristodemos on 2009-02-01 09:45:31 as
	On Planning with Programs that Sense [My Copy] In Proceedings of Principles of Knowledge Representation and Reasoning (KR) (June 2006), pp. 492-502. by Jorge A. Baier, Sheila Mcilraith posted to mylib planning by aristodemos on 2009-02-01 09:45:31 as
	Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners [My Copy] In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) (September 2007) by Jorge A. Baier, Christian Fritz, Sheila A. Mcilraith posted to mylib planning sitcalc by aristodemos on 2009-02-01 09:45:31 as
	ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond [My Copy] In Proceedings of Principles of Knowledge Representation and Reasoning (KR) (September 2008) by Christian Fritz, Jorge A. Baier, Sheila A. Mcilraith posted to golog mylib planning sitcal by aristodemos on 2009-02-01 09:45:31 as
	Realizing Multiple Autonomous Agents through Scheduling of Shared Devices [My Copy] In Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) (2008), pp. 304-312. by Sebastian Sardina, Giuseppe De Giacomo edited by Jussi Rintanen, Bernhard Nebel, Christopher J. Beck, Eric Hansen posted to composition mylib planning ssardina by aristodemos on 2009-02-01 09:45:30 as
	Augmenting BDI Agents with Deliberative Planning Techniques [My Copy] In Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS) (2006), pp. 113-127. by Andrzej Walczak, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf posted to bdi mylib planning by aristodemos on 2009-02-01 09:45:29 as
	Planning and Reacting in Uncertain and Dynamic Environments [My Copy] Journal of Experimental and Theoretical AI, Vol. 7, No. 1. (1995), pp. 197-227. by David E. Wilkins, Karen L. Myers, John D. Lowrance, Leonard P. Wesley posted to ao_programming bdi mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks [My Copy] Journal of Artificial Intelligence Research, Vol. 24 (2005), pp. 685-758. by Jörg Hoffmann posted to mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach [My Copy] In Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) (2001), pp. 226-239. by Tran C. Son, Chitta Baral, Sheila A. Mcilraith posted to logic_programming mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Hierarchical Task Network Planning as Satisfiability [My Copy] In Proceedings of the European Conference on Planning (ECP) (1999), pp. 122-134. by Amol D. Mali posted to htn mylib planning sat by aristodemos on 2009-02-01 09:45:28 as
	Task-Decomposition via Plan Parsing [My Copy] In Proceedings of the National Conference on Artificial Intelligence (AAAI) (1994), pp. 1117-1122. by Anthony C. Barrett, Daniel S. Weld posted to htn mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning [My Copy] Artificial Intelligence Journal, Vol. 76, No. 1-2. (1995), pp. 167-238. by Subbarao Kambhampati, Craig A. Knoblock, Qiang Yang posted to mylib planning by aristodemos on 2009-02-01 09:45:28 as
	UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning [My Copy] In Proceedings of the International Conference on AI Planning & Scheduling (AIPS) (1994), pp. 249-254. by Kutluhan Erol, James A. Hendler, Dana S. Nau posted to htn mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Can AI planners solve practical problems? [My Copy] Computational Intelligence, Vol. 6 (1990), pp. 232-246. by David E. Wilkins posted to mylib planning by aristodemos on 2009-02-01 09:45:28 as
	A Call for Knowledge-Based Planning [My Copy] The AI Magazine, Vol. 22, No. 1. (2001), pp. 99-115. by David E. Wilkins, Mari Desjardins posted to mylib planning by aristodemos on 2009-02-01 09:45:28 as
	New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains [My Copy] In Proceedings of the International Conference on AI Planning & Scheduling (AIPS) (2000), pp. 206-215. by Amnon Lotem, Dana S. Nau posted to htn mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Are We Comparing Dana and Fahiem or SHOP and TLPlan? A Critique of the Knowledge-based Planning Track at ICP [My Copy] (2002) by Subbarao Kambhampati posted to mylib planning by aristodemos on 2009-02-01 09:45:28 as
	Pushing the Envelope: Planning, Propositional Logic and Stochastic Search [My Copy] In Proceedings of the National Conference on Artificial Intelligence (AAAI) (1996), pp. 1194-1201. by Henry A. Kautz, Bart Selman posted to mylib planning sat search by aristodemos on 2009-02-01 09:45:27 as
	Fast planning through planning graph analysis [My Copy] Artificial Intelligence Journal, Vol. 90, No. 1-2. (1997), pp. 281-300. by Avrim L. Blum, Merrick L. Furst posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Reviving Partial Order Planning [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (2001), pp. 459-466. by Xuanlong Nguyen, Subbarao Kambhampati edited by Bernhard Nebel posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Planning Graph Heuristics for Belief Space Search [My Copy] Journal of Artificial Intelligence Research, Vol. 26 (2006), pp. 35-99. by Daniel Bryce, Subbarao Kambhampati, David E. Smith posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Planning as satisfiability [My Copy] In Proceedings of the European Conference in Artificial Intelligence (ECAI) (1992), pp. 359-363. by Henry A. Kautz, Bart Selman posted to mylib planning sat by aristodemos on 2009-02-01 09:45:27 as
	SatPlan: Planning as Satisfiability [My Copy] In Abstracts of the 5th International Planning Competition (2006) by Henry A. Kautz, Bart Selman, Jörg Hoffmann posted to mylib planning sat by aristodemos on 2009-02-01 09:45:27 as along with 1 person msakai
	The FF Planning System: Fast Plan Generation Through Heuristic Search [My Copy] Journal of Artificial Intelligence Research, Vol. 14 (2001), pp. 253-302. by Jörg Hoffmann, Bernhard Nebel posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	FF: The Fast-Forward Planning System [My Copy] The AI Magazine, Vol. 2, No. 3. (2001), pp. 57-62. by Jörg Hoffmann posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Planning as Heuristic Search [My Copy] Artificial Intelligence Journal, Vol. 129, No. 1-2. (2001), pp. 5-33. by Blai Bonet, Hector Geffner posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Perspectives on artificial intelligence planning [My Copy] In Proceedings of the National Conference on Artificial Intelligence (AAAI) (2002), pp. 1013-1023. by Hector Geffner posted to mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Hybrid Planning for Partially Hierarchical Domains [My Copy] In Proceedings of the National Conference on Artificial Intelligence (AAAI) (1998), pp. 882-888. by Subbarao Kambhampati, Amol D. Mali, Biplav Srivastava posted to htn mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Encoding HTN Planning in Propositional Logic [My Copy] In Proceedings of the International Conference on AI Planning & Scheduling (AIPS) (1998), pp. 190-198. by Amol D. Mali, Subbarao Kambhampati posted to htn mylib planning by aristodemos on 2009-02-01 09:45:27 as
	Using Planning Graphs for Solving HTN Planning Problems [My Copy] In Proceedings of the National Conference on Artificial Intelligence (AAAI) (1999), pp. 534-540. by Amnon Lotem, Dana S. Nau, James A. Hendler posted to htn mylib planning by aristodemos on 2009-02-01 09:45:27 as
	A General Framework for Expressing Preferences in Causal Reasoning and Planning [My Copy] Journal of Logic and Computation, Vol. 17, No. 5. (2007), pp. 871-907. by James P. Delgrande, Torsten Schaub, Hans Tompits posted to mylib planning preferences by aristodemos on 2009-02-01 09:45:27 as
	Planning with Qualitative Temporal Preferences [My Copy] In Proceedings of Principles of Knowledge Representation and Reasoning (KR) (2006), pp. 134-144. by Meghyn Bienvenu, Christian Fritz, Sheila A. Mcilraith posted to mylib planning preferences by aristodemos on 2009-02-01 09:45:27 as
	Planning with preferences using logic programming [My Copy] TPLP, Vol. 6, No. 5. (2006), pp. 559-607. by Tran C. Son, Enrico Pontelli posted to logic_programming mylib planning preferences by aristodemos on 2009-02-01 09:45:27 as

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

Result page: 1 2 3 Next

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

mylib	623
planning	109
bdi	70
sitcalc	60
ao_programming	51
agents	50
rac	40
ssardina	27
golog	18
htn	15
knowledge	13
decision_theory	13
complexity	12
logic_programming	11
agentspeak	11
composition	11
learning	11
3apl	10
kr	10
indigolog	7
web_services	7
nmr	7
macro_actions	6
sat	6
verification	5
preferences	5
sitcal	5
pdl	5
databases	4
ao_progamming	4
argumentation	3
model_checking	3
execution	3
logic	3
synthesis	3
abstraction	3
evcalc	3
pddl	3
prolog	3
prs	3
belief_revision	3
implementation	2
theory	2
ssardina-old	2
programming	2
petri_nets	2
ao_oriented	2
reasoning	2
goals	2
of	1
search	1
ssardina-future	1
genai	1
golo	1
qualitative_spatial_reasoning	1
robotics	1
fluentcalc	1
games	1
reading	1
ability	1
intentionality	1
file-import-09-11-09	1
ctl	1
temporal_logic	1
mathematical	1
cs	1
cstheory	1
thesis	1
ssardina-extra	1
foundations	1

aristodemos's planning [109 articles] Export Sort

aristodemos's tags