| 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 |
|
| ||
