Per anno

32 pubblicazioni  /  1998
@article{simulation1998,
    apice = {TranSe98},
    author = {Waheed, Abdul and Rover, Diane T. and Hollingsworth, Jeffrey K.},
    doi = {10.1109/32.689402},
    issn = {0098-5589},
    journal = {IEEE Transactions on Software Engineering},
    month = {june},
    number = 6,
    pages = {451--470},
    publisher = {IEEE Computer Sosciety},
    title = {Modeling and evaluating design alternatives for an on-line instrumentation system: a case study},
    volume = 24,
    year = 1998
}
@article{tspaces-ibmsj37,
    apice = {TSpaces1998},
    author = {Wyckoff, Peter and McLaughry, Stephen W. and Lehman, Tobin J. and Ford, Daniel A.},
    doi = {10.1147/sj.373.0454},
    issn = {0018-8670},
    journal = {IBM Systems Journal},
    number = 3,
    pages = {454--474},
    publisher = {IBM},
    title = {{T}~{S}paces},
    volume = 37,
    year = 1998
}
@article{klaim-tse24,
    apice = {KlaimTse24},
    author = {De Nicola, Rocco and Ferrari, Gianluigi and Pugliese, Rosario},
    doi = {10.1109/32.685256},
    issn = {0098-5589},
    journal = {IEEE Transactions on Software Engineering},
    month = may,
    number = 5,
    pages = {315--330},
    publisher = {IEEE CS},
    title = {{KLAIM}: A Kernel Language for Agent Interaction and Mobility},
    volume = 24,
    year = 1998
}
@article{smallworldnetworks-nature393,
    apice = {SmallworldnetworksNature393},
    author = {Watts, Duncan J. and Strogatz, Steven H.},
    doi = {10.1038/30918},
    eissn = {1476-4687},
    issn = {0028-0836},
    journal = {Nature},
    month = {4~} # jun,
    number = 6684,
    pages = {440--442},
    publisher = {Nature Publishing Group},
    title = {Collective dynamics of `small-world' networks},
    url = {https://www.nature.com/articles/30918},
    urlpdf = {https://www.nature.com/articles/30918.pdf},
    volume = 393,
    year = 1998
}
@article{fuggetta-tse24,
    acm = {278941},
    apice = {FuggettaTse24},
    author = {Fuggetta, Alfonso and Picco, Gian Pietro and Vigna, Giovanni},
    doi = {10.1109/32.685258},
    issn = {0098-5589},
    journal = {{IEEE} Transactions on Software Engineering},
    keywords = {Mobile code, mobile agent, distributed application, design paradigm.},
    month = may,
    number = 5,
    pages = {342--361},
    publisher = {IEEE Press},
    title = {Understanding Code Mobility},
    url = {https://dl.acm.org/doi/10.1109/32.685258},
    volume = 24,
    year = 1998
}
@book{clp-book1998,
    abstract = {The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages.},
    apice = {ClpBook1998},
    author = {Kim Marriott and Peter J. Stuckey},
    isbn13 = {978-0-262-13341-8},
    location = {Cambridge, MA, USA},
    publisher = {The MIT Press},
    title = {Programming with Constraints: An Introduction},
    year = 1998
}
@incollection{coord-advincomp46,
    apice = {CoordAdvincomp46},
    author = {Papadopoulos, George A. and Arbab, Farhad},
    booktitle = {The Engineering of Large Systems},
    editor = {Zelkowitz, Marvin V.},
    isbn = {0-120-12146-8},
    isbn13 = {978-0120121465},
    numpages = 72,
    pages = {329--400},
    publisher = {Academic Press},
    series = {Advances in Computers},
    title = {Coordination Models and Languages},
    volume = 46,
    year = 1998
}
@article{zavattaro-entcs16,
    apice = {ZavattaroEntcs16},
    author = {Zavattaro, Gianluigi},
    doi = {10.1016/S1571-0661(04)00125-2},
    issn = {1571-0661},
    journal = {Electronic Notes in Theoretical Computer Science},
    note = {EXPRESS '98, 5th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)},
    number = 2,
    pages = {154--170},
    title = {Towards a Hierarchy of Negative Test Operators for Generative Communication},
    url = {https://www.sciencedirect.com/science/article/pii/S1571066104001252},
    volume = 16,
    year = 1998
}
@inproceedings{trust-icmas1998,
    acm = {699034},
    apice = {TrustIcmas1998},
    author = {Castelfranchi, Cristiano and Falcone, Rino},
    booktitle = {Proceedings of the 3rd International Conference on Multi Agent Systems (ICMAS 1998)},
    doi = {10.1109/ICMAS.1998.699034},
    isbn = {978-0-8186-8500-2},
    pages = {72--79},
    publisher = {IEEE Computer Society},
    title = {Principles of Trust for {MAS}. Cognitive Anatomy, Social Importance, and Quantification},
    url = {https://dl.acm.org/doi/10.5555/551984.852234},
    urlpdf = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=699034},
    year = 1998
}
@article{pomdpplanning,
    apice = {Pomdpplanning},
    author = {Leslie Pack Kaelbling and Michael L. Littman and Anthony R. Cassandra},
    journal = {Artificial Intelligence},
    keywords = {Planning, Uncertainty, Partially observable Markov decision processes},
    month = may,
    number = {1–2},
    numpages = 36,
    pages = {99--134},
    title = {Planning and acting in partially observable stochastic domains},
    url = {https://www.sciencedirect.com/science/article/pii/S000437029800023X},
    volume = 101,
    year = 1998
}
@article{proc-alg-linda98,
    apice = {ProcAlgLinda98},
    author = {Busi, Nadia and Gorrieri, Roberto and Zavattaro, Gianluigi},
    doi = {10.1016/S0304-3975(97)00149-7},
    journal = {Theoretical Computer Science},
    keywords = {Coordination languages, Semantics of Linda, Process algebra, Behavioral equivalences},
    month = feb,
    number = 2,
    pages = {167--199},
    title = {A process algebraic view of {L}inda coordination primitives},
    url = {https://www.sciencedirect.com/science/article/pii/S0304397597001497},
    volume = 192,
    year = 1998
}
@article{tucson-jir98,
    apice = {TucsonJir98},
    author = {Omicini, Andrea and Zambonelli, Franco},
    core = {53958715},
    dblp = {journals/intr/OmiciniZ98},
    doi = {10.1108/10662249810241266},
    iris = {11585/950378},
    issn = {1066-2243},
    journal = {Internet Research},
    keywords = {Applications software, Co-ordination, Information retrieval, Internet},
    lens = {095-682-049-903-719},
    month = dec,
    number = 5,
    pages = {400--413},
    publisher = {MCB University Press},
    scholar = {13083189308379508438},
    scopus = {2-s2.0-0032355650},
    semanticscholar = {44307872},
    title = {Co-ordination of Mobile Information Agents in {{{\sf TuCSoN}}}},
    url = {https://www.emeraldinsight.com/10.1108/10662249810241266},
    urlpdf = {http://www.emeraldinsight.com/doi/pdfplus/10.1108/10662249810241266},
    volume = 8,
    wos = {WOS:000077560700004},
    year = 1998
}
@proceedings{atalIV,
    abstract = {This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.},
    booktitle = {Intelligent Agents IV},
    dblp = {conf/atal/1997},
    doi = {10.1007/BFb0026744},
    editor = {Munindar P. Singh and Anand S. Rao and Michael J. Wooldridge},
    eisbn = {978-3-540-69696-4},
    eissn = {1611-3349},
    isbn = {978-3-540-64162-9},
    isbn10 = {3-540-64162-9},
    issn = {0302-9743},
    numpages = {XVI, 356},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    subtitle = {Agent Theories, Architectures, and Languages},
    title = {Intelligent Agents IV},
    url = {https://link.springer.com/10.1007/BFb0026744},
    volume = 1365,
    year = 1998
}
@proceedings{agents1998,
    booktitle = {Proceedings of the Second International Conference on Autonomous Agents},
    dblp = {conf/agents/1998},
    doi = {10.1145/280765},
    editor = {Katia P. Sycara and Michael J. Wooldridge},
    isbn10 = {0-89791-983-1},
    note = {2nd International Conference on Autonomous Agents (Agents 1998), Minneapolis/St. Paul, MN, USA, 9-13 May 1998},
    publisher = {ACM},
    title = {Proceedings of the Second International Conference on Autonomous Agents},
    url = {https://dl.acm.org/doi/proceedings/10.1145/280765},
    year = 1998
}
@phdthesis{d-phdthesis,
    apice = {EDphdthesis1998},
    author = {Denti, Enrico},
    school = {Dept. of Electronics, Computer Science and Systems (DEIS) Viale Risorgimento 2, I-40136 Bologna, Italy},
    title = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction},
    year = 1998
}
@misc{denti-phdthesis-abstract,
    apice = {EdPhdThesisAbstract},
    author = {Denti, Enrico},
    howpublished = {AI*IA Notizie, Anno XI, N° 4},
    journal = {AI*IA Notizie},
    month = {December},
    note = {Abstract of Ph.D. Thesis},
    number = 4,
    title = {Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction},
    url = {http://www.dsi.unifi.it/AIIA/},
    volume = 11,
    year = 1998
}
@techreport{gammalinda-zavattaro1998,
    address = {Amsterdam, The Netherlands},
    apice = {GammalindaZavattaro98},
    author = {Zavattaro, Gianluigi},
    institution = {CWI},
    month = oct,
    number = {SEN-R9827},
    title = {On the Incomparability of {G}amma and {L}inda},
    year = 1998
}
@article{acl-ieeecomp31,
    apice = {AclIeeecomp31},
    author = {Singh, Munindar P.},
    doi = {10.1109/2.735849},
    issn = {0018-9162},
    journal = {Computer},
    month = dec,
    number = 12,
    pages = {40--47},
    title = {Agent Communication Languages: Rethinking the Principles},
    url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=735849},
    volume = 31,
    year = 1998
}
@inproceedings{bardram-book98,
    apice = {BardramBook98},
    author = {Bardram, Jakob},
    booktitle = {1998 ACM Conference on Computer Supported Cooperative Work (CSCW'98)},
    isbn = {1-58133-009-0},
    keywords = {Cooperative work, dynamics, Activity Theory, design, healthcare},
    location = {Seattle, WA, USA},
    month = {14--18~} # nov,
    pages = {89--98},
    publisher = {ACM Press},
    title = {Designing for the Dynamics of Cooperative Work Activities},
    url = {https://dl.acm.org/doi/10.1145/289444.289483},
    year = 1998
}
@article{bdilogic-jlc8,
    apice = {BdilogicJlc8},
    author = {Rao, Anand S. and Georgeff, Michael P.},
    doi = {10.1093/logcom/8.3.293},
    issn = {0955-792X},
    journal = {Journal of Logic and Computation},
    keywords = {Rational agents,belief-desire-intention (BDI) model,branching time temporal logic,modal logic,multi-modal logic,tableaux methods,temporal logic,theorem proving},
    month = jun,
    number = 3,
    pages = {293--342},
    title = {Decision procedures for {BDI} logics},
    url = {https://logcom.oxfordjournals.org/cgi/content/long/8/3/293},
    volume = 8,
    year = 1998
}
@book{evolutioncreation-book1998,
    address = {Paris, France},
    apice = {EvolutioncreationBook1998},
    author = {Martelet, Gustave},
    booktitle = {{\'E}volution et cr{\'e}ation, tome 1 -- Sens ou non-sens de l'homme dans la nature?},
    isbn = {2-204-05877-7},
    month = jul,
    numpages = 328,
    publisher = {Editions du Cerf},
    title = {{\'E}volution et cr{\'e}ation, tome 1 -- Sens ou non-sens de l'homme dans la nature?},
    url = {https://www.editionsducerf.fr/librairie/livre/3501/evolution-et-creation-t1},
    year = 1998
}
@inproceedings{respect-sac98,
    acm = {330665},
    apice = {RespectSac1998},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
    core = {23047576},
    dblp = {conf/sac/DentiNO98},
    doi = {10.1145/330560.330665},
    isbn = {0-89791-969-6},
    lens = {147-094-505-050-523},
    location = {Atlanta, GA, USA},
    month = {27 } # feb # { -- 1 } # mar,
    note = {Special Track on Coordination Models, Languages and Applications},
    openalex = {W2001013228},
    pages = {169--177},
    publisher = {ACM},
    scopus = {2-s2.0-85002410745},
    title = {On the Expressive Power of a Language for Programming Coordination Media},
    url = {330665},
    urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
    year = 1998
}
@incollection{distributedeventsmas-aid98,
    apice = {DistributedeventsmasAid98},
    author = {Feij{\'o}, Bruno and Rodacki Gomes, Paulo C. and Bento, Jo{\~a}o and Scheer, S{\'e}rgio and Cerqueira, Renato},
    booktitle = {Artificial Intelligence in Design '98},
    doi = {10.1007/978-94-011-5121-4_29},
    editor = {Gero, John S. and Sudweeks, Fay},
    isbn = {978-94-010-6153-7},
    pages = {557--577},
    publisher = {Springer Netherlands},
    title = {Distributed Agents Supporting Event-Driven Design Processes},
    url = {https://link.springer.com/10.1007/978-94-011-5121-4_29},
    year = 1998
}
@inproceedings{tucson-aiia98,
    address = {Padova, Italy},
    apice = {TucsonAiia98},
    author = {Omicini, Andrea and Zambonelli, Franco},
    booktitle = {6th Convention of the Italian Association for Artificial Intelligence (AI*IA'98)},
    editor = {Badaloni, Silvano and Minnaja, Carlo},
    lens = {030-994-481-775-490},
    month = {23--25 } # sep,
    note = {AI*IA'98 Workshop on Knowledge Integration},
    openalex = {W25302466},
    pages = {94--98},
    publisher = {Edizioni Progetto Padova},
    title = {Coordination of Mobile Agents for Information Systems: the {{\sf TuCSoN}} Model},
    year = 1998
}
@article{castelfranchi-ai103,
    acm = {291749},
    address = {Essex, UK},
    apice = {CastelfranchiIA103},
    author = {Castelfranchi, Cristiano},
    doi = {10.1016/S0004-3702(98)00056-3},
    issn = {0004-3702},
    journal = {Artificial Intelligence},
    keywords = {BDI, cooperation, dependence, emergence, social agent, social structures},
    month = aug,
    number = {1-2},
    pages = {157--182},
    publisher = {Elsevier Science Publishers Ltd.},
    title = {Modelling Social Action for {AI} Agents},
    url = {https://www.sciencedirect.com/science/article/pii/S0004370298000563},
    volume = 103,
    year = 1998
}
@article{weg1998,
    apice = {Weg1998},
    author = {Wegner, Peter},
    journal = {The Monist},
    number = 1,
    pages = {58--108},
    title = {Towards Empirical Computer Science},
    volume = 82,
    year = 1998
}
@inproceedings{proc-eng98,
    apice = {ProcEng98},
    author = {Rolland, Colette},
    booktitle = {Advanced Information Systems Engineering},
    editor = {Pernici, Barbara and Thanos, Costantino},
    isbn = {3-540-64556-X},
    note = {10th International Conference CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings},
    pages = {1--24},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {A Comprehensive View of Process Engineering},
    volume = 1413,
    year = 1998
}
@inproceedings{tucson-iiis98,
    address = {Pisa, Italy},
    apice = {TucsonIiis98},
    author = {Omicini, Andrea and Zambonelli, Franco},
    booktitle = {1st International Workshop on Innovative Internet Information Systems (IIIS'98)},
    editor = {Schwartz, David G. and Divitini, Monica and Brasethvik, Terje},
    howpublished = {Technical Report IDI-TR-5/98},
    issn = {0802-6394},
    lens = {029-290-525-127-014},
    month = {8--9~} # jun,
    openalex = {W106162941},
    pages = {177--187},
    publisher = {IDI -- NTNU, Trondheim, Norway},
    title = {{{{\sf TuCSoN}}}: a Coordination model for Mobile Information Agents},
    year = 1998
}
@article{discsp-tkde10,
    abstract = {We develop a formalism called a distributed constraint satisfaction problem (distributed CSP) and algorithms for solving distributed CSPs. A distributed CSP is a constraint satisfaction problem in which variables and constraints are distributed among multiple agents. Various application problems in distributed artificial intelligence can be formalized as distributed CSPs. We present our newly developed technique called asynchronous backtracking that allows agents to act asynchronously and concurrently without any global control, while guaranteeing the completeness of the algorithm. Furthermore, we describe how the asynchronous backtracking algorithm can be modified into a more efficient algorithm called an asynchronous weak-commitment search, which can revise a bad decision without exhaustive search by changing the priority order of agents dynamically. The experimental results on various example problems show that the asynchronous weak-commitment search algorithm is, by far more, efficient than the asynchronous backtracking algorithm and can solve fairly large-scale problems.},
    apice = {DiscspTkde10},
    author = {Makoto Yokoo and Edmund H. Durfee and Toru Ishida and Kazuhiro Kuwabara},
    doi = {10.1109/69.729707},
    journal = {IEEE Transactions on Knowledge and Data Engineering},
    number = 5,
    numpages = 13,
    pages = {673--685},
    publisher = {IEEE},
    title = {The Distributed Constraint Satisfaction Problem: Formalization and Algorithms},
    volume = 10,
    year = 1998
}
@inproceedings{straccia98afuzzy,
    apice = {FuzzyDLStraccia1998},
    author = {Straccia, Umberto},
    booktitle = {15th National Conference on Artificial Intelligence (AAAI-98)},
    pages = {594--599},
    title = {A Fuzzy Description Logic},
    year = 1998
}
@incollection{dmars-atal1998,
    apice = {DmarsAtalIV},
    author = {d'Inverno, Mark and Kinny, David and Luck, Michael and Wooldridge, Michael},
    booktitle = {Intelligent Agents IV Agent Theories, Architectures, and Languages},
    doi = {10.1007/BFb0026757},
    eisbn = {978-3-540-69696-4},
    isbn = {978-3-540-64162-9},
    issn = {0302-9743},
    note = {4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 24--26, 1997 Proceedings},
    pages = {155--176},
    publisher = {Springer Berlin Heidelberg},
    series = {Lecture Notes in Computer Science},
    title = {A Formal Specification of {dMARS}},
    url = {https://link.springer.com/10.1007/BFb0026757},
    volume = 1365,
    year = 1998
}
@inproceedings{data-coopis1998,
    apice = {DataCoopis1998},
    author = {Moro, Gianluca and Natali, Antonio and Sartori, Claudio},
    booktitle = {Proceedings 3rd IFCIS International Conference on Cooperative Information Systems (Cat No 98EX122) COOPIS-98},
    doi = {10.1109/COOPIS.1998.706196},
    numpages = 10,
    pages = {177--186},
    publisher = {IEEE},
    title = {Data Access Services and Automatic Generation of Cooperative Interfaces},
    year = 1998
}
32 pubblicazioni  /  1998  •  in cima • indice • in fondo
pubblicazioni  /  1998  /  personali
Andrea Agiollo  •  Roberta Calegari  •  Giovanni Ciatto  •  Enrico Denti  •  Matteo Magnini  •  Mattia Matteini  •  Sara Montagna  •  Andrea Omicini  •  Giuseppe Pisano  •  Federico Sabbatini