Cooperating logical agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1037, Issue , 1996, Pages 299-314

  Beyssade, Claire ^a   Enjalbert, Patrice ^a   Lefèvre, Claire ^a  

^a UNIVERSITÉ DE CAEN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; FORMAL LOGIC; MESSAGE PASSING; MULTI AGENT SYSTEMS; OFFICE AUTOMATION; RECONFIGURABLE HARDWARE; SEMANTICS;

COGNITIVE ACTIVITIES; COMPUTING ABILITIES; DESIGN AND IMPLEMENTATIONS; FIRST ORDER LOGIC; HETEROGENEOUS AGENTS; HIGHER ORDER LOGIC; LOGIC-BASED MODELING; PARTIAL IMPLEMENTATION;

INTELLIGENT AGENTS;

EID: 84957615372     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3540608052_74     Document Type: Conference Paper

References (27)

1. P. Andrews, An introduction to mathematical logic and type theory: to truth through proof, W. Rheinboldt (ed.), Academic Press, 1986.
2. C. Beyssade, Les modalités épistémiques dans un système multi-agent: contribution à l'étude linguistique de l'opacité et des presuppositions, PhD thesis, Computer Science Laboratory, University of Caen, 1994.
3. C. Beyssade, P. Enjalbert, C. Lefevre, Cooperating Logical Agents - Application to the analysis of Belief and Knowledge and to the Semantics of Epistemic Modalities in N.L., Proc. Second World Conference on the Fundamentals of Artificial Intelligence,WOCFAL '95, Angkor, Paris, pp. 27-38, 1995.
4. S.E. Boër, W.G. Lycan, Knowing who, MIT Press, 1986.
5. A. Bonomí, "Persistent truths", Intellectica 13-14, pp. 79-103, 1992.
6. G. Boolos, The unprovability of consistency, Cambridge University press, 1979.
7. F. Bourdon, B. Dillenseger, Supporting intelligent agents in a distributed environment: a COOL-based approach, TOOLS Europe '95, 1995.
8. P.R. Cohen, H.J. Levesque, Intention is choice with commitment, Artificial Intelligence 42, pp. 213-261, 1990.
9. P. Enjalbert, J-B Stefani, "Savoir qui, quand, où… Une approche centrée sur les notions de question et de contexte de resolution de problème", 4ème colloque de PARC, Mars 1990.
10. R. Fagin, J.Y. Halpern, Belief, awareness, and limited reasoning: preliminary report, IJCAI-85, Proc. Ninth International Joint Conference on Artificial Intelligence, vol. 1, pp. 491-501, 1985.
11. A. Felty, D. Miller, Specifying Theorem Provers in a Higher-Order Logic Programming Language, Proc. Ninth International Conference on Automated Deduction, Lecture Notes in Computer Science 310, Springer-Verlag, 61-80, 1988.
12. L. Gasser, Social conceptions of knowledge and action: DAI foundations and open systems semantics, Artificial Intelligence 47, pp. 107-138, 1991.
13. R. Harper, F. Honsell, G. Plotkin, A framework for defining logics, Journal of the Association for Computing Machinery, 37, n°3, pp. 549-587, 1993.
14. K. Konolige, A deductive model of belief, Research Notes in Artificial Intelligence, Pitman, London, 1986.
15. C. Lefèvre, Agents Logiques Communicants, PhD thesis, Computer Science Laboratory, University of Caen, 1995.
16. Y. Lespérance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, R.B. Scherl, Foundations of a logical approach to agent programming, This volume.
17. H.J. Levesque, A logic of implicit and explicit belief, AAAI-84, Proceedings of the 1984 National Conference on Artificial Intelligence, pp. 198-202, 1984.
18. P. Martin-Löf, Truth of a proposition, evidence of a judgement, validity of a proof, Synthese 73, n°3, pp. 407-420, 1987.
19. D. Miller, G. Nadathur, Higher-order Logic Programming, Third International Conference on Logic Programming, Lecture Notes in Computer Science 225, Springer-Verlag, pp. 463-502, 1986.
20. G. Nadathur, D. Miller, Higher-order Horn Clauses, Journal of the Association for Computing Machinery, 37, n°4, pp. 777-814, 1990.
21. A. Newell, The knowledge level, Artificial Intelligence 18, vol. 1, pp. 87-127, 1982.
22. L. Paulson, The foundation of a generic theorem prover, Journal of Automated Reasoning 5, n°3, pp. 363-397, 1989.
23. D. Perlis, Languages with self-reference II: Knowledge, belief, and modality, Artificial Intelligence 34, pp. 179-212, 1988.
24. V. Rantala, Impossible worlds semantics and logical omniscience, Acta Philosophica Fennica 35, pp. 18-24, 1982.
25. Y. Shoham, Agent-Oriented Programming, Artificial Intelligence 60, pp. 51-92, 1993.
26. M.P. Singh, Multiagent Systems - A Theoretical Framework for Intentions, KnowHow, and Communications, Lecture Notes in AI 799, Springer-Verlag, 1994.
27. M. Wooldridge, Time, Knowledge, and Choice, This volume.