Boari, M. | [14] | ||
Ciampolini, A. | [9], [15], [27], [53], [62] | ||
Corradi, A. | [7], [8], [10], [12], [14] | ||
Denti, E. | [26] | ||
Guerri, A. | [64], [74], [82] | ||
Lamma, E. | [1], [4], [5], [9], [13], [15], [18], [19], [20], [21], [22], [27], [44], [53], [62], [71], [72], [75] | ||
Leonardi, L. | [7], [8], [10], [12], [14] | ||
Mello, P. | [1], [4], [5], [9], [13], [15], [18], [19], [20], [21], [22], [27], [53], [62], [71], [72] , [75] | ||
Milano, M. | [1], [4], [5], [13], [18], [19], [20], [21], [22], [50], [60], [64], [74] , [77], [82], [101] | ||
Monti, G. | [97] | ||
Moro, G. | [70], [73] | ||
Natali, A. | [26] | ||
Omicini, A. | [2], [3], [16], [26] | ||
Riguzzi, F. | [17], [23], [44] | ||
Roli, A. | [50],[51],[59] ,[60] ,[66] ,[69],[84],[93],[94],[95] | ||
Stefanelli, C. | [14], [15], [27] | ||
Torroni, P. | [52], [53], [54], [55], [57], [58], [61], [62], [67], [68], [71], [72], [75], [76] | ||
Zambonelli, F. | [7], [8], [10], [11], [12], [24], [25] |
Abstract |
@techreport{LIA-001-95, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {A Meta Constraint Logic Programming Architecture for Qualitative and Quantitative Temporal Reasoning}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-001}, note = {LIA Series no.~1}, } |
Abstract |
@techreport{LIA-002-95, author = {A.~Omicini}, title = {Constraining Objects as Logic Theories}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-002}, note = {LIA Series no.~2}, } |
Abstract |
@techreport{LIA-003-95, author = {A.~Omicini}, title = {Abduction and Object State Configuration}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-003}, note = {LIA Series no.~3}, } |
Abstract |
@techreport{LIA-004-95, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {A Multi-Level {CLP} Architecture for Consistency Techniques}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-004}, note = {LIA Series no.~4}, } |
Abstract |
@techreport{LIA-005-95, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {A Meta Constraint Logic Programming Scheme}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-005}, note = {LIA Series no.~5}, } |
Abstract |
@techreport{LIA-006-95, author = {M.P.~Schumann}, title = {Impact of Object Orientation in Compiler Building - A Grammar Related Extensible Class Library}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-006}, note = {LIA Series no.~6}, } |
Abstract |
@techreport{LIA-007-95, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Experiences toward an Object-Oriented Approach to Structured Parallel Programming}, year = 1995, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-95-007}, note = {LIA Series no.~7}, } |
Abstract |
@techreport{LIA-001-96, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Diffusive Algorithms for Dynamic Load Balancing in Massively Parallel Architectures}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-001}, note = {LIA Series no.~8}, } |
Abstract |
@techreport{LIA-002-96, author = {A.~Ciampolini AND E.~Lamma AND P.~Mello AND V.~Pagone}, title = {An Abstract Interpreter for Improving the Efficiency of Dynamic Modular Logic Languages}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-002}, note = {LIA Series no.~9}, } |
Abstract |
@techreport{LIA-003-96, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {High-Level Management of Allocation in a Parallel Objects Environment}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-003}, note = {LIA Series no.~10}, } |
Abstract |
@techreport{LIA-004-96, author = {C.~McHale AND F.~Zambonelli}, title = {How to Control the Allocation of Parallel Applications: a Survey on Tools and Language Constructs}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-004}, note = {LIA Series no.~11}, } |
Abstract |
@techreport{LIA-005-96, author = {A.~Corradi AND L.~Leonardi AND F.~Zambonelli}, title = {Improving Distributed Unification through Abstract Interpretation}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-005}, note = {LIA Series no.~12}, } |
Abstract |
@techreport{LIA-006-96, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {Reasoning on Constraint in Constraint Logic Programming}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-006}, note = {LIA Series no.~13}, } |
Abstract |
@techreport{LIA-007-96, author = {M.~Boari AND A.~Corradi AND L.~Leonardi AND C.~Stefanelli}, title = {A Routing Strategy for Object-Oriented Applications in Massively Parallel Architectures}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-007}, note = {LIA Series no.~14}, } |
Abstract |
@techreport{LIA-008-96, author = {A.~Ciampolini AND E.~Lamma AND P.~Mello AND C.~Stefanelli}, title = {Improving Distributed Unification through Abstract Interpretation}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-008}, note = {LIA Series no.~15}, } |
Abstract |
@techreport{LIA-009-96, author = {A.~Omicini}, title = {A General Framework for Multi-Theory Logic Languages}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-009}, note = {LIA Series no.~16}, } |
Abstract |
@techreport{LIA-010-96, author = {F.~Riguzzi}, title = {A Survey of Software Metrics}, year = 1996, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-96-010}, note = {LIA Series no.~17}, } |
Abstract |
@techreport{LIA-001-97, author = {S.~Buzzi AND E.~Lamma AND P.~Mello AND M.~Milano}, title = {Consistent Orderings for Constraint Satisfaction Scheduling}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-001}, note = {LIA Series no.~18}, } |
Abstract |
@techreport{LIA-002-97, author = {E.~Lamma AND P.~Mello AND M.~Milano}, title = {An Incremental Consistency Algorithm for Adaptive Consistency}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-002}, note = {LIA Series no.~19}, } |
Abstract |
@techreport{LIA-003-97, author = {A.~Caprara AND F.~Focacci AND E.~Lamma AND P.~Mello AND M.~Milano AND P.~Toth AND D.~Vigo}, title = {Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-003}, note = {LIA Series no.~20}, } |
Abstract |
@techreport{LIA-004-97, author = {R.~Cucchiara AND E.~Lamma AND P.~Mello AND M.~Milano}, title = {An Interactive Constraint-Based System for Selective Attention in Visual Search}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-004}, note = {LIA Series no.~21}, } |
Abstract |
@techreport{LIA-005-97, author = {R.~Cucchiara AND E.~Lamma AND P.~Mello AND M.~Milano}, title = {Interactive Constraint Satisfaction}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-005}, note = {LIA Series no.~22}, } |
Abstract |
@techreport{LIA-006-97, author = {F.~Gramantieri AND E.~Lamma AND P.~Mello AND F.~Riguzzi}, title = {A System for Measuring Function Points from Specifications}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-006}, note = {LIA Series no.~23}, } |
Abstract |
@techreport{LIA-007-97, author = {F.~Zambonelli}, title = {Logging Algorithms for Parallel Programs Replay}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-007}, note = {LIA Series no.~24}, } |
Abstract |
@techreport{LIA-008-97, author = {F.~Zambonelli}, title = {Performance Comparison of On-line Algorithms for Consistent Checkpointing}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-008}, note = {LIA Series no.~25}, } |
Abstract |
@techreport{LIA-009-97, author = {E.~Denti AND A.~Natali AND A.~Omicini}, title = {Expressive Power of the {ACLT} Reaction Specification Language}, year = 1997, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-97-009}, note = {LIA Series no.~26}, } |
Abstract |
@techreport{LIA-004-00, author = {E. Lamma AND F. Riguzzi AND L. M. Pereira}, title = {Belief Revision via Lamarckian Evolution}, year = 2000, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-00-004}, note = {LIA Series no.~44}, } |
Abstract |
@techreport{LIA-006-01, author = {A.~Roli and M.~Milano}, title = {Metaheuristics: A Multiagent Perspective}, year = 2001, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-01-006}, note = {LIA Series no.~50}, } |
Abstract |
@techreport{LIA-007-01, author = {A.~Roli}, title = {Boolean Networks: An application to the Satisfiability Problem}, year = 2001, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-01-007}, note = {Laurea Thesis (1998), LIA Series no.~51}, } |
Abstract |
@techreport{LIA-008-01, author = {P. Torroni}, title = {A study on the termination of negotiation dialogues}, year = 2001, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-01-008}, note = {LIA Series no.~52}, } |
Abstract |
@techreport{LIA-009-01, author = {A. Ciampolini and E. Lamma and P. Mello and P.Torroni}, title = {Coordinating the Safe Execution of Tasks in a Constrained Multi-Agent System}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-01-009}, note = {LIA Series no.~53}, } |
Abstract |
@techreport{LIA-001-02, author = {F. Sadri and F. Toni and P.Torroni}, title = {An abductive logic programming approach for negotiation and communication in multi-agent systems}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-001}, note = {LIA Series no.~54}, } |
Abstract |
@techreport{LIA-002-02, author = {A. Ciampolini and P.Torroni}, title = {Using Abductive Logic Agents for Legal Justification}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-002}, note = {LIA Series no.~55}, } |
Abstract |
@techreport{LIA-003-02, author = {A. Ciampolini, P. Mello, S. Storari}, title = {Distributed Medical Diagnosis with Abductive Logic Agents}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-003}, note = {LIA Series no.~56}, } |
Abstract |
@techreport{LIA-004-02, author = {P. Torroni, P. Mello, A. Ciampolini, E. Lamma, M. Milano, R. Montanari, F. Riguzzi, and A. Roli}, title = {The SOcieties of ComputeeS Project: a position paper.}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-004}, note = {LIA Series no.~57}, } |
Abstract |
@PhDThesis{LIA-005-02, author = {Paolo Torroni}, title = {Reasoning and interaction in logic-based multi-agent systems.}, year = 2002, school = {Department of Electronics, Computer Science, and Systems, University of Bologna, Italy}, note = {Technical Report DEIS-LIA-02-005. LIA Series no.~58}, } |
Abstract |
@techreport{LIA-006-02, author = {A.~Roli}, title = {Criticality and parallelism in structured SAT instances}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-006}, note = {LIA Series no.~59}, } |
Abstract |
@techreport{LIA-007-02, author = {A.~Roli and M.~Milano}, title = {MAGMA: A Multiagent Architecture for Metaheuristics}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-007}, note = {LIA Series no.~60}, } |
Abstract |
@techreport{LIA-008-02, author = {F. Sadri and F. Toni and P. Torroni}, title = {A multi-stage negotiation architecture for sharing resources amongs logic-based agents}, year = 2002, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-02-008}, note = {LIA Series no.~61}, } |
Abstract |
@techreport{LIA-001-03, author = {M. Alberti and A. Ciampolini and M. Gavanelli and E. Lamma and P. Mello and P. Torroni}, title = {Logic Based Semantics for an Agent Communication Language}, year = 2003, month = jan, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-03-001}, note = {LIA Series no.~62}, } |
Abstract |
@techreport{LIA-003-03, author = {A. Guerri and M. Milano}, title = {Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions}, year = 2003, month = apr, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-03-003}, note = {LIA Series no.~64}, } |
Abstract |
@techreport{LIA-005-03, author = {A.~Roli}, title = {Metaheuristics and Structure in Satisfiability Problems}, year = 2003, month = may, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-03-005}, note = {PhD Thesis - LIA Series no.~66}, } |
Abstract |
@article{LCMAS2003torroni, author = {M. Alberti and M. Gavanelli and E. Lamma and P. Mello and P. Torroni}, title = {Specification and Verification of Agent Interactions using Social Integrity Constraints}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2003}, editor = {W. {van der Hoek} and A. Lomuscio and E. {de Vink} and M. Wooldridge}, volume = 85, number = 2, publisher = {Elsevier Science Publishers}, } |
Abstract |
@article{CLIMA02torroni, author = {P. Torroni}, title = {Computational Logic in Multi-Agent Systems: recent advances and future directions}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {2004}, editor = {J. Dix and J. Leite and K. Satoh}, publisher = {Kluwer Academic Publishers}, } |
Abstract |
@techreport{LIA-04-001, author = {A.~Roli}, title = {Symmetry-Breaking and Local Search: A Case Study}, year = 2004, month = june, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-04-001}, note = {LIA Series no.~69}, } |
Abstract |
@techreport{LIA-04-002, author = {A.M. Ouksel and G. Moro}, title = {G-Grid: A Class of Scalable and Self-Organizing Data Structures for Multi-dimensional Querying and Content Routing in P2P Networks}, year = 2004, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-04-002}, note = {LIA Series no.~70}, } |
Abstract |
@techreport{LIA-04-003, author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni}, title = {Compliance Verification of Agent Interaction: a Logic-based Software Tool}, year = 2005, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-04-003}, note = {LIA Series no.~71}, } |
Abstract | @techreport{LIA-04-004, author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni}, title = {On the automatic verification of interaction protocols using $g-{\cal S}CIFF$}, year = 2005, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-04-004}, note = {LIA Series no.~72}, } |
Abstract | @techreport{LIA-04-005, author = {G. Moro and G. Monti}, title = {{M-Grid: a P2P Self-Organizing Infrastructure for Routing and Location Service in Mobile Ad-Hoc Networks}}, year = 2004, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-04-005}, note = {LIA Series no.~73}, } |
Abstract | @techreport{LIA-05-001, author = {Luca Benini and Davide Bertozzi and Alessio Guerri and Michel Milano}, title = {Allocation and Scheduling for MPSoCs via decomposition and no-good generation}, year = 2005, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-05-001}, note = {LIA Series no.~74}, } |
Abstract | @techreport{LIA-06-001, author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni}, title = {Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF proof-procedure}, year = 2006, month = mar, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-06-001}, note = {LIA Series no.~75}, } |
Abstract | @techreport{LIA-06-002, author = {Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and Marco Montali and Paolo Torroni}, title = {Policy-based reasoning for smart web service interaction}, year = 2006, month = may, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-06-002}, note = {LIA Series no.~76}, } |
Abstract | @techreport{LIA-06-003, author = {Michele Lombardi, Michela Milano}, title = {Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs}, year = 2007, month = Mar, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-07-004}, note = {LIA Series no.~76}, } |
Abstract | @techreport{LIA-07-001, author = {Federico Chesani and Paola Mello and Marco Montali and Sergio Storari}, title = {Towards a DecSerFlow Declarative Semantics based on Computational Logic}, year = 2007, month = Jan, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-07-001}, note = {LIA Series no.~79}, } |
Abstract | @techreport{LIA-07-004, author = {Luca Benini and Davide Bertozzi and Alessio Guerri and Michel Milano}, title = {Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoC}, year = 2006, month = may, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-06-002}, note = {LIA Series no.~82}, } |
Abstract | @techreport{LIA-07-006, author = {Luca Di Gaspero and Andrea Roli}, title = {A preliminary analysis on metaheuristics methods applied to the Haplotype Inference Problem}, year = 2007, month = august, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-07-006}, note = {LIA Series no.~84}, } |
Abstract | @techreport{LIA-07-007, author = {Domenico Corapi}, title = {Traduzione di un linguaggio per l’ingegneria dei requisiti orientato agli agenti in logica computazionale}, year = 2007, month = oct, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-07-007}, note = {Master Thesis. LIA Series no.~85. In Italian.}, } |
Abstract | @techreport{LIA-08-004, author = {Marco Montali and Marco Alberti and Federico Chesani and Marco Gavanelli and Evelina Lamma and Paola Mello and and Paolo Torroni}, title = {Verification from declarative specifications using Logic Programming}, year = 2008, month = jun, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-08-004}, note = {LIA Series no.~90.}, } |
Abstract | @techreport{LIA-09-004, author = {Roli, A. and Blum, C.}, title = {Tabu Search for the Founder Sequence Reconstruction Problem: A Preliminary Study}, year = 2009, month = january, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-09-004}, note = {LIA Series no.~94}, } |
Abstract | @techreport{LIA-09-003, author = {Benedettini, S. and Di Gaspero, L. and Roli, A.}, title = {Genetic Master-Slave Algorithm for Haplotype Inference by Parsimony}, year = 2009, month = january, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-09-003}, note = {LIA Series no.~93}, } |
Abstract | @techreport{LIA-09-005, author = {Benedettini, S. and Roli, A. and Di Gaspero, L.}, title = {EasyGenetic: A Template Metaprogramming Framework for Genetic Master-Slave Algorithms}, year = 2009, month = {May}, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-09-005}, note = {LIA Series no.~95}, } |
Abstract | @techreport{LIA-09-007, author = {Monti, G.}, title = {WPA-GPG: Wireless authentication using GPG Key}, year = 2009, month = {December}, institution = {University of Bologna (Italy)}, number = {DEIS-LIA-07-009}, note = {LIA Series no.~97}, } |
Abstract | @techreport{LIA-001-11, Author = {Ozgur Kafali and Paolo Torroni}, Institution = {University of Bologna (Italy)}, Month = {April}, Note = {LIA Series no.~99, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-001-11.pdf}}, Number = {DEIS-LIA-001-11}, Title = {{Diagnosing commitments: Delegation revisited}}, Year = 2011} |
Abstract | @techreport{LIA-002-11, Author = {Marco Montali and Fabrizio M. Maggi and Federico Chesani and {W. M. P.} van der Aalst}, Institution = {University of Bologna (Italy)}, Month = {March}, Note = {LIA Series no.~100, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-002-11.pdf}}, Number = {DEIS-LIA-002-11}, Title = {{Monitoring Business Constraints with the Event Calculus}}, Year = 2011} |
Abstract | @techreport{LIA-001-14, Author = {Alessio Bonfietti and Michele Lombardi and Michela Milano}, Institution = {University of Bologna (Italy)}, Month = {February}, Note = {LIA Series no.~101, \url{http://www.lia.deis.unibo.it/Research/TechReport/LIA-001-14.pdf}}, Number = {LIA-001-14}, Title = {{Disregarding Duration Uncertainty in Partial Order Schedules? Yes, we can!}}, Year = 2014} |
About this Server |
DocMaster |
LIA WebMaster |
|