Per Year

19 publications  /  1992
@article{mobilecalculus-i-ic100,
    apice = {PicalculusIc100},
    author = {Milner, Robin and Parrow, Joachim and Walker, David},
    doi = {10.1016/0890-5401(92)90008-4},
    issn = {0890-5401},
    journal = {Information and Computation},
    number = 1,
    pages = {1--40},
    title = {A Calculus of Mobile Processes, I},
    url = {http://www.sciencedirect.com/science/article/pii/0890540192900084},
    volume = 100,
    year = 1992
}
@inproceedings{ctxlp-elp92,
    address = {Bologna, Italy},
    apice = {CtxlpElp92},
    author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
    editor = {Lamma, Evelina and Mello, Paola},
    lens = {185-839-158-560-28X},
    month = {26--28~} # feb,
    note = {Pre-proceedings},
    openalex = {W74082275},
    pages = {145--170},
    publisher = {Tecnoprint Bologna},
    title = {Implementing Contexts in {L}ogic {P}rogramming},
    year = 1992
}
@techreport{sharedds-ciancarini92,
    address = {Pisa, Italy},
    apice = {ShareddsCiancarini92},
    author = {Ciancarini, Paolo and Jensen, Keld K. and Yankelevich, Dani},
    institution = {Dipartimento di Informatica, Universit{\`a} di Pisa},
    month = sep,
    number = {TR26-92},
    title = {The Semantics of a Parallel Language based on a Shared Data Space},
    year = 1992
}
@inproceedings{rationalagents-kr92,
    address = {Cambridge, MA, USA},
    apice = {RationalagentsKr92},
    author = {Rao, Anand S. and Georgeff, Michael P.},
    booktitle = {3rd International Conference on Principles of Knowledge Representation and Reasoning (KR '92)},
    editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.},
    isbn = {1-55860-262-3},
    month = {25-29~} # oct,
    note = {Proceedings},
    pages = {439--449},
    publisher = {Morgan Kaufmann},
    title = {An Abstract Architecture for Rational Agents},
    year = 1992
}
@article{extended-jlp1992,
    apice = {ExtendedJlp1992},
    author = {Evelina Lamma and Paola Mello and Natali, Antonio},
    doi = {10.1016/0743-1066(92)90011-Q},
    issn = {0743-1066},
    journal = {The Journal of Logic Programming},
    number = {3-4},
    numpages = 36,
    pages = {187--222},
    publisher = {Elsevier BV},
    title = {An Extended Warren Abstract Machine for the Execution of Structured Logic Programs},
    volume = 14,
    year = 1992
}
@proceedings{maamawIII,
    abstract = {The study of Multi-Agent Systems has become an important new field of computer science. It is now realized that topics such as Multi-Agent Systems (MAS) and Distributed Artificial Intelligence (DAI) have a universal appeal because they investigate the more social side of computer systems. This social aspect ranges from Human-Computer Interaction (HCI), Computer Supported Cooperative Work (CSCW), Organizational Processing and Distributed Problem Solving (DPS), to Simulation of Social Systems and Organizations. All of these fields benefit from the study of multi-agent systems ranging from very simple to very complex agents and agent organizations. The papers in this volume address some basic issues in MAS research. Contributions range from theoretical studies to the practical applications of this new technology.},
    address = {Amsterdam, The Netherlands},
    booktitle = {Decentralized A.I. 3},
    dblp = {conf/maamaw/1991},
    editor = {Eric Werner and Yves Demazeau},
    isbn = {978-0-444-89661-2},
    isbn10 = {0-444-89661-9},
    note = {Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Kaiserslautern, Germany, August 5-7, 1991},
    numpages = {IX, 356},
    publisher = {North-Holland},
    title = {Decentralized A.I. 3},
    url = {https://www.amazon.com/dp/0444896619},
    year = 1992
}
@inproceedings{ctxlp-gulp92,
    apice = {CtxlpGulp92},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
    editor = {Costantini, Stefania},
    lens = {037-141-965-224-660},
    location = {Tremezzo, Como, Italy},
    month = {17--19 } # jun,
    openalex = {W115270588},
    pages = {307--320},
    publisher = {Città Studi, Milano, Italy},
    title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
    year = 1992
}
@article{cisemme392,
    apice = {CiseMME392},
    author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
    institution = {CISE S.p.A., Milan, Italy},
    number = 7312,
    series = {Rapporto Topico interno CISE S.p.A.},
    title = {Supporto alla Comunicazione Remota in MME 3},
    year = 1992
}
@article{extending-ngc1992,
    apice = {ExtendingNgc1992},
    author = {Paola Mello and Natali, Antonio},
    doi = {10.1007/BF03037943},
    issn = {0288-3635},
    journal = {New Generation Computing},
    number = 4,
    numpages = 25,
    pages = {335--359},
    publisher = {Springer Science and Business Media LLC},
    title = {Extending Prolog with Modularity, Concurrency and Meta-Rules},
    volume = 10,
    year = 1992
}
@article{mobilecalculus-ii-ic100,
    abstract = {Abstract},
    apice = {MobilecalculusIIIc100},
    author = {Milner, Robin and Parrow, Joachim and Walker, David},
    doi = {10.1016/0890-5401(92)90009-5},
    issn = {0890-5401},
    journal = {Information and Computation},
    number = 1,
    pages = {41--77},
    title = {A Calculus of Mobile Processes, II},
    url = {https://www.sciencedirect.com/science/article/pii/0890540192900095},
    volume = 100,
    year = 1992
}
@article{coord-cacm35,
    address = {New York, NY, USA},
    apice = {LindaCacm35},
    author = {Gelernter, David and Carriero, Nicholas},
    doi = {10.1145/129630.129635},
    issn = {0001-0782},
    journal = {Communications of the ACM},
    number = 2,
    pages = {97--107},
    publisher = {ACM},
    title = {Coordination Languages and Their Significance},
    url = {129635},
    volume = 35,
    year = 1992
}
@inproceedings{oolp-compulog92,
    address = {Pisa, Italy},
    apice = {OolpCompulog92},
    author = {Natali, Antonio and Omicini, Andrea},
    booktitle = {1st COMPULOG NET Workshop on Programming Languages in Computational Logic},
    editor = {Brogi, Antonio and Mancarella, Paolo and Turini, Franco},
    month = {6--7~} # apr,
    note = {Extended Abstract},
    publisher = {Dipartimento di Informatica, Università di Pisa},
    title = {Objects as Evolving Contexts},
    year = 1992
}
@article{cognitiveartifacts-red4,
    apice = {CognitiveartifactsRed4},
    author = {Norman, Donald A.},
    doi = {10.1007/BF02032391},
    eissn = {1435-6066},
    issn = {0934-9839},
    journal = {Research in Engineering Design},
    month = mar,
    number = 1,
    pages = {43--50},
    publisher = {Springer},
    title = {Design principles for cognitive artifacts},
    url = {https://link.springer.com/10.1007/BF02032391},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/BF02032391.pdf},
    volume = 4,
    year = 1992
}
@incollection{lindalp-lncs574,
    apice = {LindalpLncs574},
    author = {Ciancarini, Paolo},
    booktitle = {Reasearch Directions in High-Level Parallel Programming Languages},
    doi = {10.1007/3-540-55160-3\_38},
    editor = {Ban{\^a}tre, Jean Pierre and Le M{\'e}tayer, Daniel},
    isbn = {978-3-540-55160-7},
    issn = {0},
    pages = {110--125},
    publisher = {Springer Berli},
    series = {Lecture Notes in Computer Science},
    title = {Parallel Logic Programming using the {L}inda Model of Computation},
    url = {https://link.springer.com/10.1007/3-540-55160-3_38},
    urlpdf = {https://link.springer.com/content/pdf/10.1007/3-540-55160-3_38.pdf},
    volume = 574,
    year = 1992
}
@incollection{barbed-bisim92,
    apice = {BarbedBisimLncs623},
    author = {Milner, Robin and Sangiorgi, Davide},
    booktitle = {Automata, Languages and Programming},
    editor = {Kuich, W.},
    pages = {685--695},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {Barbed Bisimulation},
    volume = 623,
    year = 1992
}
@techreport{pfcnr-4-70,
    address = {Rome, Italy},
    apice = {CsmUserGuide92},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = may,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = {4/70},
    title = {{CSM} User's Guide},
    type = {Technical Report},
    year = 1992
}
@article{cham-tcs96,
    apice = {ChamTcs96},
    author = {Berry, Gérard and Boudol, Gérard},
    doi = {10.1016/0304-3975(92)90185-I},
    journal = {Theoretical Computer Science},
    month = apr,
    number = 1,
    pages = {217--248},
    publisher = {Elsevier Science B.V.},
    title = {The Chemical Abstract Machine},
    volume = 96,
    year = 1992
}
@article{met-eng92,
    address = {New York, NY, USA},
    apice = {MetEng92},
    author = {Kumar, Kuldeep and Welke, Richard J.},
    book = {Challenges and strategies for research in systems development},
    isbn = {0-471-93175-6},
    pages = {257--269},
    publisher = {John Wiley \& Sons, Inc.},
    title = {Methodology EngineeringR: a proposal for situation-specific methodology construction},
    year = 1992
}
@book{martial-lnai610,
    address = {Berlin},
    apice = {MartialLnai610},
    author = {von Martial, Frank},
    booktitle = {Co-ordinating Plans of Autonomous Agents},
    doi = {10.1007/BFb0016366},
    isbn = {978-3-540-55615-2},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Co-ordinating Plans of Autonomous Agents},
    url = {https://link.springer.com/10.1007/BFb0016366},
    volume = 610,
    year = 1992
}
19 publications  /  1992  •  top • index • bottom
publications  /  1992  /  personal
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Enrico Denti  •  Matteo Magnini  •  Mattia Matteini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Federico Sabbatini