The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jim Cunningham: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shamimabi Paurobally, Jim Cunningham
    Specifying the Processes and States of Negotiation. [Citation Graph (0, 0)][DBLP]
    AgentLink, 2001, pp:61-77 [Conf]
  2. Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
    Ensuring consistency in the joint beliefs of interacting agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:662-669 [Conf]
  3. Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
    A formal framework for agent interaction semantics. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:91-98 [Conf]
  4. A. J. J. Dick, Jim Cunningham
    Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:272-280 [Conf]
  5. Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
    Modularity and Composition in Propositional Statecharts. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2006, pp:98-103 [Conf]
  6. Shamimabi Paurobally, Jim Cunningham
    Verification of Protocols for Automated Negotiation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:43-47 [Conf]
  7. Miguel Leith, Jim Cunningham
    Representing and Reasoning with Events fron Natural Language. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:406-420 [Conf]
  8. Gulden Uchyigit, Bjørn Carlin, Ewald Quak, Jim Cunningham
    Agents in the box. [Citation Graph (0, 0)][DBLP]
    HCI (2), 1999, pp:157-161 [Conf]
  9. Matthew Anderton, Jim Cunningham, Jeremy Pitt
    A Multi-Agent Framework for Inter-Organizational Applications. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1995, pp:435- [Conf]
  10. M. C. Costa, Jim Cunningham, J. Booth
    Logical Animation. [Citation Graph (0, 0)][DBLP]
    ICSE, 1990, pp:144-149 [Conf]
  11. Jeff Kramer, Jim Cunningham
    Invariants for Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:183-193 [Conf]
  12. Jeremy Pitt, Jim Cunningham
    Making Requirements Specifications Accessible via Logic, Language and Graphics: A Progress Report. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1995, pp:655-663 [Conf]
  13. Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim
    Co-Operative Answering to Natural Language Email Queries. [Citation Graph (0, 0)][DBLP]
    IEA/AIE, 1994, pp:273-281 [Conf]
  14. Jim Cunningham, Shamimabi Paurobally, Athanassios Diacakis, Lorenz Lorenzen, Gabriel Gross, Stephen McConnell
    Satisfying Requirements for Electronic Commerce. [Citation Graph (0, 0)][DBLP]
    Trends in Distributed Systems for Electronic Commerce, 1998, pp:109-128 [Conf]
  15. Luc Schneider, Jim Cunningham
    Ontological Foundations of Natural Language Communication in Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    KES, 2003, pp:1403-1410 [Conf]
  16. Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
    Developing Agent Interaction Protocols Using Graphical and Logical Methodologies. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:149-168 [Conf]
  17. Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt
    Towards Tableau Theorem-Proving with Analytic Cut. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:23-25 [Conf]
  18. Jeremy V. Pitt, Jim Cunningham
    Distributed Modal Theorem Proving with KE. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:160-176 [Conf]
  19. Jeremy V. Pitt, Jim Cunningham
    Attributed Translation and the Semantics of Natural Language. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:284-297 [Conf]
  20. Jim Cunningham, A. J. J. Dick
    Rewrite Systems on a Lattice of Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:2, pp:149-169 [Journal]
  21. Jeremy Pitt, Matthew Anderton, Jim Cunningham
    Normalized Interactions between Autonomous Agents A Case Study in Inter-Organizational Project Management. [Citation Graph (0, 0)][DBLP]
    Computer Supported Cooperative Work, 1996, v:5, n:2/3, pp:201-222 [Journal]
  22. Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally
    Propositional Statecharts for Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:134, n:, pp:55-75 [Journal]
  23. Jim Cunningham
    Towards an Axiomatic Theory of Consciousness. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  24. Jim Cunningham, Dov M. Gabbay
    Editorial. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  25. Jim Cunningham, M. E. J. Gilford
    A Note on the Semantic Definition of Side Effects. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1976, v:4, n:5, pp:118-120 [Journal]
  26. Jim Cunningham, Jeff Kramer
    An Exercise in Program Design Using SIMULA Class Invariants. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1978, v:8, n:3, pp:355-369 [Journal]
  27. Jim Cunningham, C. G. Pugh
    A Language-independent System to Aid the Development of Structured Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1976, v:6, n:4, pp:487-503 [Journal]
  28. Jim Cunningham, Silvana Zappacosta-Amboldi
    Software Tools for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1983, v:13, n:11, pp:1019-1025 [Journal]

  29. Deriving agent-centred representations of protocols described using propositional statecharts. [Citation Graph (, )][DBLP]


  30. Synchronization protocols for reliable communication in fully distributed agent systems. [Citation Graph (, )][DBLP]


  31. Verifying realizability and reachability in recursive interaction protocol specifications. [Citation Graph (, )][DBLP]


Search in 0.224secs, Finished in 0.225secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002