Per anno
@inproceedings{bdi-icmas95, address = {San Francisco, CA, USA}, apice = {BdiIcmas95}, author = {Rao, Anand S. and Georgeff, Michael P.}, booktitle = {1st International Conference on Multi Agent Systems (ICMAS 1995)}, editor = {Lesser, Victor R. and Gasser, Les}, isbn = {0-262-62102-9}, month = {12-14~} # jun, pages = {312--319}, publisher = {The MIT Press}, title = {{BDI} Agents: From Theory to Practice}, url = {https://www.aaai.org/Papers/ICMAS/1995/ICMAS95-042}, year = 1995 }
@article{wooldridge-intelligentagents, apice = {WooldridgeIntelligentagents}, author = {Wooldridge, Michael J. and Jennings, Nicholas R.}, doi = {10.1017/S0269888900008122}, journal = {The Knowledge Engineering Review}, month = jun, number = 2, pages = {115--152}, title = {Intelligent Agents: Theory and Practice}, url = {https://journals.cambridge.org/action/displayAbstract?aid=4100124}, volume = 10, year = 1995 }
@proceedings{maamawV, abstract = {This volume contains thoroughly refereed full versions of the best papers presented at the 5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, held in Neuchâtel, Switzerland in August 1993. The volume opens with a detailed introduction by the volume editors bringing the papers in line and offering a readers' guide. The 15 full research papers reflect the state-of-the-art in this dynamic field of research; they are organized in sections on emergence of global properties, emergence of sociality, multi-agent planning, multi-agent communication, and multi-agent architectures.}, booktitle = {From Reaction to Cognition}, dblp = {conf/maamaw/1993}, doi = {10.1007/BFb0027051}, editor = {Cristiano Castelfranchi and Jean-Pierre Müller}, eisbn = {978-3-540-49532-1}, eissn = {1611-3349}, isbn = {978-3-540-60155-5}, isbn10 = {3-540-60155-4}, issn = {0302-9743}, numpages = {VI, 258}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, subtitle = {5th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '93, Neuchatel, Switzerland, August 1993. Selected Papers}, title = {From Reaction to Cognition}, url = {https://link.springer.com/10.1007/BFb0027051}, volume = 957, year = 1995 }
@book{at-book1995, address = {Cambridge, MA, USA}, apice = {AtBook1995}, doi = {10.7551/mitpress/2137.001.0001}, editor = {Nardi, Bonnie A.}, eisbn = {9780262280419}, isbn = {0-262-14058-6}, month = dec, numpages = 400, publisher = {MIT Press}, title = {Context and Consciousness: Activity Theory and Human-Computer Interaction}, url = {https://direct.mit.edu/books/book/3274/Context-and-ConsciousnessActivity-Theory-and-Human}, year = 1995 }
@article{empa-petri95, apice = {EmpaPetrinetsComputerJournal39}, author = {Bernardo, Marco and Busi, Nadia and Gorrieri, Roberto}, doi = {10.1093/comjnl/38.7.492}, journal = {The Computer Journal}, month = jan, number = 7, pages = {492--509}, title = {A distributed semantics for {EMPA} based on stochastic contextual nets}, volume = 38, year = 1995 }
@inproceedings{simeng95, address = {Tucson, AZ, USA, USA}, apice = {SimEng95}, author = {Goldgar, Richard and Acosta, Ramon D.}, booktitle = {Proceedings of the 1995 International Symposium and Workshop on Systems Engineering of Computer Based Systems}, doi = {10.1109/ECBS.1995.521879}, isbn = {0-7803-2531-1}, pages = {382--388}, publisher = {IEEE Computer Sosciety}, title = {Integration of object-oriented analysis and performance simulation for engineering computer-based systems}, year = 1995 }
@proceedings{atalI, abstract = {This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included.}, booktitle = {Intelligent Agents}, dblp = {conf/atal/1994}, doi = {10.1007/3-540-58855-8}, editor = {Michael J. Wooldridge and Nicholas R. Jennings}, eisbn = {978-3-540-49129-3}, eissn = {1611-3349}, isbn = {978-3-540-58855-9}, isbn10 = {3-540-58855-8}, issn = {0302-9743}, numpages = {VIII, 412}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, subseries = {Lecture Notes in Artificial Intelligence}, subtitle = {ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 1994. Proceedings}, title = {Intelligent Agents}, url = {https://link.springer.com/10.1007/3-540-58855-8}, volume = 890, year = 1995 }
@incollection{lgl-lncs924, apice = {LglLncs924}, author = {Minsky, Naftaly H. and Leichter, Jerrold}, booktitle = {Object-based Models and Languages for Concurrent Systems}, doi = {10.1007/3-540-59450-7\_8}, editor = {Ciancarini, Paolo and Nierstrasz, Oscar and Yonezawa, Akinori}, isbn = {978-3-540-59450-5}, isbn10 = {3-540-59450-7}, pages = {125--146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {{L}aw-{G}overned {L}inda as a Coordination Model}, url = {https://link.springer.com/10.1007/3-540-59450-7_8}, volume = 924, year = 1995 }
@article{agre-ai72, apice = {AgreAi72}, author = {Agre, Philip E.}, doi = {10.1016/0004-3702(94)00054-5}, issn = {0004-3702}, journal = {Artificial Intelligence}, month = jan, note = {Special volume on computational research on interaction and agency, part 1}, number = {1-2}, pages = {1--52}, publisher = {Elsevier Science B.V.}, title = {Computational Research on Interaction and Agency}, volume = 72, year = 1995 }
@incollection{castelfranchi-atalI, apice = {CastelfranchiAtalI}, author = {Castelfranchi, Cristiano}, booktitle = {Intelligent Agents}, doi = {10.1007/3-540-58855-8_3}, editor = {Wooldridge, Michael J. and Jennings, Nicholas R.}, isbn = {978-3-540-58855-9}, note = {ECAI-94 Workshop on Agent Theories, Architectures, and Languages (ATAL) Amsterdam, The Netherlands 8--9~} # aug # {~1994. Proceedings}, numpages = 15, pages = {56--70}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, title = {Guarantees for Autonomy in Cognitive Agent Architecture}, url = {https://link.springer.com/10.1007/3-540-58855-8_3}, volume = 890, year = 1995 }
@incollection{lpse-cnr95, address = {Milano, Italy}, apice = {LpseCnr95}, author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea}, booktitle = {Ambienti per linguaggi di nuova concezione}, editor = {Filè, Gilberto}, isbn = {88-204-9515-5}, pages = {17--46}, publisher = {Franco Angeli}, series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)}, title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti}, volume = 4, year = 1995 }
@book{cal-eletIII, address = {Bologna, Italy}, apice = {CalEletIII}, author = {Denti, Enrico and Natali, Antonio}, isbn = {88-371-0771-4}, note = {Teaching material}, publisher = {Pitagora Editrice}, series = {Consorzio Nettuno}, title = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti}, year = 1995 }
@incollection{lprobot-scsai95, apice = {LprobotScsai95}, author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco}, booktitle = {Logic Programming: Formal Methods and Practical Applications}, chapter = 12, dblp = {books/el/beierleP95/DentiNOZ95}, editor = {Beierle, Christoph and Plümer, Lutz}, isbn = {978-0-444-82092-1}, isbn10 = {0-444-82092-2}, lens = {161-703-407-666-269}, openalex = {W35266853}, pages = {343--379}, publisher = {Elsevier}, scopus = {2-s2.0-85023302187}, series = {Studies in Computer Science and Artificial Intelligence}, title = {Robot Control Systems as Contextual Logic Programs}, volume = 11, year = 1995 }
@proceedings{icmasI, address = {San Francisco, CA, USA}, apice = {IcmasI}, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {ICMAS}, editor = {Lesser, Victor R. and Gasser, Les}, isbn = {0-262-62102-9}, isbn13 = {978-0262621021}, month = {12--14~} # jun, note = {ICMAS 1995. Proceedings}, publisher = {AAAI Press}, title = {1st International Conference on Multiagent Systems}, year = 1995 }
@inproceedings{aclt-aiia95, acm = {761273}, apice = {AcltAiixa95}, author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio}, booktitle = {Topics in Artificial Intelligence}, core = {21260299}, dblp = {conf/aiia/OmiciniDN95}, doi = {10.1007/3-540-60437-5_43}, editor = {Gori, Marco and Soda, Giovanni}, eisbn = {3-540-60437-5}, iris = {11585/953879}, isbn = {978-3-540-60437-2}, isbn10 = {3-540-60437-5}, issn = {0302-9743}, lens = {196-368-143-391-63X}, note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings}, numpages = 12, openalex = {W1530491305}, pages = {439--450}, publisher = {Springer-Verlag}, scholar = {9467690504149452680}, scopus = {2-s2.0-84957673013}, semanticscholar = {18358079}, series = {Lecture Notes in Artificial Intelligence}, title = {Agent Coordination and Control through Logic Theories}, url = {https://link.springer.com/10.1007/3-540-60437-5_43}, volume = 992, wos = {WOS:A1995BF24X00043}, year = 1995 }
@article{rapide-tse21, apice = {RapideTse21}, author = {Luckham, David C. and Kenney, John J. and Augustin, Larry M. and Vera, James and Bryan, Doug and Mann, Walter}, doi = {10.1109/32.385971}, inspec-an = {4969551}, issn = {0098-5589}, journal = {IEEE Transactions on Software Engineering}, month = apr, number = 4, pages = {336--354}, publisher = {IEEE Computer Society}, title = {Specification and Analysis of System Architecture Using {R}apide}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=385971}, volume = 21, year = 1995 }
@article{probabilisticprocesses-inco121, apice = {ProbabilisticprocessesInco121}, author = {Vanglabbeek, Rob J. and Smolka, Scott A. and Steffen, Bernhard}, doi = {10.1006/inco.1995.1123}, issn = {0890-5401}, journal = {Information and Computation}, number = 1, pages = {59--80}, title = {Reactive, Generative, and Stratified Models of Probabilistic Processes}, url = {https://www.sciencedirect.com/science/article/pii/S0890540185711236}, volume = 121, year = 1995 }
@phdthesis{omicini-phdthesis95, address = {Bologna, Italy}, apice = {OmiciniPhDThesis}, author = {Omicini, Andrea}, institution = {Alma Mater Studiorum -- Università di Bologna}, month = feb, school = {Dottorato in Ingegneria Elettronica e Informatica}, title = {Programmazione Logica Orientata agli Oggetti}, year = 1995 }
@incollection{pi-calculus-petri-lncs95, apice = {PicalculusPetriLncs95}, author = {Busi, Nadia and Gorrieri, Roberto}, booktitle = {CONCUR '95: Concurrency Theory}, editor = {Lee, Insup and Smolka, Scott}, pages = {145--159}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, title = {A Petri Net Semantics for pi-Calculus}, volume = 962, year = 1995 }
@book{castelfranchi-cognitiveaction95, apice = {CastelfranchiCognitiveaction95}, editor = {Conte, Rosaria and Castelfranchi, Cristiano}, isbn = {9781857281866}, isbn10 = {1857281861}, publisher = {Routledge}, title = {Cognitive and Social Action}, url = {https://books.google.com/books?isbn=1857281861}, year = 1995 }
@techreport{liaechrep-95002, address = {Bologna, Italy}, apice = {LiaTechrep95002}, author = {Omicini, Andrea}, institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna}, keywords = {Constraints, Object-Oriented Programming, Multi-Theory Logic Languages}, number = {DEIS-LIA-95-002}, series = {DEIS Technical Reports}, subseries = {LIA Series}, title = {Constraining Objects as Logic Theories}, type = {DEIS Technical Report}, volume = 2, year = 1995 }
pubblicazioni
/
1995
/
personali
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Enrico Denti
•
Matteo Magnini
•
Mattia Matteini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Federico Sabbatini