Intelligence }
Download 1.9 Mb.
|
|
Publisher = {Oxford University Press}, Title = {Agency and Deontic Logic}, Year = {2001}}
Author = {Johan van Benthem}, Publisher = {{CSLI}}, address = {Stanford {U}niversity}, title = {Exploring Logical Dynamics}, Year = {1997}} @misc{vB, Author = {Johan van Benthem}, Date-Added = {2008-05-08 18:59:44 -0700}, Date-Modified = {2008-05-08 19:01:42 -0700}, Howpublished = {Forthcoming in a collection dedicated to John McCarthy. Available at \texttt{staff.science.uva.nl/$\sim$johan}}, Title = {Situation Calculus Meets Modal Logic}, Year = {2007}}
Author = {Philippe Balbiani and Andreas Herzig and Nicolas Troquard}, Date-Added = {2008-05-08 10:21:58 -0700}, Date-Modified = {2008-05-08 10:23:03 -0700}, Journal = {Journal of Philosophical Logic}, Title = {Alternative Axiomatics and Complexity of Deliberative {STIT} Theories}, Year = {2007}}
Author = {Ming Xu}, Date-Added = {2008-05-08 10:13:52 -0700}, Date-Modified = {2008-05-08 10:14:31 -0700}, Journal = {Journal of Symbolic Logic}, Number = {2}, Pages = {459-483}, Title = {On the Basic Logic of {STIT} with a Single Agent}, Volume = {60}, Year = {1995}} @article{eglesem-segerberg, Author = {Dag Eglesem}, Date-Added = {2008-05-08 09:51:47 -0700}, Date-Modified = {2008-05-08 09:52:43 -0700}, Journal = {Synthese}, Number = {1}, Pages = {153-177}, Title = {Intentions, Actions and Routines: A problem in Krister Segerberg's Theory of Action}, Volume = {85}, Year = {1990}}
Author = {Brian Chellas}, Date-Added = {2008-05-08 09:49:40 -0700}, Date-Modified = {2008-05-08 09:50:12 -0700}, Journal = {Journal of Philosophical Logic}, Pages = {563-571}, Title = {On Bringing It About}, Volume = {24}, Year = {1995}}
Author = {Krister Segerberg}, Date-Added = {2008-05-08 08:53:54 -0700}, Date-Modified = {2008-05-08 08:54:46 -0700}, Journal = {Journal of Philosophical Logic}, Pages = {327-347}, Title = {Bringing It About}, Volume = {18}, Year = {1989}}
Author = {David Harel and Dexter Kozen and Jerzy Tiuryn}, Date-Added = {2008-05-08 08:06:00 -0700}, Date-Modified = {2008-05-08 08:06:58 -0700}, Publisher = {The {MIT} Press}, Title = {Dynamic Logic}, Year = {2000}} @article{governatori, Author = {Guido Governatori and Antonino Rotolo}, Date-Added = {2008-05-07 22:44:56 -0700}, Date-Modified = {2008-05-07 22:45:53 -0700}, Doi = {http://dx.doi.org/10.1007/s10992-004-6368-1}, Journal = {Journal of Philosophical Logic}, Number = {4}, Pages = {403-431}, Title = {On the Axiomatization of Elgesem's Logic of Agency and Ability}, Volume = {34}, Year = {2005}, Bdsk-Url-1 = {http://dx.doi.org/10.1007/s10992-004-6368-1}}
Author = {Dag Elgesem}, Date-Added = {2008-05-07 22:06:28 -0700}, Date-Modified = {2008-05-07 22:07:35 -0700}, Journal = {Nordic Journal of Philosophical Logic}, Number = {2}, Pages = {1 - 46}, Title = {The modal logic of agency}, Volume = {2}, Year = {1997}} @article{segerberg-action, Author = {Krister Segerberg}, Date-Added = {2008-05-07 19:16:16 -0700}, Date-Modified = {2008-05-07 19:24:22 -0700}, Journal = {Studia Logica}, Number = {3-4}, Pages = {347 - 378}, Title = {Getting started: Beginnings in the logic of action}, Volume = {51}, Year = {1992}} @article{carr, Author = {David Carr}, Date-Added = {2008-05-07 19:01:40 -0700}, Date-Modified = {2008-05-07 19:02:29 -0700}, Journal = {Mind}, Pages = {394 - 409}, Title = {The Logic fo Knowing How and Ability}, Volume = {88}, Year = {1979}}
Author = {M. Bratman}, Date-Added = {2008-05-07 18:53:15 -0700}, Date-Modified = {2008-05-07 18:53:15 -0700}, Publisher = {Harvard University Press}, Title = {Intention, Plans and Practical Reason}, Year = {1987}}
@inproceedings{bdi, Author = {A.S. Rao and M.P. Georgeff}, Booktitle = {Proceedings of the First International Conference on Multi-agent Systems}, Date-Added = {2008-05-07 18:52:31 -0700}, Date-Modified = {2008-05-07 18:52:31 -0700}, Publisher = {AAAI Press}, Title = {{BDI} agents: From theory to practice}, Year = {1995}} @inproceedings{RG91, Author = {A.S. Rao and M.P. Georgeff}, Booktitle = {Proceedings of the Third Conference on Knowledge Representation and Reasoning}, Publisher = {Morgan Kaufmann}, Title = {Modeling Rational Agents within a {BDI}-Architecture}, Year = {1991}} @article{Schmidt.T.H, Author = {R. Schmidt and D. Tishkovsky and U. Hustadt}, Date-Added = {2008-05-07 18:52:18 -0700}, Date-Modified = {2008-05-07 18:52:18 -0700}, Journal = {Studia Logica}, Number = {3}, Pages = {381 -- 415}, Title = {Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic}, Volume = {78}, Year = {2004}} @article{DK.Verbrugge, Author = {B. Dunin-Keplicz and R. Verbrugge}, Date-Added = {2008-05-07 18:52:05 -0700}, Date-Modified = {2008-05-07 18:52:05 -0700}, Journal = {Fundamenta Informaticae}, Title = {Collective Intentions}, Volume = {51}, Year = {2002}} @inbook{Meyer.Veltman:Handbook, Author = {J.-J. Meyer and Frank Veltman}, Chapter = {Intelligent Agents and Common Sense Reasoining}, Date-Added = {2008-05-07 18:52:05 -0700}, Date-Modified = {2008-05-07 18:52:05 -0700}, Editor = {Patrick Blackburn and Johan van Benthem and Frank Wolter}, Publisher = {Elsevier}, Title = {Handbook of Modal Logic}, Year = {2007}}
Author = {Wiebe van der Hoek and B. van Linder and J.-J. Meyer}, Date-Added = {2008-05-07 18:52:05 -0700}, Date-Modified = {2008-05-07 18:52:05 -0700}, Journal = {Fundamenta Informaticae}, Pages = {1 -- 49}, Title = {Formalising Abilities and Opportunities of Agents}, Volume = {34}, Year = {1998}}
Author = {Wiebe van der Hoek and Michael Wooldridge}, Date-Added = {2008-05-07 18:52:05 -0700}, Date-Modified = {2008-05-07 18:52:05 -0700}, Journal = {Logic Journal of the {IGPL}}, Number = {2}, Pages = {135 -- 160}, Title = {Towards a Logic of Rational Agency}, Volume = {11}, Year = {2003}} @article{vdHJW, Author = {W. van der Hoek and W. Jamroga and M. Wooldridge}, Date-Added = {2008-05-07 18:51:45 -0700}, Date-Modified = {2008-05-07 18:51:45 -0700}, Journal = {Synthese}, Title = {Towards a Theory of Intention Revision}, Volume = {155}, Year = {2007}} @article{MvdHvL, Author = {J.-J. Meyer and W. van der Hoek and B. van Linder}, Date-Added = {2008-05-07 18:51:45 -0700}, Date-Modified = {2008-05-07 18:51:45 -0700}, Journal = {Artificial Intelligence}, Pages = {1 -- 40}, Title = {A logical approach to the dynamics of commitments}, Volume = {113}, Year = {1999}}
Author = {P. R. Cohen and H. Levesque}, Date-Added = {2008-05-07 18:51:45 -0700}, Date-Modified = {2008-05-07 18:51:45 -0700}, Journal = {Artificial Intelligence}, Number = {3}, Pages = {213 --- 261}, Title = {Intention is Choice with Committment }, Volume = {42}, Year = {1990}} @misc{IPSintention, Author = {Thomas Icard and Eric Pacuit and Yoav Shoham}, Howpublished = {Forthcoming}, Title = {A Dynamic Logic of Belief and Intention}, Year = {2009}}
Author = {G. Harman}, Booktitle = {Reasoning, Meaning and Mind}, Pages = {46-74}, Publisher = {Oxford University Press}, Title = {Practical Reasoning}, Year = {1999}}
Author = {G. Harman}, Title = {Change in View}, Publisher = {{MIT} Press}, Year = {1986}} @inproceedings{Velleman:2006et, Address = {Berlin/New York }, Author = {J.D. Velleman}, Booktitle = {Action in Context}, Editor = {A. Leist and H. Baumann}, Publisher = {de Gruyter/Mouton}, Title = {What Good is a Will?}, Year = {2008}}
Address = {Oxford}, Author = {M. Bratman}, Booktitle = {Spheres of Reason}, Editor = {J. Timmerman and J. Skorupski and S. Robertson}, Publisher = {Oxford University Press}, Title = {Intention, Belief, Practical, Theoretical}, Year = {2009}} @article{Yaffe:2004fk, Author = {G. Yaffe}, Date = {Spring/Fall}, Journal = {Philosophical Topics}, Number = {1-2}, Title = {Trying, Intending, and Attempted Crimes}, Volume = {32}, Year = {2004}} @phdthesis{roy2008tba, Author = {Olivier Roy}, School = {Institute for Logic, Language and Computation, University of Amsterdam}, Title = {Thinking before Acting: Intentions, Logic, Rational Choice}, Year = {2008}}
Author = {R.J. Wallace}, Publisher = {Oxford University Press}, Title = {Normativity and the Will}, Year = {2006}} @article{bratman:1991b, Author = {M. Bratman}, Journal = {Nous}, Title = {Practical Reasoning and Acceptance in a Context}, Year = 1991} @book{rott01, Address = {Oxford}, Author = {H. Rott}, Publisher = {ford University Press}, Series = {Oxford Logic Guides}, Title = {Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning}, Year = 2001} @article{horty01, Author = {J.F. Horty and M.E. Pollack}, Journal = {Artificial Intelligence}, Month = {April}, Number = 2, Pages = {199-220}, Title = {Evaluating new options in the context of existing plans}, Volume = {Volume 127}, Year = 2001} @article{RoySynthese, Author = {Olivier Roy}, Title = "Intentions and interactive transformations of decision problems", Journal = {Synthese}, Volume = {179}, number = 2, month= {July}, pages = {335--349, Year = 2009} @article{FriedmanHalpernJAIR1999, Author = {N. Friedman and J.Y. Halpern}, Title = {Modelling beliefs in dynamic systems. Part II: revision and update}, journal = {Journal of Artificial Intelligence Research}, Volume = 10, Pages = {117--167}, Year = 1999}
Author = {Michael Wooldridge}, Title = {An Introduction to MultiAgent Systems - Second Edition}, Publisher = {John Wiley \& Sons}, Year = 2009}
Author = {Andreas Herzig and Dominique Longin}, Title = {C\&L intention revisited}, Booktitle = {Proc.\ KR2004}, Year = 2004}
Author = {P. R. Cohen and J. Morgan and M. E. Pollack (eds.)}, Title = {Intentions in Communication}, Publisher = {{MIT} Press}, Year = 1990}
Title = {The {A}merican {M}odel {P}enal {C}ode: A Brief Overview}, Author = {P. H. Robinson and M. D. Dubber}, Journal = {New Criminal Law Review}, Volume = 10, Number = 3, Pages = {319 -- 341}, Month = August, Year = 2007}
Author = {Y. Shoham}, Title = {Logical Theories of Intention and the Database Perspective}, journal = {Journal of Philosophical Logic}, Volume = 38, Number =6, Year = 2009} @book{Bratman, Author = {M. Bratman}, Date-Added = {2008-05-07 18:53:15 -0700}, Date-Modified = {2008-05-07 18:53:15 -0700}, Publisher = {Harvard University Press}, Title = {Intention, Plans and Practical Reason}, Year = {1987}} @article{CL, Author = {P. R. Cohen and H. Levesque}, Date-Added = {2008-05-07 18:51:45 -0700}, Date-Modified = {2008-05-07 18:51:45 -0700}, Journal = {Artificial Intelligence}, Number = {3}, Pages = {213 --- 261}, Title = {Intention is Choice with Committment }, Volume = {42}, Year = {1990}} @article(DeanAIJ-87, author = {T.~Dean and D.~V.~McDermott}, title = {Temporal Data Base Management}, journal = "Artificial Intelligence", volume = {32}, number = {1}, pages = {1--55}, year = 1987 )
author = "R.~Fagin and J.~Halpern and Y.~Moses and M.~Vardi", title = "Reasoning about Knowledge", publisher = "{MIT} Press", year = "1994", ) @misc{vB, Author = {Johan van Benthem}, Date-Added = {2008-05-08 18:59:44 -0700}, Date-Modified = {2008-05-08 19:01:42 -0700}, Howpublished = {Forthcomin in a collection dedicated to John McCarthy}, Title = {Situation Calculus Meets Modal Logic}, Year = {2009}} @book{dynlogic, Author = {David Harel and Dexter Kozen and Jerzy Tiuryn}, Date-Added = {2008-05-08 08:06:00 -0700}, Date-Modified = {2008-05-08 08:06:58 -0700}, Publisher = {The {MIT} Press}, Title = {Dynamic Logic}, Year = {2000}}
Author = {Wiebe van der Hoek and Michael Wooldridge}, Date-Added = {2008-05-07 18:52:05 -0700}, Date-Modified = {2008-05-07 18:52:05 -0700}, Journal = {Logic Journal of the {IGPL}}, Number = {2}, Pages = {135 -- 160}, Title = {Towards a Logic of Rational Agency}, Volume = {11}, Year = {2003}} @misc{ShohamIntentionJPL, Author = {Yoav Shoham}, Howpublished = {Forthcoming in the {J}ournal of {P}hilosophical {L}ogic}, Title = {Considerations on Logical Theory of Intention}, Year = {2009}} @misc{IPSintention, Author = {Paul Icard and Eric Pacuit and Yoav Shoham}, Howpublished = {Forthcoming}, Title = {A Dynamic Logic of Belief and Intention}, Year = {2009}} @article{AGM, Author = {C. E. Alchourr\'on and P. G\"ardenfors and D. Makinson}, Journal = {Journal of Symbolic Logic}, Volume=50, Number = {2}, Pages = {510-530}, Title = {On the Logic of Theory Change: Partial Meet Contractions and Revision Functions}, Year = {1985}} @string{ipl = "Information Processing Letters"} @string{tcs = "Theoretical Computer Science"} @string{jacm = "Journal of the ACM"} @string{cacm = "Communications of the ACM"} @string{ic = "Information and Control"} @string{icomp = "Information and Computation"} @string{jcss = "Journal of Computer and System Science"} @string{dc = "Distributed Computing"} @string{ai = "Artificial Intelligence"} @string{scp = "Science of Computer Programming"} @string{lop = "Proc. of the Workshop on Logics of Programs"} @string{toplas = "ACM Trans. on Programming Languages and Systems"} @string{tocs = "ACM Trans. on Computer Systems"} @string{popl7 = "Proc. 7th ACM Symp. on Principles of Programming Languages"} @string{popl8 = "Proc. 8th ACM Symp. on Principles of Programming Languages"} @string{popl10 = "Proc. 10th ACM Symp. on Principles of Programming Languages"} @string{popl12 = "Proc. 12th ACM Symp. on Principles of Programming Languages"} @string{popl13 = "Proc. 13th ACM Symp. on Principles of Programming Languages"} @string{popl80 = "Proc. 7th ACM Symp. on Principles of Programming Languages"} @string{popl81 = "Proc. 8th ACM Symp. on Principles of Programming Languages"} @string{popl82 = "Proc. 9th ACM Symp. on Principles of Programming Languages"} @string{popl83 = "Proc. 10th ACM Symp. on Principles of Programming Languages"} @string{popl84 = "Proc. 12th ACM Symp. on Principles of Programming Languages"} @string{popl85 = "Proc. 13th ACM Symp. on Principles of Programming Languages"} @string{ftcs85 = "Proc. 15th International Conf. on Fault-Tolerant Computing Systems"} @string{aaai82 = "Proc. of AAAI-82"} @string{aaai83 = "Proc. of AAAI-83"} @string{aaai84 = "Proc. of AAAI-84"} @string{aaai85 = "Proc. of AAAI-85"} @string{aaai86 = "Proc. of AAAI-86"} @string{aaai87 = "Proc. of AAAI-87"} @string{aaai88 = "Proc. of AAAI-88"} @string{aaai90 = "Proc. of AAAI-90"} @string{aaai91 = "Proc. of AAAI-91"} @string{aaai92 = "Proc. of AAAI-92"} @string{aaai93 = "Proc. of AAAI-93"} @string{aaai94 = "Proc. of AAAI-94"} @string{aaai04 = "Proc. of AAAI-04"} @string{aaai06 = "Proc. of AAAI-06"} @string{stoc78 = "Proc. 10th ACM Symp. on Theory of Computing"} @string{stoc79 = "Proc. 11th ACM Symp. on Theory of Computing"} @string{stoc80 = "Proc. 12th ACM Symp. on Theory of Computing"} @string{stoc81 = "Proc. 13th ACM Symp. on Theory of Computing"} @string{stoc82 = "Proc. 14th ACM Symp. on Theory of Computing"} @string{stoc83 = "Proc. 15th ACM Symp. on Theory of Computing"} @string{stoc84 = "Proc. 16th ACM Symp. on Theory of Computing"} @string{stoc85 = "Proc. 17th ACM Symp. on Theory of Computing"} @string{stoc86 = "Proc. 18th ACM Symp. on Theory of Computing"} @string{stoc87 = "Proc. 19th ACM Symp. on Theory of Computing"} @string{stoc88 = "Proc. 20th ACM Symp. on Theory of Computing"} @string{stoc89 = "Proc. 21th ACM Symp. on Theory of Computing"} @string{stoc90 = "Proc. 22th ACM Symp. on Theory of Computing"} @string{focs76 = "Proc. 17th IEEE Symp. on Foundations of Computer Science"} @string{focs18 = "Proc. 18th IEEE Symp. on Foundations of Computer Science"} @string{focs78 = "Proc. 19th IEEE Symp. on Foundations of Computer Science"} @string{focs79 = "Proc. 20th IEEE Symp. on Foundations of Computer Science"} @string{focs80 = "Proc. 21st IEEE Symp. on Foundations of Computer Science"} @string{focs81 = "Proc. 22nd IEEE Symp. on Foundations of Computer Science"} @string{focs82 = "Proc. 23rd IEEE Symp. on Foundations of Computer Science"} @string{focs83 = "Proc. 24th IEEE Symp. on Foundations of Computer Science"} @string{focs84 = "Proc. 25th IEEE Symp. on Foundations of Computer Science"} @string{focs85 = "Proc. 26th IEEE Symp. on Foundations of Computer Science"} @string{focs86 = "Proc. 27th IEEE Symp. on Foundations of Computer Science"} @string{focs87 = "Proc. 28th IEEE Symp. on Foundations of Computer Science"} @string{focs88 = "Proc. 29th IEEE Symp. on Foundations of Computer Science"} @string{focs89 = "Proc. 30th IEEE Symp. on Foundations of Computer Science"} @string{focs90 = "Proc. 31th IEEE Symp. on Foundations of Computer Science"} @string{lics86 = "Proc. First IEEE Symp. on Logic in Computer Science"} @string{lics87 = "Proc. 2nd IEEE Symp. on Logic in Computer Science"} @string{icalp12 = "Proc. 12th International Colloq. on Automata, Languages, and Programming"} @string{lics1 = "Proc. 1st IEEE Symp. on Logics in Computer Science"} @string{podc2= "Proc. 2nd ACM Symp. on Principles of Distributed Computing"} @string{podc83= "Proc. 2nd ACM Symp. on Principles of Distributed Computing"} @string{podc3= "Proc. 3rd ACM Symp. on Principles of Distributed Computing"} @string{podc84= "Proc. 3rd ACM Symp. on Principles of Distributed Computing"} @string{podc4= "Proc. 4th ACM Symp. on Principles of Distributed Computing"} @string{podc85= "Proc. 4th ACM Symp. on Principles of Distributed Computing"} @string{podc5= "Proc. 5th ACM Symp. on Principles of Distributed Computing"} @string{podc86= "Proc. 5th ACM Symp. on Principles of Distributed Computing"} @string{podc87= "Proc. 6th ACM Symp. on Principles of Distributed Computing"} @string{podc88= "Proc. 7th ACM Symp. on Principles of Distributed Computing"} @string{pods87= "Proc. 6th ACM Symp. on Principles of Database Systems"} @string{ijcai81= "Proc. 7th International Joint Conference on Artificial Intelligence"} @string{ijcai83= "Proc. 8th International Joint Conference on Artificial Intelligence"} @string{ijcai85= "Proc. 9th International Joint Conference on Artificial Intelligence"} @string{ijcai87= "Proc. 10th International Joint Conference on Artificial Intelligence"} @string{ijcai89= "Proc. 11th International Joint Conference on Artificial Intelligence"} @string{ijcai91= "Proc. 12th International Joint Conference on Artificial Intelligence"} @string{ijcai93= "Proc. 13th International Joint Conference on Artificial Intelligence"} @string{ijcai95= "Proc. 14th International Joint Conference on Artificial Intelligence"} @string{ijcai05= "Proc. 19th International Joint Conference on Artificial Intelligence"} @string{ijcai07= "Proc. 20th International Joint Conference on Artificial Intelligence"} @string{know= "Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference"} @string{aaaiuncertain= "Proceedings of the 1987 AAAI Uncertainty in Artificial Intelligence Workshop"} @string{know88= "Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge"} @string{jair = " Journal of Artificial Intelligence Research " } @string{MK = "Morgan Kaufmann"} @string{SV = "Springer-Verlag"} @string{IBMR = "IBM Joutnal of Research" } @string{smd = "Soviet Mathematics Doklady"} @string{mnas = "Mathematical Notes of the Academy of Sciences of the USSR"}
@article{EswTar, AUTHOR="K.P. Eswaran and R.E. Tarjan", TITLE="Augmentation Problems", JOURNAL = "Siam Journal of Computing", YEAR = 1976, VOLUME = 5, PAGES = "653--665" }
author = {H.W. Kuhn}, title = {Extensive games and the problem of information}, journal = {Annals of Mathematics Studies}, year = {1953}, volume = {48} } @INCOLLECTION{hartbehave, author = {S. Hart}, title = {games in extensive and strategic forms}, chapter = {2}, pages = {19--40}, publisher = {North Holland, Amsterdam}, year = {1992}, editor= {R.J. Aumann and S. Hart}, Download 1.9 Mb. Share with your friends:
|