Per Year
@article{prologiii-cacm33,
abstract = {The Prolog III programming language extends Prolog by redefining the fundamental process at its heart: unification. This article presents the specifications of this new language and illustrates its capabilities.},
apice = {PrologiiiCacm33},
author = {Alain Colmerauer},
doi = {10.1145/79204.79210},
journal = {Communications of the ACM},
month = {July},
number = 7,
numpages = 22,
pages = {69--90},
publisher = {ACM},
title = {An Introduction to Prolog III},
volume = 33,
year = 1990
}
@incollection{smo-concur90,
apice = {SmoConcur90},
author = {Jou, Chi-Chang and Smolka, ScottA.},
booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
doi = {10.1007/BFb0039071},
editor = {Baeten, J.C.M. and Klop, J.W.},
isbn = {978-3-540-53048-0},
pages = {367--383},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Equivalences, congruences, and complete axiomatizations for probabilistic processes},
url = {https://doi.org/10.1007/BFb0039071},
volume = 458,
year = 1990
}
@article{gamma-scico15,
apice = {GammaScp15},
author = {Ban{\^a}tre, Jean-Pierre and Le M{\'e}tayer, Daniel},
doi = {10.1016/0167-6423(90)90044-E},
issn = {0167-6423},
journal = {Science of Computer Programming},
month = nov,
number = 1,
pages = {55--77},
title = {The {GAMMA} Model and its Discipline of Programming},
url = {https://www.sciencedirect.com/science/article/pii/016764239090044E},
volume = 15,
year = 1990
}
@techreport{seterminology-ieeestd610121990,
address = {New York, NY, USA},
apice = {SeterminologyIeeestd610121990},
author = {{IEEE Standard Board}},
doi = {10.1109/IEEESTD.1990.101064},
institution = {IEEE},
isbn = {1-55937467-X},
keywords = {Software engineering; glossary; terminology; definitions; dictionary},
note = {Reaffirmed 12-9-2002},
number = {610.12-1990},
pages = {1--84},
title = {{IEEE} Standard Glossary of Software Engineering Terminology},
type = {IEEE Std},
url = {https://ieeexplore.ieee.org/document/159342},
urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=159342},
year = 1990
}
@incollection{bratman90,
address = {Cambridge, MA},
apice = {Bratman90},
author = {Bratman, Michael E.},
booktitle = {Intentions in Communication},
editor = {Cohen, Philip R. and Morgan, Jerry L. and Pollack, Martha E.},
isbn = {978-0-262-03150-9},
isbn10 = {0-262-03150-7},
month = jun,
pages = {15--32},
publisher = {The MIT Press},
title = {What is Intention?},
url = {https://mitpress.mit.edu/9780262517041/intentions-in-communication/},
year = 1990
}
@proceedings{maamawI,
abstract = {Much research in Artificial Intelligence deals with a single agent having complete control over the world. A variation of this is Distributed AI (DAI), which is concerned with the collaborative solution of global problems by a distributed group of entities. This book deals with Decentralized AI (DzAI), which is concerned with the activity of an autonomous agent in a multi-agent world. The word ``agent'' is used in a broad sense, to designate an intelligent entity acting rationally and intentionally with respect to its goals and the current state of its knowledge. A number of these agents coexist and may collaborate with other agents in a common world; each agent may accomplish its own tasks, or cooperate with other agents to perform a personal or global task. The agents have imperfect knowledge about each other and about their common world, which they can update either through perception of the world, or by communication with each other.The papers were originally presented at a workshop held at King's College, Cambridge, and have been revised for this book.},
address = {Amsterdam, The Netherlands},
booktitle = {Decentralized A.I.},
dblp = {conf/maamaw/1989},
editor = {Yves Demazeau and Jean-Pierre Müller},
eisbn = {978-0-444-59924-7},
isbn = {978-0-444-88705-4},
isbn10 = {0-444-88705-9},
note = {Proceedings of the First European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Cambridge, England, August 16-18, 1989. Also issued in paperback as ISBN 978-0-444-56851-9.},
numpages = {VIII, 263},
publisher = {North-Holland},
title = {Decentralized A.I.},
url = {https://shop.elsevier.com/books/decentralized-ai/demazeau/978-0-444-88705-4},
year = 1990
}
@incollection{christoff-concur1990,
apice = {ChristoffCONCUR1990},
author = {Christoff, Ivan},
booktitle = {CONCUR '90 Theories of Concurrency: Unification and Extension},
doi = {10.1007/BFb0039056},
editor = {Baeten, J.C.M. and Klop, J.W.},
isbn = {978-3-540-53048-0},
pages = {126--138},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
title = {Testing Equivalences and Fully Abstract Models for Probabilistic Processes},
url = {https://link.springer.com/10.1007/BFb0039056},
volume = 458,
year = 1990
}
@article{ooparadigm-oopsmess1,
acm = {383004},
address = {New York, NY, USA},
apice = {OoparadigmOopsmess1},
author = {Wegner, Peter},
doi = {10.1145/382192.383004},
issn = {1055-6400},
journal = {ACM SIGPLAN OOPS Messenger},
month = aug,
number = 1,
pages = {7--87},
publisher = {ACM},
title = {Concepts and Paradigms of Object-oriented Programming},
url = {383004},
urlpdf = {http://dl.acm.org/ft_gateway.cfm?id=383004},
volume = 1,
year = 1990
}
publications
/
1990
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Mattia Matteini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Federico Sabbatini