Abstract |
@incollection{ctx_imple-elp92, author = {E.~Denti AND E.~Lamma AND P.~Mello AND A.~Natali AND A.~Omicini}, title = {Techniques for Implementing Contexts in Logic Programming}, editor = {E.~Lamma AND P.~Mello}, booktitle = {Extensions of Logic Programming}, year = 1993, publisher = {Springer-Verlag}, pages = {339--358}, series = {LNAI}, volume = 660, note = {3rd International Workshop on Extensions of Logic Programming, ELP'92, Bologna, Italy, February 26--28, 1992}, } |
Abstract |
@inproceedings{ctx_sicstus-gulp92, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {Contexts as First-Class Objects: an Implementation based on the {SICS}tus Prolog System}, booktitle = {Proceedings of the 7th Italian Conference on Logic Programming, GULP'92}, year = 1992, address = {Tremezzo (CO), Italy}, month = {June 17-19}, pages = {307--320}, note = {S.~Costantini (ed.)}, } |
Abstract |
@inproceedings{lp&robot-gulp93, author = {A.~Natali AND A.~Omicini AND F.~Zanichelli}, title = {Exploiting Logic Programming in Robot Applications}, booktitle = {Proceedings of the 8th Italian Conference on Logic Programming, GULP'93}, year = 1993, address = {Gizzeria (CZ), Italy}, month = {June 15-18}, pages = {535--548}, note = {D.~Sacca\`{a} (ed.)}, } |
Abstract |
@incollection{ows-plilp93, author = {A.~Natali AND A.~Omicini}, title = {Objects with State in Contextual Logic Programming}, editor = {M.~Bruynooghe AND J.~Penjam}, booktitle = {Programming Language Implementation and Logic Programming}, year = 1993, publisher = {Springer-Verlag}, pages = {220--234}, series = {LNCS}, volume = 714, note = {3rd International Symposium on Programming Language Implementation and Logic Programming, PLILP'93, Tallin, Estonia, August 25-27, 1993}, } |
Abstract |
@incollection{prolog_obj-impllp93, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {Moving Prolog Toward Objects}, editor = {E.~Tick AND G.~Succi}, booktitle = {Implementations of Logic Programming Systems}, year = 1994, publisher = {Kluwer Academic Publisher}, pages = {92--104}, } |
Abstract |
@inproceedings{cara_prolog-pap94, author = {E.~Denti AND A.~Natali AND A.~Omicini AND F.~Zanichelli}, title = {A Structured Logic Programming Approach to Robot Programming}, editor = {L.~Sterling}, booktitle = {Proceedings of the 2nd International Conference on the Practical Applications of Prolog, PAP'94}, address = {London, UK}, year = 1994, month = {April 26--29}, pages = {187--206}, } |
Abstract |
@inproceedings{cara_multiagent-icra94, author = {F.~Zanichelli AND S.~Caselli AND A.~Natali AND A.~Omicini}, title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics}, booktitle = {Proceedings of the 1994 {IEEE} International Conference on Robotics and Automation, ICRA'94}, address = {S.~Diego (CA), USA}, year = 1994, month = {May 8--13}, publisher = {IEEE Computer Society Press}, pages = {3501--3506}, } |
Abstract |
@incollection{oocomp_lp-ecoop94, author = {A.~Omicini AND A.~Natali}, title = {Object-Oriented Computations in Logic Programming}, editor = {M.~Tokoro AND R.~Pareschi}, booktitle = {Object-Oriented Programming}, year = 1994, publisher = {Springer-Verlag}, pages = {194--212}, series = {LNCS}, volume = 821, note = {8th European Conference on Object-Oriented Programming, ECOOP'94, Bologna, Italy, July 4--8, 1994}, } |
Abstract |
@incollection{robotcontrol_ctx-scsai11, author = {E.~Denti AND A.~Natali AND A.~Omicini AND F.~Zanichelli}, title = {Robot Control Systems as Contextual Logic Programs}, editor = {C.~Beierle AND L.~Pl\"{u}mer}, booktitle = {Logic Programming: Formal Methods and Practical Applications}, year = 1994, publisher = {Elsevier Science Publisher B.V.}, pages = {343--379}, series = {SCSAI}, volume = 11, } |
Abstract |
@article{train-aieng96, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {A Distributed Constraint-based Scheduler for Railway Traffic}, journal = {Artificial Intelligence in Engineering}, publisher = {Elsevier Science Ltd.}, year = 1996, note = {Will appear}, } |
Abstract |
@incollection{aclt-aiia95, author = {A.~Omicini AND E.~Denti AND A.~Natali}, title = {Agent Coordination and Control through Logic Theories}, editor = {M.~Gori AND G.~Soda}, booktitle = {Topics in Artificial Intelligence}, year = 1995, publisher = {Springer-Verlag}, pages = {439--450}, series = {LNAI}, volume = 992, note = {4th Congress of the Italian Association for Artificial Intelligence, AI*IA'95, Firenze, Italy, October 11--13, 1995}, } |
Abstract |
@inproceedings{temp-cons-intersymp95, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {Temporal Constraint Handling in Scheduling Problems}, booktitle = {Proceedings of The Annual Meeting of the International Institute for Advanced Studies in System Research and Cybernetics, InterSymp'95}, year = 1995, publisher = {The International Institute for Advanced Studies in Systems Research and Cybernetics}, } |
Abstract |
@incollection{metaclp_arch-frocos96, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {Combining Constraint Solvers in a Meta {C}onstraint {L}ogic {P}rogramming Architecture}, editor = {F.~Baader AND K.U.~Schulz}, booktitle = {Frontiers of Combining Systems}, year = 1996, publisher = {Kluwer Academic Publishers}, pages = {179--195}, note = {First International Workshop ``Frontiers of Combining Systems'', FroCoS'96, Munich, Germany, March 26-29, 1996}, } |
Abstract |
@incollection{aclt_agents-frocos96, author = {E.~Denti AND A.~Natali AND A.~Omicini AND M.~Venuti}, title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents}, editor = {F.~Baader AND K.U.~Schulz}, booktitle = {Frontiers of Combining Systems}, year = 1996, publisher = {Kluwer Academic Publishers}, pages = {147--160}, note = {First International Workshop ``Frontiers of Combining Systems'', FroCoS'96, Munich, Germany, March 26-29, 1996}, } |
Abstract |
@incollection{aclt_distrib-coord96, author = {E.~Denti AND A.~Natali AND A.~Omicini AND M.~Venuti}, title = {An Extensible Framework for the Development of Coordinated Applications}, editor = {P.~Ciancarini AND C.~Hankin}, booktitle = {Coordination Languages and Models}, year = 1996, publisher = {Springer-Verlag}, pages = {305--320}, series = {LNCS}, volume = 1061, note = {First International Conference, COORDINATION'96, Cesena, Italy, April 15--17, 1996}, } |
Abstract |
@unpublished{meta_cons_tech-sub, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {A Multi-Level {CLP} Architecture for Consistency Techniques Architecture}, note = {Submitted for publication}, } |
Abstract |
@incollection{meta-time96, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {Temporal Reasoning in a Meta {C}onstraint {L}ogic {P}rogramming Architecture}, editor = {Chittaro AND Goodwin AND Hamilton AND Montanari}, booktitle = {Temporal Representation and Reasoning}, year = 1996, publisher = {IEEE Computer Society Press}, pages = {128--135}, note = {3rd Workshop on Temporal representation and Reasoning}, } |
Abstract |
@inproceedings{sched-ismis96, author = {V.~Brusoni AND L.~Console AND E.~Lamma AND P.~Mello AND M.~Milano AND P.~Terenziani}, title = {Resource-based vs. Task-based approaches to Scheduling Problems}, booktitle = {Proceedings of the 9th International Symposium on Methodologies for Intelligent Systems}, publisher = {Springer-Verlag}, series = {LNCS}, year = 1996, } |
Abstract |
@inproceedings{scalts-mppm95, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {A Scalable Tuple Space Model for Structured Parallel Programming}, booktitle = {Proceedings of the Conference on Massively Parallel Programming Models}, publisher = {IEEE CS Press}, year = 1995, pages = {25--32}, month = {October}, address = {Berlin, Germany}, } |
Abstract |
@article{loadbal-ppl92, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Load Balancing Strategies for Massively Parallel Architectures}, journal = {Parallel Processing Letters}, volume = 2, month = {September}, year = 1992, } |
Abstract |
@inproceedings{port-pdp96, author = {F.~Zambonelli AND M.~Pugassi AND L.~Leonardi AND N.~Scarabottolo}, title = {Experiences on Porting a Parallel Objects Environment from a Transputer Network to a PVM-based System}, booktitle = {Proceedings of the Fourth EUROMICRO Workshop on Parallel and Distributed Processing}, publisher = {IEEE CS Press}, year = 1996, month = {January}, address = {Braga, Portugal}, pages = {367--374}, } |
Abstract |
@inproceedings{obj_plan-fapr96, author = {U.~Fonda AND A.~Natali AND A.~Omicini}, title = {An Object-Oriented Approach to Planning}, booktitle = {Proceedings of the FAPR'96 Workshop on Reasoning about Actions and Planning in Complex Environments}, editor = {U.C.~Sigmund, M.~Thielscher}, year = 1996, month = {June}, address = {Bonn, Germany}, pages = {III--1/8}, } |
Abstract |
@inproceedings{knowacq_plansel-aiia96, author = {A.~Natali AND A.~Omicini}, title = {Integrating Knowledge Acquisition in Plan Selection}, booktitle = {Proceedings of the AI*IA'96 Workshop ``Planning Robot Actions in Complex Environments''}, year = 1996, month = {September, 26-28}, address = {Napoli, Italy}, pages = {265--268}, } |
Abstract |
@inproceedings{extcommabstr-modelage97, author = {E.~Denti AND A.~Omicini}, title = {Designing Multi-Agent Systems around an Extensible Communication Abstraction}, editor = {A.~Cesta AND P.-Y.~Schobbens}, booktitle = {Proceedings of the 4th ModelAge Workshop on Formal Models of Agents, Certosa di Pontignano, Italy, January 15--18, 1997}, publisher = {National Research Council of Italy}, pages = {87--97}, year = 1997, note = {To be published by Springer-Verlag in the LNAI Series}, } |
Abstract |
@incollection{progcoordmedia-coord97, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {Programmable Coordination Media}, editor = {D.~Garlan AND D.~Le~M\'{e}tayer}, booktitle = {Coordination Languages and Models}, year = 1997, publisher = {Springer-Verlag}, pages = {274--288}, series = {LNCS}, volume = 1282, note = {Second International Conference COORDINATION'97, Berlin, Germany, September 1--3, 1997}, } |
Abstract |
@inproceedings{acl-ipp97, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {High-Level Directives to Drive the Allocation of Parallel Object-Oriented Applications}, booktitle = {Proceedings of the Workshop on High-Level Programming Models and Supportive Environments, International Parallel Processing Symposium}, publisher = {IEEE CS Press}, year = 1997, month = {April}, address = {Geneva (CH)}, } |
Abstract |
@inproceedings{multits-pdp97, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Multiple Tuple Spaces onto Massively Parallel Architectures: a Hierarchical Approach}, booktitle = {Proceedings of the Fifth EUROMICRO Workshop on Parallel and Distributed Processing}, publisher = {IEEE CS Press}, year = 1997, month = {January}, address = {London (UK)}, } |
Abstract |
@inproceedings{autoalloc-hpcn97, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Integrating Automated and User-Driven Tools toward Efficient Parallel Objects Allocation}, booktitle = {Proceedings of the High-Performance Computing and Networking Conference}, publisher = {Springer-Verlag}, year = 1997, series = {LNCS}, month = {April}, address = {Vienna (A)}, } |
Abstract |
@inproceedings{adaptrep-euromicro96, author = {A.~Cabri AND A.~Corradi AND F.~Zambonelli}, title = {Experience of Adaptive Replication in Distributed File Systems}, booktitle = {Proceedings of the 22nd EUROMICRO Conference}, publisher = {IEEE CS Press}, year = 1996, month = {September}, address = {Prague (CZ)}, } |
Abstract |
@inproceedings{abd_ind-ecai96, author = {F.~Esposito AND E.~Lamma AND D.~Malerba AND P.~Mello AND M.~Milano AND F.~Riguzzi AND G.~Semeraro}, title = {Learning Abductive Logic Programs}, booktitle = {Notes of the Workshop on Abductive and Inductive Reasoning, European Conference on Artificial Intelligence, ECAI96}, year = 1996, address = {Budapest, Hungary}, month = {August 12}, pages = {23--30}, } |
Abstract |
@inproceedings{plan_sysconf-ovua97, author = {R.~Barruffi AND E.~Lamma AND P.~Mello AND M.~Milano}, title = {Application of Planning Techniques for System Configuration Tasks}, booktitle = {Proceedings of the 4th Workshop of the OpenView University Association, OVUA '97}, year = 1997, address = {Madrid, Spain}, month = {April 2--4}, } |
Abstract |
@inproceedings{merging_aclt_web-iclp97, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {Merging Logic Programming into Web-based technology: a Coordination-based approach}, booktitle = {Proceedings of the 2nd International Workshop on Logic Programming Tools for Internet Applications, in conjunction with ICLP'97}, year = 1997, address = {Leuven, Belgium}, month = {July 8--12}, pages = {117--128}, } |
Abstract |
@inproceedings{respect_expr-sac98, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {On the Expressive Power of a Language for Programming Coordination Media}, booktitle = {Proceedings of the 1998 ACM Symposium on Applied Computing (SAC '98) - Special Track on Coordination Models, Languages and Applications}, address = {Marriott Marquis, Atlanta, Georgia, U.S.A.}, month = {February 27 - March 1}, year = 1998, } |
Abstract |
@inproceedings{distance_learning_web-wccee98, author = {P.~Bellavista AND A.~Corradi}, title = {Learning Effectively As in Presence (LEAP): an Internet-Based Integrated Environment for Distance Learning}, booktitle = {Proceedings of the 7th World Conference on Continuing Engineering Education (WCCEE'98)}, year = 1998, address = {Turin, Italy}, month = {May 10--13}, pages = {56--61}, } |
Abstract |
@inproceedings{distance_learning_mobile_agents_web-eaeeie98, author = {P.~Bellavista AND A.~Corradi}, title = {Standard and Emerging Technologies for Distributed Applications in Internet-Based Distance Learning}, booktitle = {Proceedings of the 9th Conference of the European Association for Education in Electrical and Information Engineering (EAEEIE'98)}, year = 1998, address = {Lisbon, Portugal}, month = {May 20--23}, pages = {233--238}, } |
Abstract |
@inproceedings{mobile__agents_cia98, author = {M.~Cremonini, A.~Corradi, C.~Stefanelli}, title = {Melding Abstractions with Mobile Agents}, booktitle = {CIA '98, Cooperative Information Agents II, Lecture Notes in Artificial Intelligence LNAI,Springer-Verlag.98)}, year = 1998, address = {Paris, France}, month = {July}, pages = {}, } |
About this Server |
DocMaster |
LIA WebMaster |
|