DEIS - Università di Bologna - L I A - Laboratorio d'Informatica Avanzata

BibTeX Entries for LIA Papers

Barruffi, R. OVUA97
Bellavista, P. WCCEE98, EAEEIE98
Corradi, A. MPPM95, PPL92, IPP97, PDP97, HPCN97, EM96, WCCEE98, EAEEIE98 , DAIS99
Cremonini, M. CIA98 , WETICE98 SAC99 , DAIS99 PDSE99
Denti, E. AI*IA95, Coord96, Coord97, ELP92, FroCoS96b, GULP92, ICLP97, IMPLP93, ModelAge97, PAP94, SAC98, SCSAI11
Lamma, E. AIENG96, ECAI96, ELP92, FroCoS96a, InterSymp95, ISMIS96, LMM95a, OVUA97, TIME96
Leonardi, L. MPPM95, PDP96, PPL92, IPP97, PDP97, HPCN97
Mello, P. AIENG96, ECAI96, ELP92, FroCoS96a, InterSymp95, ISMIS96, LMM95a, OVUA97, TIME96
Milano, M. AIENG96, ECAI96, FroCoS96a, InterSymp95, ISMIS96, LMM95a, OVUA97, TIME96
Natali, A. AI*IA95, AI*IA96, Coord96, Coord97, ECOOP94, ELP92, FAPR96, FroCoS96b, GULP92, GULP93, ICLP97, ICRA94, IMPLP93, PAP94, PLILP93, SAC98, SCSAI11
Omicini, A. AI*IA95, AI*IA96, Coord96, Coord97, ECOOP94, ELP92, FAPR96, FroCoS96b, GULP92, GULP93, ICLP97, ICRA94, IMPLP93, ModelAge97, PAP94, PLILP93, SAC98, SCSAI11 , SAC99 , PDSE99
Riguzzi, F. ECAI96
Zambonelli, F. MPPM95, PDP96, PPL92, IPP97, PDP97, HPCN97, EM96 , SAC99 , PDSE99
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
About this Server
Mail to DocMaster
DocMaster
Mail to WebMaster
LIA WebMaster
[LIA Home] [LIA Research] [LIA Papers] [DEIS Research] [DEIS Home] [Alma Mater Home]