aristodemos's library 632 articles Export

	Theoretical and experimental results on the goal-plan tree problem [My Copy] In AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems (2008), pp. 1379-1382. by Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini posted to bdi ao_programming by aristodemos on 2009-11-12 01:23:42 as
	How Qualitative Spatial Reasoning Can Improve Strategy Game AIs [My Copy] IEEE Intelligent Systems, Vol. 17, No. 4. (2002), pp. 25-30. by Kenneth D. Forbus, James V. Mahoney, Kevin Dill posted to reasoning qualitative_spatial_reasoning games by aristodemos on 2009-11-09 21:20:46 as along with 1 person rprince
	From Verification to Control: Dynamic Programs for Omega-Regular Objectives [My Copy] In 16th Annual IEEE Symposium on Logic in Computer Science (LICS) (2001), pp. 279-290. by Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar posted to file-import-09-11-09 by aristodemos on 2009-11-09 01:25:20 as
	Bridging the Gap between Fair Simulation and Trace Inclusion [My Copy] Computer Aided Verification (2003), pp. 381-393. by Yonit Kesten, Nir Piterman, Amir Pnueli posted to verification theory by aristodemos on 2009-11-09 01:20:22 as
	NoA - A Normative Agent Architecture [My Copy] (2003), pp. 1465-1466. by Martin J. Kollingbaum, Timothy J. Norman posted to mylib ao_programming agents by aristodemos on 2009-09-03 02:17:48 as
	Commitment and Effectiveness of Situated Agents [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (1991), pp. 82-88. by David Kinny, Michael P. Georgeff posted to mylib bdi ao_programming by aristodemos on 2009-08-28 08:12:13 as
	An Embedding of ConGolog in 3APL [My Copy] In Proceedings of the European Conference in Artificial Intelligence (ECAI) (2000), pp. 558-562. by Koen V. Hindriks, Yves Lespérance, Hector J. Levesque posted to sitcalc mylib golog ao_programming 3apl by aristodemos on 2009-08-28 08:12:13 as
	IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents [My Copy] Multi-Agent Programming: (2009), pp. 31-72. by Giuseppe Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardina posted to agents ao_progamming golog rac sitcal by aristodemos on 2009-08-06 01:48:50 as along with 1 person shakilmkhan
	Temporal and modal logic [My Copy] (1990), pp. 995-1072. by E. Allen Emerson posted to logic by aristodemos on 2009-08-03 00:40:54 as along with 4 people shakilmkhan pirapira schuh bunge
	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) (May 2009), pp. 135-140. by Stavros Vassos, Sebastian Sardina, Hector Levesque edited by Gerhard Lakemeyer, Leora Morgenstern, Mary A. Williams posted to mylib rac sitcalc ssardina by aristodemos on 2009-07-26 02:50:24 as
	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
	GologSpeak: Golog Speaks the BDI Language [My Copy] In Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS) (May 2009) by Sebastian Sardina, Yves Lespérance posted to ao_programming bdi golog mylib sitcalc ssardina by aristodemos on 2009-07-21 03:22:52 as along with 1 person shakilmkhan
	Composition of ConGolog Programs [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (July 2009), pp. 904-910. by Sebastian Sardina, Giuseppe De Giacomo edited by Craig Boutilier posted to composition golog mylib rac sitcalc ssardina by aristodemos on 2009-07-21 03:22:52 as along with 1 person shakilmkhan
	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
	On Ability to Autonomously Execute Agent Programs with Sensing [My Copy] In Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS) (May 2004), pp. 1522-1523. by Sebastian Sardina, Giuseppe . Giacomo, Yves Lespérance, Hector J. Levesque posted to mylib sitcalc ssardina by aristodemos on 2009-07-21 03:22:51 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
	A Theorem Concerning Syntactical Treatments Of Nonidealized Belief [My Copy] Synthese, Vol. 129, No. 3. (1 December 2001), pp. 335-341. by Charles B. Cross posted to knowledge kr by aristodemos on 2009-06-18 02:34:21 as
	Knowledge, action, and the frame problem [My Copy] Artif. Intell., Vol. 144, No. 1-2. (2003), pp. 1-39. by Richard B. Scherl, Hector J. Levesque posted to knowledge rac sitcalc by aristodemos on 2009-06-18 02:32:31 as along with 2 people shakilmkhan fheintz
	On the fixpoints of nondeterministic recursive definitions [My Copy] J. Comput. Syst. Sci., Vol. 29, No. 1. (1984), pp. 58-79. by Tsong Y. Chen posted to mylib theory by aristodemos on 2009-06-15 01:24:17 as
	Transforming acyclic programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 4. (1994), pp. 1081-1096. by Annalisa Bossi, Sandro Etalle posted to logic_programming mylib prolog by aristodemos on 2009-06-15 00:58:47 as
	PDL-based framework for reasoning about actions [My Copy] Topics in Artificial Intelligence (1995), pp. 103-114. by Giuseppe De Giacomo, Maurizio Lenzerini posted to mylib pdl rac by aristodemos on 2009-06-09 06:59:22 as
	Reinforcement Learning: A Survey [My Copy] Journal of Artificial Intelligence Research, Vol. 4 (1996), pp. 237-285. by Leslie P. Kaelbling, Michael L. Littman, Andrew P. Moore posted to agents decision_theory learning mylib by aristodemos on 2009-06-09 06:23:59 as along with 25 people and 5 groups naveer merdem truonghuy yarapavan KurtSteinkraus eldan unnonouno dep vaasu cyph3r davidmihalcik craigtalbert damcci hllee lop afoerster gagliol sugarexpletive mzygmunt dowlingj josepe docB bach tdahl Tominator Glimcher_Lab Netmob P2P SensorNetworks kickOffTUG-Robocup
	Propositional Dynamic Logic of Regular Programs [My Copy] Journal of Computer and System Sciences, Vol. 18, No. 2. (1979), pp. 194-211. by Michael J. Fischer, Richard E. Ladner posted to complexity mylib pdl by aristodemos on 2009-05-18 03:59:03 as
	A Near-Optimal Method for Reasoning about Action [My Copy] Journal of Computer and System Sciences, Vol. 20, No. 2. (1980), pp. 231-254. by Vaughan R. Pratt posted to complexity mylib pdl by aristodemos on 2009-05-18 03:49:04 as
	A practical decision method for propositional dynamic logic (Preliminary Report) [My Copy] In Proceedings of the tenth annual ACM symposium on Theory of computing (STOC '78) (1978), pp. 326-337. by V. R. Pratt posted to mylib pdl by aristodemos on 2009-05-18 03:44:05 as
	IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents [My Copy] In Multi-Agent Programming: Languages, Platforms and Applications (2009) by Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardina edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal posted to ao_programming golog mylib rac sitcalc ssardina by aristodemos on 2009-05-16 02:05:47 as along with 1 person shakilmkhan
	Directed Unfolding: Reachability Analysis of Concurrent Systems and Applications to Automated Planning [My Copy] (2008) by Sarah Hickmott posted to mylib by aristodemos on 2009-05-16 02:05:47 as
	Simulation-based Techniques for Automated Service Composition [My Copy] (2008) by Fabio Patrizi posted to mylib by aristodemos on 2009-05-16 02:05:47 as
	Realising Deterministic Behaviour from Multiple Non-Deterministic Behaviours [My Copy] In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (July 2009) by Thomas Stroeder, Maurice Pagnucco posted to composition mylib by aristodemos on 2009-05-16 02:05:47 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
	Synthesis from Component Libraries [My Copy] In Proceedings of the International Confernece on Foundations of Software Science and Computational Structures (FOSSACS), Vol. 5504 (2009), pp. 395-409. by Yoad Lustig, Moshe Y. Vardi posted to composition mylib synthesis 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
	Monitors: an operating system structuring concept [My Copy] Communications of the ACM, Vol. 17, No. 10. (October 1974), pp. 549-557. by Charles A. Hoare posted to cs mylib by aristodemos on 2009-04-15 05:00:07 as along with 5 people and 1 group RobotAdam amorkan clconway rlai NSumner MITCCI
	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
	Automated Test Case Generation for BDI Agents [My Copy] Autonomous Agents and Multi-Agent Systems, Vol. 2, No. 4. (1999), pp. 311-332. by Chi K. Low, T. Y. Chen, Ralph Rónnquist posted to agents ao_programming bdi mylib by aristodemos on 2009-03-07 03:12:20 as
	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
	Synthesis of Hierarchical Finite-State Controllers for POMDPs [My Copy] Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS-03) (June 2003) by Eric A. Hansen, Rong Zhou posted to abstraction decision_theory synthesis by aristodemos on 2009-02-15 09:23:41 as along with 2 people noel shibu184
	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
	Automatic verification of finite-state concurrent systems using temporal logic specifications [My Copy] ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 8, No. 2. (April 1986), pp. 244-263. by E. M. Clarke, E. A. Emerson, A. P. Sistla posted to model_checking mylib temporal_logic verification by aristodemos on 2009-02-15 08:01:44 as along with 5 people and 1 group dwei98 streetlightios hmeyer pintman mccrimson gk-intern
	2APL: a practical agent programming language [My Copy] Autonomous Agents and Multi-Agent Systems, Vol. 16, No. 3. (22 June 2008), pp. 214-248. by Mehdi Dastani posted to agents bdi mylib by aristodemos on 2009-02-15 04:41:58 as along with 1 person shakilmkhan
	Learning in BDI Multi-agent Systems [My Copy] Proceedings of Computational Logic in Multi-Agent Systems, Vol. 3259 (2005), pp. 218-233. by Alejandro Guerra-Hernández, Amal Fallah-Seghrouchni, Henry Soldano posted to agents bdi learning mylib by aristodemos on 2009-02-14 23:50:00 as along with 1 person Maderlock
	Case-Based BDI agents: An Effective Approach to Intelligent Search on the WWW [My Copy] In Intelligent Agents in Cyberspace, AAAI Spring Symposium (1999) by Olivia Cindy, Chee-Fon Chang, Carlos F. Enguix, Aditya K. Ghose posted to agents bdi learning mylib by aristodemos on 2009-02-14 23:35:59 as
	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

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

Result page: 1 2 3 4 5 6 7 8 9 10 Next

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

aristodemos's library 632 articles Export

aristodemos's tags