Agent Technology from a Formal Perspective
暂无分享,去创建一个
Christopher A. Rouff | James L. Rash | Walter F. Truszkowski | Mike Hinchey | Mike Hinchey | James L. Rash | Walter F. Truszkowski | Diana Gordon-Spears | M. Hinchey | D. Gordon-Spears | W. Truszkowski | J. Rash | C. Rouff
[1] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[3] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[4] Gil Tidhar,et al. Planned Team Activity , 1992, MAAMAW.
[5] Yoav Shoham. Agent-Oriented Programming , 1993, Artif. Intell..
[6] Tim Finin,et al. KQML - A Language and Protocol for Knowledge and Information Exchange , 1994 .
[7] Michael Fisher,et al. Representing and Executing Agent-Based Systems , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.
[8] Milind Tambe. Teamwork in Real-World, Dynamic Environments. , 1996 .
[9] Michael Fisher,et al. An introduction to executable temporal logics , 1996, The Knowledge Engineering Review.
[10] MICHAEL FISHER. Temporal Semantics for Concurrent Metatem , 1996, J. Symb. Comput..
[11] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[12] Hiroaki Kitano,et al. The RoboCup Synthetic Agent Challenge 97 , 1997, IJCAI.
[13] Milind Tambe,et al. Towards Flexible Teamwork , 1997, J. Artif. Intell. Res..
[14] Michael Fisher,et al. Implementing BDI-like Systems by Direct Execution , 1997, IJCAI.
[15] Fausto Giunchiglia,et al. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.
[16] Axel van Lamsweerde,et al. Inferring Declarative Requirements Specifications from Operational Scenarios , 1998, IEEE Trans. Software Eng..
[17] Michael Wooldridge,et al. Applications of Agent Technology , 1998 .
[18] Danny B. Lange,et al. Programming and Deploying Java¿ Mobile Agents with Aglets¿ , 1998 .
[19] Jacques Ferber,et al. A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[20] Christoph Weidenbach. System Description: Spass Version 1.0.0 , 1999, CADE.
[21] Michael Wooldridge,et al. Foundations of Rational Agency , 1999 .
[22] Michael Fisher,et al. Programming Resource-Bounded Deliberative Agents , 1999, IJCAI.
[23] Johann Schumann,et al. Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[24] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[25] Michael Wooldridge,et al. Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.
[26] Renate A. Schmidt. Decidability by Resolution for Propositional Modal Logics , 2004, Journal of Automated Reasoning.
[27] Dov M. Gabbay,et al. MetateM: An introduction , 1995, Formal Aspects of Computing.