Analysis and verification of multiple-agent languages : :: SCD d'Orléans

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24 26, 1996 : selected papers

Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24 26, 1996 : selected papers

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The vo...

Enregistré dans:

書目詳細資料
企業作者:	LOMAPS Workshop :Stockholm
其他作者:	Dam, Mads (Directeur de la publication)
格式:	Livre numérique
語言:	Anglais
出版:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
叢編:	Lecture notes in computer science 1192
主題:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Actes de congrès
在線閱讀:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
提示:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Analysis and verification of multiple-agent languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, selected papers, Mads Dam (ed.), 1997, Berlin, Springer, 1 vol. (VIII-434 p.), Lecture notes in computer science, 3-540-62503-8 • Analysis and Verification of Multiple-Agent Languages, Texte imprimé, 9783662203613

相似書籍

Inductive logic programming : 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers
由: Muggleton, Stephen H.

Declarative Agent Languages and Technologies : First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers

Foundations and applications of multi-agent systems : UKMAS Workshops, 1996 2000 : selected papers

Multi-agent rationality : 8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 13 16, 1997 : proceedings
由: Boman, Magnus, 1963-

Programming multi-agent systems : First international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers
由: Dastani, Mehdi

Agent-oriented programming : from prolog to guarded definite clauses
由: Huntbach, Matthew M., 19..-, et autres

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings
由: Eriksson, Lars-Henrik, 19..-

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Agent-oriented software engineering IV : 4th international workshop, AOSE 2003, Melbourne, Australia, July 15, 2003 : revised papers

Intelligent agents. agent theories, architectures, and languages : ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedings
由: Müller, Jörg P., 1965-

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings

Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers

Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

Issues in agent communication
由: Dignum, Frank, 1961-

Programming languages implementation and logic programming : [first] International Workshop PLILP '88 Orléans, France, May 16 18, 1988 : proceedings

Objects, agents, and features : international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 : revised and invited papers

Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996 : ICMAS'96 Workshop LIOME, Kyoto, Japan, December 10, 1996 : selected papers
由: Weiss, Gerhard, 1962-

Formal models of agents : ESPRIT Project ModelAge Final Workshop : selected papers
由: Meyer, John-Jules Charles, informaticien

Machines, languages, and complexity : 5th International meeting of young computer scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions

Adaptive agents and multi-agent systems : adaptation and multi-agent learning

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Engineering societies in the agents world IV : 4th international workshop, ESAW 2003, London, UK, October 29-31, 2003 : revised selected and invited papers
由: Omicini, Andrea, 1965-

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987

Intelligent Agents VII Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7 9, 2000 Proceedings

Intelligent agents for telecommunication applications : Third International Workshop, IATA 99, Stockholm, Sweden, August 9-10, 1999 : proceedings
由: Albayrak, Sahin

Agent-oriented software engineering III : third international workshop AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

Approaches to intelligent agents : Second Pacific Rim International Workshop on Multi-Agents, PRIMA 99, Kyoto, Japan, December 2-3, 1999 : proceedings
由: Nakashima, Hideyuki

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Mobile object systems : toward the programmable Internet : second international workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers

Autonomous dynamic reconfiguration in multi-agent systems : improving the quality and efficiency of collaborative problem solving
由: Hannebauer, Markus, 1976-

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24 27, 1999 : proceedings

Agent-oriented software engineering : first international workshop, AOSE 2000, Limerick, Ireland, June 10, 2000 : revised papers

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
由: Bruynooghe, Maurice

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Programming languages : implementations, logics, and programs : 9th international symposium, PLILP '97 including a special track on declarative programming languages in education, Southampton, UK, September 1-3, 1997 : proceedings

Constraint processing : selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales