Per Year
@inproceedings{lprobot-pap94,
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
editor = {Sterling, Leon},
location = {London, UK},
month = {26--29~} # apr,
pages = {187--206},
title = {A Structured Logic Programming Approach to Robot Programming},
year = 1994
}
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
booktitle = {2nd International Conference on the Practical Applications of Prolog (PAP'94)},
editor = {Sterling, Leon},
location = {London, UK},
month = {26--29~} # apr,
pages = {187--206},
title = {A Structured Logic Programming Approach to Robot Programming},
year = 1994
}
@article{coordination-csur26,
acm = {174668},
Author = {Malone, Thomas W. and Crowston, Kevin},
Doi = {10.1145/174666.174668},
Issn = {0360-0300},
Journal = {ACM Computing Surveys},
Number = 1,
Pages = {87--119},
Publisher = {ACM Press},
Title = {The Interdisciplinary Study of Coordination},
Url = {http://dl.acm.org/citation.cfm?doid=174668},
Volume = 26,
Year = 1994}
acm = {174668},
Author = {Malone, Thomas W. and Crowston, Kevin},
Doi = {10.1145/174666.174668},
Issn = {0360-0300},
Journal = {ACM Computing Surveys},
Number = 1,
Pages = {87--119},
Publisher = {ACM Press},
Title = {The Interdisciplinary Study of Coordination},
Url = {http://dl.acm.org/citation.cfm?doid=174668},
Volume = 26,
Year = 1994}
@inproceedings{lprobot-icra94,
author = {Zanichelli, Francesco and Caselli, Stefano and Natali, Antonio and Omicini, Andrea},
booktitle = {1994 IEEE International Conference on Robotics and Automation (ICRA'94)},
dblp = {conf/agp/NataliOZ93},
doi = {10.1109/ROBOT.1994.351032},
ieee = {351032},
iris = {11585/951124},
isbn = {0-8186-5330-2},
issn = {1050-4729},
location = {San Diego, CA, USA},
month = {8--13~} # may,
pages = {3501--3507},
publisher = {IEEE CS},
scopus = {2-s2.0-0028134395},
title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics},
volume = 4,
wos = {WOS:A1994BA72M00521},
year = 1994
}
author = {Zanichelli, Francesco and Caselli, Stefano and Natali, Antonio and Omicini, Andrea},
booktitle = {1994 IEEE International Conference on Robotics and Automation (ICRA'94)},
dblp = {conf/agp/NataliOZ93},
doi = {10.1109/ROBOT.1994.351032},
ieee = {351032},
iris = {11585/951124},
isbn = {0-8186-5330-2},
issn = {1050-4729},
location = {San Diego, CA, USA},
month = {8--13~} # may,
pages = {3501--3507},
publisher = {IEEE CS},
scopus = {2-s2.0-0028134395},
title = {A Multi-Agent Framework and Programming Environment for Autonomous Robotics},
volume = 4,
wos = {WOS:A1994BA72M00521},
year = 1994
}
@incollection{oolp-ilps94,
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Implementations of Logic Programming Systems},
dblp = {conf/iclp/DentiNO93},
doi = {10.1007/978-1-4615-2690-2_7},
editor = {Tick, Evan and Succi, Giancarlo},
eisbn = {978-1-4615-2690-2},
eissn = {978-1-4615-2690-2},
iris = {11585/951126},
isbn = {978-1-4613-6157-2},
isbn10 = {0-7923-9457-7},
issn = {978-1-4613-6157-2},
keywords = {contextual logic programming; modules; structured theories},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {A1994BB31B00007},
year = 1994
}
author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
booktitle = {Implementations of Logic Programming Systems},
dblp = {conf/iclp/DentiNO93},
doi = {10.1007/978-1-4615-2690-2_7},
editor = {Tick, Evan and Succi, Giancarlo},
eisbn = {978-1-4615-2690-2},
eissn = {978-1-4615-2690-2},
iris = {11585/951126},
isbn = {978-1-4613-6157-2},
isbn10 = {0-7923-9457-7},
issn = {978-1-4613-6157-2},
keywords = {contextual logic programming; modules; structured theories},
pages = {89--101},
publisher = {Kluwer Academic Publishers},
title = {Moving {P}rolog Toward Objects},
url = {http://link.springer.com/10.1007/978-1-4615-2690-2_7},
wos = {A1994BB31B00007},
year = 1994
}
@incollection{neuman-scale94,
Address = {Los Alamitos, CA, USA},
Author = {Neuman, B. Clifford},
Booktitle = {Readings in Distributed Computing Systems},
Editor = {Casavant, Thomas Lee and Singhal, Mukesh},
Pages = {463--489},
Publisher = {IEEE CS Press},
Title = {Scale in Distributed Systems},
Year = 1994}
Address = {Los Alamitos, CA, USA},
Author = {Neuman, B. Clifford},
Booktitle = {Readings in Distributed Computing Systems},
Editor = {Casavant, Thomas Lee and Singhal, Mukesh},
Pages = {463--489},
Publisher = {IEEE CS Press},
Title = {Scale in Distributed Systems},
Year = 1994}
@inproceedings{lpse-iclp94,
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
editor = {Ciancarini, Paolo and Sterling, Leon},
location = {S. Margherita Ligure, GE, Italy},
month = {18~} # jun,
note = {Extended Abstract},
pages = {139--148},
title = {Open Logic Theory Composition in a Software Engineering Perspective},
year = 1994
}
author = {Denti, Enrico and Omicini, Andrea},
booktitle = {ICLP'94 Post-Conference Workshop on Applications of Logic Programming to Software Engineering},
editor = {Ciancarini, Paolo and Sterling, Leon},
location = {S. Margherita Ligure, GE, Italy},
month = {18~} # jun,
note = {Extended Abstract},
pages = {139--148},
title = {Open Logic Theory Composition in a Software Engineering Perspective},
year = 1994
}
@inproceedings{oolp-ecoop94,
acm = {646152.679515},
author = {Omicini, Andrea and Natali, Antonio},
booktitle = {Object-Oriented Programming},
dblp = {conf/ecoop/OmiciniN94},
doi = {10.1007/BFb0052184},
editor = {Tokoro, Mario and Pareschi, Remo},
isbn = {3-540-58202-9},
issn = {0302-9743},
keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
pages = {194--212},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21344495678},
series = {Lecture Notes in Computer Science},
title = {Object-Oriented Computations in Logic Programming},
url = {http://link.springer.com/chapter/10.1007/BFb0052184},
volume = 821,
year = 1994
}
acm = {646152.679515},
author = {Omicini, Andrea and Natali, Antonio},
booktitle = {Object-Oriented Programming},
dblp = {conf/ecoop/OmiciniN94},
doi = {10.1007/BFb0052184},
editor = {Tokoro, Mario and Pareschi, Remo},
isbn = {3-540-58202-9},
issn = {0302-9743},
keywords = {Integration of object-oriented and logic paradigms, state configuration, partially configured instances, abduction, meta-level constraints},
note = {8th European Conference (ECOOP'94), Bologna, Italy, 4--8~} # jul # {~1994. Proceedings},
pages = {194--212},
publisher = {Springer-Verlag},
scopus = {2-s2.0-21344495678},
series = {Lecture Notes in Computer Science},
title = {Object-Oriented Computations in Logic Programming},
url = {http://link.springer.com/chapter/10.1007/BFb0052184},
volume = 821,
year = 1994
}
@article{logictuplespaces-ngc12,
Author = {Ciancarini, Paolo},
Doi = {10.1007/BF03037345},
Issn = {0288-3635},
Journal = {New Generation Computing},
Number = 3,
Pages = {251--283},
Publisher = {Ohmsha, Ltd.},
Title = {Distributed Programming with {L}ogic {T}uple {S}paces},
Url = {http://www.springerlink.com/content/h47364qv57867016/},
urlpdf = {http://www.springerlink.com/content/h47364qv57867016/fulltext.pdf},
Volume = 12,
Year = 1994}
Author = {Ciancarini, Paolo},
Doi = {10.1007/BF03037345},
Issn = {0288-3635},
Journal = {New Generation Computing},
Number = 3,
Pages = {251--283},
Publisher = {Ohmsha, Ltd.},
Title = {Distributed Programming with {L}ogic {T}uple {S}paces},
Url = {http://www.springerlink.com/content/h47364qv57867016/},
urlpdf = {http://www.springerlink.com/content/h47364qv57867016/fulltext.pdf},
Volume = 12,
Year = 1994}
@article{bugliesi-jlp19,
Author = {Bugliesi, Michele and Lamma, Evelina and Mello, Paola},
Doi = {10.1016/0743-1066(94)90032-9},
Editor = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
Issn = {0743-1066},
Journal = {Journal of Logic Programming},
Note = {Special Issue: Ten Years of Logic Programming},
Pages = {443--502},
Publisher = {Elsevier},
Title = {Modularity in Logic Programming},
Volume = {19--20},
Year = 1994}
Author = {Bugliesi, Michele and Lamma, Evelina and Mello, Paola},
Doi = {10.1016/0743-1066(94)90032-9},
Editor = {Bruynooghe, Maurice and Debray, Saumya K. and Hermenegildo, Manuel V. and Maher, Michael J.},
Issn = {0743-1066},
Journal = {Journal of Logic Programming},
Note = {Special Issue: Ten Years of Logic Programming},
Pages = {443--502},
Publisher = {Elsevier},
Title = {Modularity in Logic Programming},
Volume = {19--20},
Year = 1994}
@article{embedding-ic108,
Author = {de Boer, Frank S. and Palamidessi, Catiuscia},
Doi = {10.1006/inco.1994.1004},
Journal = {Information and Computation},
Number = 1,
Pages = {128--157},
Title = {Embedding as a Tool for Language Comparison},
Url = {http://www.sciencedirect.com/science/article/pii/S0890540184710042},
Volume = 108,
Year = 1994}
Author = {de Boer, Frank S. and Palamidessi, Catiuscia},
Doi = {10.1006/inco.1994.1004},
Journal = {Information and Computation},
Number = 1,
Pages = {128--157},
Title = {Embedding as a Tool for Language Comparison},
Url = {http://www.sciencedirect.com/science/article/pii/S0890540184710042},
Volume = 108,
Year = 1994}
publications
/
1994
/
personal
Andrea Agiollo
•
Roberta Calegari
•
Giovanni Ciatto
•
Cristian Cosci
•
Angelo Croatti
•
Enrico Denti
•
Matteo Magnini
•
Sara Montagna
•
Andrea Omicini
•
Giuseppe Pisano
•
Andrea Rafanelli
•
Federico Sabbatini