Survey on Goal-driven Architectures
暂无分享,去创建一个
[1] Charles L. Forgy,et al. OPS5 user's manual , 1981 .
[2] Paolo Traverso,et al. Automated Planning: Theory & Practice , 2004 .
[3] Thomas Dean,et al. Automated planning , 1996, CSUR.
[4] John E. Laird,et al. The soar papers : research on integrated intelligence , 1993 .
[5] Egon Börger,et al. Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .
[6] Betty H. C. Cheng,et al. Using Formal Methods to Construct a Software Component Library , 1993, ESEC.
[7] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[8] Dieter Fensel,et al. The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.
[9] Michael Wooldridge,et al. Agent-Oriented Software Engineering , 1999, ATAL.
[10] Ian Horrocks,et al. OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..
[11] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[12] Yoav Shoham,et al. Agent-Oriented Programming , 1992, Artif. Intell..
[13] David J. Israel,et al. Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..
[14] John R. Anderson. Cognitive Psychology and Its Implications , 1980 .
[15] John McCarthy,et al. From Here to Human-Level AI , 1996, KR.
[16] Douglas B. Moran,et al. The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..
[17] Axel van Lamsweerde,et al. From System Goals to Software Architecture , 2003, SFM.
[18] Dieter Fensel,et al. Automated Collaboration on the Semantic Web , 2005 .
[19] John McCarthy,et al. Artificial Intelligence, Logic and Formalizing Common Sense , 1989 .
[20] Lynn Nadel,et al. Encyclopedia of Cognitive Science , 2003 .
[21] Dieter Fensel,et al. The Unified Problem-Solving Method Development Language UPML , 2003, Knowl. Inf. Syst..
[22] Katia P. Sycara,et al. The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.
[23] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[24] Robert A. Wilson,et al. Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.
[25] K. Upton,et al. A modern approach , 1995 .
[26] Hector J. Levesque,et al. Intention is Choice with Commitment , 1990, Artif. Intell..
[27] Michael Wooldridge,et al. Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.
[28] John K. Debenham. Knowledge Engineering , 1998, Encyclopedia of Social Network Analysis and Mining.
[29] Charles W. Krueger,et al. Software reuse , 1992, CSUR.
[30] A. M. Turing,et al. Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.
[31] Thomas Erl,et al. Service-Oriented Architecture: A Field Guide to Integrating XML and Web Services , 2004 .
[32] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.
[33] C. Sidner,et al. Plans for Discourse , 1988 .
[34] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[35] Allen Newell,et al. Learning by Chunking: Summary of a Task and a Model , 1982, AAAI.
[36] Piergiorgio Bertoli,et al. Planning and Monitoring Web Service Composition , 2004, AIMSA.
[37] Michael Luck,et al. Agent technology: Enabling next generation computing , 2003 .
[38] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.
[39] Axel van Lamsweerde,et al. From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering , 2002, RISSEF.
[40] Hyacinth S. Nwana,et al. Software agents: an overview , 1996, The Knowledge Engineering Review.
[41] Chris Preist. A Conceptual Architecture for Semantic Web Services , 2004, International Semantic Web Conference.
[42] Allen Newell,et al. The Knowledge Level , 1989, Artif. Intell..
[43] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[44] Allen Newell,et al. Human Problem Solving. , 1973 .
[45] Clare Bates Congdon,et al. The Soar User''''s Manual , 1986 .
[46] Dieter Fensel,et al. The Web Service Modeling Framework WSMF , 2002, Electron. Commer. Res. Appl..
[47] Burt Wilsker,et al. A Study of Multi-Agent Collaboration Theories. , 1996 .
[48] Anand S. Rao,et al. Decision Procedures for BDI Logics , 1998, J. Log. Comput..
[49] Enrico Motta,et al. IRS-II: A Framework and Infrastructure for Semantic Web Services , 2003, SEMWEB.
[50] Yonghao Chen,et al. A semantic foundation for specification matching , 2000 .
[51] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[52] Dieter Fensel,et al. Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems , 1998, Data Knowl. Eng..
[53] Dieter Fensel,et al. Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..
[54] Michael Wooldridge,et al. Towards a Logic of Rational Agency , 2003, Log. J. IGPL.
[55] A. Newell. Unified Theories of Cognition , 1990 .
[56] D. Hofstadter,et al. Godel, Escher, Bach: An Eternal Golden Braid , 1979 .
[57] John R. Anderson,et al. The place of cognitive architectures in a rational analysis , 1988 .
[58] James A. Hendler,et al. Readings in Planning , 1994 .
[59] Takahiro Kawamura,et al. Semantic Matching of Web Services Capabilities , 2002, SEMWEB.
[60] Hector J. Levesque,et al. On Acting Together , 1990, AAAI.
[61] Michael Wooldridge,et al. Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .
[62] E. F. Codd,et al. Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.
[63] Y. Shoham. Introduction to Multi-Agent Systems , 2002 .
[64] Antoni Diller,et al. Z - an introduction to formal methods , 1990 .
[65] Xiaohong Qiu,et al. Web Service Architecture for e-Learning , 2004 .
[66] Dieter Fensel,et al. Problem-Solving Methods: Understanding, Description, Development, and Reuse , 2000 .
[67] Gio Wiederhold,et al. Mediators in the architecture of future information systems , 1992, Computer.
[68] Allen Newell,et al. GPS, a program that simulates human thought , 1995 .
[69] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[70] Michael Wooldridge,et al. Foundations of Rational Agency , 1999 .