Agent Technology from a Formal Perspective

[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.