Per Year

40 publications  /  1992–2012  /  Antonio Natali
2011  •  2010  •  2009  •  2008  •  2007  •  2006  •  2000  •  1998  •  1997  •  1996  •  1995  •  1994  •  1993  •  1992
 @inproceedings{modeldrivencomm-eclipseit2011,
	Address = {Milan, Italy},
	Author = {Natali, Antonio},
	Booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
	Keywords = {Eclipse, IDE, Agent-Oriented Programming},
	Title = {Model-driven communications and collaborative software development},
	Url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/0115.pdf},
	Year = 2011} 
 @inproceedings{eclipseaop-eclipseit2011,
	Address = {Milan, Italy},
	Author = {Santi, Andrea and Leardini, Andrea and Natali, Antonio and Ricci, Alessandro},
	Booktitle = {Proceedings of the 6th Workshop of the Italian Eclipse Community},
	Keywords = {Eclipse, IDE, Agent-Oriented Programming},
	Title = {Exploiting the {E}clipse Ecosystem for Agent-Oriented Programming},
	Url = {http://2011.eclipse-it.org/ProcEclipse-IT11/Technical/1818.pdf},
	Year = 2011} 
2 publications  /  2011  •  topindexbottom
 @article{mdsd-icset2010,
	Author = {Natali, Antonio and Molesini, Ambra},
	Issn = {2070-3740},
	Journal = {World Academy of Science, Engineering and Technology},
	Month = apr,
	Note = {International Conference on Software Engineering and Technology (ICSET 2010), 28--30~} # apr # {~2010, Rome, Italy. Proceedings},
	Pages = {69--80},
	Publisher = {Academic Science Research},
	Title = {Towards Model-driven Communications},
	urlpdf = {http://www.waset.org/journals/waset/v64/v64-13.pdf},
	Volume = 64,
	Year = 2010} 
 @inproceedings{dsl-eclipse2010,
	Address = {Savona, Italy},
	Author = {Natali, Antonio and Molesini, Ambra},
	Booktitle = {The 5th Workshop of the Italian Eclipse Community (Eclipse-IT 2010)},
	Month = {30}}}omain {S}pecific {L}anguages for Platform-based Software Development: The Case of {A}ndroid},
	Url = {http://2010.eclipse-it.org/},
        isbn  = {9788890438813},
        Publisher = {Eclipse Italian community},
	Year = 2010} 
2 publications  /  2010  •  topindexbottom
 @book {NMis09,
   author       = {Natali, Antonio AND Molesini, Ambra},
   title        = {Costruire sistemi software: dai modelli al codice}, 
   year         = {2009},
   publisher    = {Esculapio},
   series       = {Progetto Leonardo},
   month        = {November},
   address      = {Bologna, Italy},
   isbn         = {9788874883349},
   note         = {second edition}
   
}


 
1 publication  /  2009  •  topindexbottom
 @inproceedings{modeling-eclipseit08,
    author = {Natali, Antonio and Oliva, Enrico and Bonanni, Cristina},
    booktitle = {Eclipse-IT 2008. 3rd Italian Workshop on Eclipse Technologies},
    editor = {Lanubile, Filippo},
    eissn = {1613-0073},
    isbn = {978-88-902981-4-1},
    month = nov,
    pages = {48--57},
    title = {Model-driven Generation of Graphical Maps for e-Contents},
    urlpdf = {http://ceur-ws.org/Vol-436/paper6.pdf},
    volume = 436,
    year = 2008
} 
 @book {NM-is08,
   author       = {Natali, Antonio AND Molesini, Ambra},
   title        = {La costruzione dei sistemi software: dai modelli al codice}, 
   year         = {2008},
   publisher    = {Esculapio},
   series       = {Progetto Leonardo},
   month        = {November},
   address      = {Bologna, Italy},
   isbn         = {9788874882007},
   note         = {Didactic publication}
   
} 
 @article{OlivaAdaptationJucs14,
	journal = {Journal of Universal Computer Science},
	author = {Oliva, Enrico and Natali, Antonio and Ricci, Alessandro and Viroli, Mirko},
	title = {An Adaptation Logic Framework for {J}ava-based Component Systems},
	year = 2008,
	abstract = {This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as a first-class aspect.
On the one side, the framework makes it possible to specify the logic of interaction at the component-level, in terms of input and output interfaces, the events generated and observed by a component, and related information about the management of the control flow. On the other side, it is possible to specify the logic of interaction at the inter-component level, providing a modelling and linguistic support for designing and (dynamically) programming the glue among the components, enabling general forms of adaptation, observation and construction of the interaction space.
As a result, the framework supports the adaptation of components at different levels: from interoperability among heterogeneous and unknown components, to the support for dynamic introduction, removal and update of components, to general coordination patterns, such as workflow.
The framework uses first-order logic as the reference computational model for describing and defining the logic of interaction: the modalities adopted by components to interact, the adaptation laws gluing the components and the interaction events occurring in the system are expressed as facts and rules. They compose the (evolving) logic theories describing and defining the interaction at the system level, and can be observed and controlled at runtime to allow dynamic re-configurability.},
	status = {Published},
	pages = {2158-2181},
	number = 13,
	venue = {JUCS},
	url = {http://www.jucs.org/jucs_14_13/an_adaptation_logic_framework},
	volume = 14} 
3 publications  /  2008  •  topindexbottom
 @inproceedings{elearning-eclipseit07,
    author = {Natali, Antonio and Del Cinque, Antonio and Oliva, Enrico},
    booktitle = {Eclipse: a Great Opportunity for Industry and Universities in Italy},
    editor = {Maresca, Paolo},
    isbn = {978-88-87998-79-5},
    month = oct,
    note = {1st International Conference on Eclipse Technologies (Eclipse - I 2007), Napoli, Italy},
    pages = {27--42},
    publisher = {Cuzzolin Editore},
    title = {Using {E}clipse in Building Model-driven e-Learning Supports},
    volume = 1,
    year = 2007
} 
1 publication  /  2007  •  topindexbottom
 @inproceedings{webservice-aica06,
	Address = {Cesena, Italy},
	Author = {Natali, Antonio and Del Cinque, Antonio and Casadei, Matteo},
	Booktitle = {Atti Congresso Annuale AICA 2006},
	Isbn = {88-6055-075-0},
	Month = {21--22}}},
	Publisher = {Alinea Editrice, Firenze, Italy},
	Title = {L' Uso dei Web Service nella Catena del Valore della Logistica Integrata},
	Volume = 2,
	Year = 2006} 
 @inproceedings{simpademo-woa2006,
    author = {Ricci, Alessandro and Buda, Claudio and Zaghini, Nicola and Natali, Antonio and Viroli, Mirko and Omicini, Andrea},
    booktitle = {From Objects to Agents},
    editor = {De Paoli, Flavio and Di Stefano, Antonella and Omicini, Andrea and Santoro, Corrado},
    iris = {11585/30151},
    issn = {1613-0073},
    keywords = {simpa, web services, SOA, A&A, SOA/WS, agent-oriented computing},
    month = oct,
    note = {7th Workshop ``From Objects to Agents'' (WOA 2006), Catania, Italy, 26--27~} # sep # {~2006. Proceedings},
    numpages = 3,
    pages = {1--3},
    publisher = {Sun SITE Central Europe, RWTH Aachen University},
    scopus = {2-s2.0-84868642666},
    series = {CEUR Workshop Proceedings},
    title = {{simpA-WS}: An Agent-Oriented Computing Technology for {WS}-based {SOA} Applications},
    url = {http://ceur-ws.org/Vol-204/D01.pdf},
    volume = 204,
    year = 2006
} 
 @article{framework-foclasa06,
    author = {Natali, Antonio and Oliva, Enrico and Ricci, Alessandro and Viroli, Mirko},
    booktitle = {Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2005)},
    doi = {10.1016/j.entcs.2005.12.032},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = 1,
    pages = {43--61},
    series = {Electronic Notes in Theoretical Computer Science},
    title = {A Framework for Engineering Interactions in {J}ava-based Component Systems},
    url = {http://www.sciencedirect.com/science/article/pii/S1571066106001782},
    volume = 154,
    year = 2006
} 
3 publications  /  2006  •  topindexbottom
 @article{GenericsOopsla2000,
	volume = 35,
	title = {Parametric polymorphism in {Java}: an approach to translation based on reflective features},
	address = {New York, NY, USA},
	doi = {10.1145/354222.353182},
	publisher = {ACM},
	number = 10,
	keywords = {Generics, parametric polymorphism, Java},
        journal = {ACM SIGPLAN Notices},
	issn = {0362-1340},
	status = {Published},
	note = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2000), Minneapolis, MA, USA, 15-19
, Oct 2000},
	year = 2000,
	pages = {146--165},
	author = {Viroli, Mirko and Natali, Antonio}} 
1 publication  /  2000  •  topindexbottom
 @inproceedings{respect-sac98,
    acm = {330665},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {1998 ACM Symposium on Applied Computing (SAC'98)},
    dblp = {conf/sac/DentiNO98},
    doi = {10.1145/330560.330665},
    isbn = {0-89791-969-6},
    location = {Atlanta, GA, USA},
    month = {27}}},
    pages = {169--177},
    publisher = {ACM},
    scopus = {2-s2.0-85002410745},
    title = {On the Expressive Power of a Language for Programming Coordination Media},
    url = {http://dl.acm.org/citation.cfm?id=330665},
    urlpdf = {http://delivery.acm.org/10.1145/340000/330665/p169-denti.pdf},
    year = 1998
} 
1 publication  /  1998  •  topindexbottom
 @incollection{respect-coord97,
    acm = {713152},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {Coordination Languages and Models},
    dblp = {conf/coordination/DentiNO97},
    doi = {10.1007/3-540-63383-9_86},
    editor = {Garlan, David and Le Métayer, Daniel},
    eisbn = {978-3-540-69527-1},
    isbn = {978-3-540-63383-9},
    isbn10 = {3-540-63383-9},
    issn = {0302-9743},
    keywords = {Coordination Models, Programmable Coordination Media, Reactions, Tuple Spaces, Multi-Agent Systems},
    note = {2nd International Conference (COORDINATION'97), Berlin, Germany, 1--3~} # sep # {~1997. Proceedings},
    pages = {274--288},
    publisher = {Springer-Verlag},
    scopus = {2-s2.0-84957066558},
    series = {Lecture Notes in Computer Science},
    title = {Programmable Coordination Media},
    url = {http://link.springer.com/10.1007/3-540-63383-9_86},
    volume = 1282,
    year = 1997
} 
 @techreport{aclt-techrep97,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {Department of Electronics, Computer Science and Systems (DEIS), Università di Bologna},
    keywords = {Multi-agent systems, Coordination, Tuple Spaces, Petri Nets, Programmable Coordination Media, Turing Equivalence},
    number = {DEIS-LIA-97-009},
    series = {DEIS Technical Reports},
    subseries = {LIA Series},
    title = {Expressive Power of the {$\mathcal{ACLT}$} Reaction Specification Language},
    type = {DEIS Technical Report},
    volume = 26,
    year = 1997
} 
 @inproceedings{lpcoord-iclp_lpinternet97,
    address = {Leuven, Belgium},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {ICLP'97 Post-Conference 2nd International Workshop on Logic Programming Tools for Internet Applications},
    editor = {De Bosschere, Koen and Hermenegildo, Manuel and Tarau, Paul},
    month = {11}}}ogic {P}rogramming into {W}eb-based Technology: A Coordination-based Approach},
    year = 1997
} 
3 publications  /  1997  •  topindexbottom
 @incollection{aclt-frocos96,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
    booktitle = {Frontiers of Combining Systems},
    dblp = {conf/frocos/DentiNOV96},
    doi = {10.1007/978-94-009-0349-4_12},
    editor = {Baader, Franz and Schulz, Klaus U.},
    eisbn = {978-94-009-0349-4},
    iris = {11585/951322},
    isbn = {978-94-010-6643-3},
    isbn10 = {0-7923-4271-2},
    issn = {1386-2790},
    note = {1st International Workshop (FroCoS'96), Munich, Germany, 26--29~} # mar # {~1996. Proceedings},
    pages = {147--160},
    publisher = {Kluwer Academic Publishers},
    series = {Applied Logic Series},
    title = {Logic Tuple Spaces for the Coordination of Heterogeneous Agents},
    url = {http://link.springer.com/10.1007/978-94-009-0349-4_12},
    volume = 3,
    wos = {WOS:A1996BH48J00012},
    year = 1996
} 
 @incollection{aclt-coord96,
    acm = {713129},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Venuti, Marco},
    booktitle = {Coordination Languages and Models},
    dblp = {conf/coordination/DentiNOV96},
    doi = {10.1007/3-540-61052-9_53},
    editor = {Ciancarini, Paolo and Hankin, Chris},
    eisbn = {978-3-540-49936-7},
    isbn = {978-3-540-61052-6},
    isbn10 = {3-540-61052-9},
    issn = {0302-9743},
    month = sep,
    note = {1st International Conference (COORDINATION'96), Cesena, Italy, 15--17~} # apr # {~1996. Proceedings},
    pages = {305--320},
    publisher = {Springer},
    scopus = {2-s2.0-84958743149},
    series = {LNCS},
    title = {An Extensible Framework for the Development of Coordinated Applications},
    url = {http://link.springer.com/10.1007/3-540-61052-9_53},
    volume = 1061,
    year = 1996
} 
 @inproceedings{ooplanning-fapr96,
    address = {Darmstadt, Germany},
    author = {Fonda, Umberto and Natali, Antonio and Omicini, Andrea},
    booktitle = {FAPR'96 Workshop ``Reasoning about Actions and Planning in Complex Environments''},
    editor = {Sigmund, Ute C. and Thielscher, Michael},
    month = {4}}},
    title = {An Object-Oriented Approach to Planning},
    year = 1996
} 
 @inproceedings{ooplanning-aiia96,
    address = {Napoli, Italy},
    author = {Natali, Antonio and Omicini, Andrea},
    booktitle = {AI*IA'96 Workshop ``Pianificazione di azioni robotiche in ambienti complessi''},
    month = {26--28}}},
    title = {Integrating Knowledge Acquisition in Plan Selection},
    year = 1996
} 
4 publications  /  1996  •  topindexbottom
 @incollection{lpse-cnr95,
    address = {Milano, Italy},
    author = {Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {Ambienti per linguaggi di nuova concezione},
    editor = {Filè, Gilberto},
    isbn = {88-204-9515-5},
    pages = {17--46},
    publisher = {Franco Angeli},
    series = {Collana CNR/PF ``Sistemi Informatici e Calcolo Parallelo'' (1418)},
    title = {La programmazione logica nello sviluppo del software: dai modelli agli strumenti},
    volume = 4,
    year = 1995
} 
 @book {CalEletIII,
   author       = {Denti, Enrico and Natali, Antonio},
   title        = {Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti}, 
   year         = 1995,
   publisher    = {Pitagora Editrice},
   series       = {Consorzio Nettuno},
   address      = {Bologna, Italy},
   isbn         = {88-371-0771-4},
   note         = {Teaching material}} 
 @incollection{lprobot-scsai95,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {Logic Programming: Formal Methods and Practical Applications},
    chapter = 12,
    dblp = {books/el/beierleP95/DentiNOZ95},
    editor = {Beierle, Christoph and Plümer, Lutz},
    isbn = {978-0-444-82092-1},
    isbn10 = {0-444-82092-2},
    pages = {343--379},
    publisher = {Elsevier},
    scopus = {2-s2.0-85023302187},
    series = {Studies in Computer Science and Artificial Intelligence},
    title = {Robot Control Systems as Contextual Logic Programs},
    volume = 11,
    year = 1995
} 
 @inproceedings{aclt-aiia95,
    acm = {761273},
    author = {Omicini, Andrea and Denti, Enrico and Natali, Antonio},
    booktitle = {Topics in Artificial Intelligence},
    dblp = {conf/aiia/OmiciniDN95},
    doi = {10.1007/3-540-60437-5_43},
    editor = {Gori, Marco and Soda, Giovanni},
    eisbn = {3-540-60437-5},
    iris = {11585/953879},
    isbn = {978-3-540-60437-2},
    isbn10 = {3-540-60437-5},
    issn = {0302-9743},
    note = {4th Congress of the Italian Association for Artificial Intelligence (AI*IA'95), Florence, Italy, 11--13~} # oct # {~1995, Proceedings},
    pages = {439--450},
    publisher = {Springer-Verlag},
    scholar = {9467690504149452680},
    scopus = {2-s2.0-84957673013},
    semanticscholar = {18358079},
    series = {LNAI},
    title = {Agent Coordination and Control through Logic Theories},
    url = {http://link.springer.com/10.1007/3-540-60437-5_43},
    volume = 992,
    wos = {A1995BF24X00043},
    year = 1995
} 
4 publications  /  1995  •  topindexbottom
 @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}}},
    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}}},
    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
} 
 @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
} 
4 publications  /  1994  •  topindexbottom
 @inproceedings{oolp-iclp_piselp93,
    address = {Budapest, Hungary},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {ICLP'93 Post-Conference Workshop on Practical Implementations and Systems Experience in Logic Programming},
    editor = {Tick, Evan},
    month = {25}}},
    title = {From Modules to Structured Theories and Logic Objects: A Common ``Program-based'' Run-time Support},
    year = 1993
} 
 @inproceedings{oolp-compulog93,
    address = {Pisa, Italy},
    author = {Natali, Antonio and Omicini, Andrea},
    booktitle = {2nd Compulog Network Area Meeting on Programming Languages joint with Workshop on Logic Languages},
    month = {6--7}}}},
    year = 1993
} 
 @incollection{ctxlp-elpIII,
    acm = {736334},
    author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {Extensions of Logic Programming},
    dblp = {conf/elp/DentiLMNO92},
    doi = {10.1007/3-540-56454-3_17},
    editor = {Lamma, Evelina and Mello, Paola},
    eisbn = {978-3-540-47562-0},
    isbn = {978-3-540-56454-6},
    isbn-10 = {3-540-56454-3},
    isbn10 = {3-540-56454-3},
    issn = {0302-9743},
    keywords = {Virtual Machine, Logic Program, Logic Programming, Hypothetical Reasoning, Program Clause},
    note = {3rd International Workshop (ELP'92), Bologna, Italy, 26--28~} # feb # {~1992. Proceedings},
    pages = {339--358},
    publisher = {Springer},
    scopus = {2-s2.0-85028860344},
    series = {Lecture Notes in Computer Science},
    subseries = {Lecture Notes in Artificial Intelligence},
    title = {Techniques for Implementing Contexts in {L}ogic {P}rogramming},
    url = {http://link.springer.com/10.1007/3-540-56454-3_17},
    volume = 660,
    year = 1993
} 
 @incollection{oolp-plilp93,
    acm = {692617},
    author = {Natali, Antonio and Omicini, Andrea},
    booktitle = {Programming Language Implementation and Logic Programming},
    dblp = {conf/plilp/NataliO93},
    doi = {10.1007/3-540-57186-8_81},
    editor = {Bruynooghe, Maurice and Penjam, Jaan},
    eisbn = {978-3-540-47945-1},
    isbn = {978-3-540-57186-5},
    isbn-10 = {978-3-540-57186-5},
    isbn10 = {3-540-57186-8},
    issn = {0302-9743},
    note = {5th International Symposium (PLILP'93), Tallinn, Estonia, 25--27~} # aug # {~1993. Proceedings},
    pages = {220--234},
    publisher = {Springer-Verlag},
    scopus = {2-s2.0-21144462602},
    series = {Lecture Notes in Computer Science},
    title = {Objects with State in {C}ontextual {L}ogic {P}rogramming},
    url = {http://link.springer.com/10.1007/3-540-57186-8_81},
    volume = 714,
    year = 1993
} 
 @techreport{pfcnr-4-91,
    address = {Roma, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = mar,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/91,
    series = {CNR Technical Report},
    title = {Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale},
    type = {CNR Technical Report},
    year = 1993
} 
 @inproceedings{lprobot-gulp93,
    address = {Gizzeria Lido, CZ, Italy},
    author = {Natali, Antonio and Omicini, Andrea and Zanichelli, Francesco},
    booktitle = {8th Italian Conference on Logic Programming (GULP'93)},
    dblp = {conf/agp/NataliOZ93},
    editor = {Saccà, Domenico},
    month = {15--18}}},
    title = {Exploiting {L}ogic {P}rogramming in Robot Applications},
    year = 1993
} 
6 publications  /  1993  •  topindexbottom
 @inproceedings{ctxlp-elp92,
    address = {Bologna, Italy},
    author = {Denti, Enrico and Lamma, Evelina and Mello, Paola and Natali, Antonio and Omicini, Andrea},
    booktitle = {3rd International Workshop on Extensions of Logic Programming (ELP'92)},
    editor = {Lamma, Evelina and Mello, Paola},
    month = {26--28}}},
    publisher = {Tecnoprint Bologna},
    title = {Implementing Contexts in {L}ogic {P}rogramming},
    year = 1992
} 
 @inproceedings{ctxlp-gulp92,
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
    editor = {Costantini, Stefania},
    location = {Tremezzo, Como, Italy},
    month = {17--19 } # jun,
    pages = {307--320},
    publisher = {Città Studi, Milano, Italy},
    title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
    year = 1992
} 
 @article{cisemme392,
    author = {Mauro Cesana and Denti, Enrico and Natali, Antonio and Judith Szanto},
    institution = {CISE S.p.A., Milan, Italy},
    number = 7312,
    series = {Rapporto Topico interno CISE S.p.A.},
    title = {Supporto alla Comunicazione Remota in MME 3},
    year = 1992
} 
 @inproceedings{oolp-compulog92,
    address = {Pisa, Italy},
    author = {Natali, Antonio and Omicini, Andrea},
    booktitle = {1st COMPULOG NET Workshop on Programming Languages in Computational Logic},
    editor = {Brogi, Antonio and Mancarella, Paolo and Turini, Franco},
    month = {6--7}}},
    title = {Objects as Evolving Contexts},
    year = 1992
} 
 @techreport{pfcnr-4-70,
    address = {Rome, Italy},
    author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
    institution = {CNR},
    month = may,
    note = {Progetto Finalizzato ``Sistemi informatici e calcolo parallelo'', Sottoprogetto ``Linguaggi di nuova concezione''},
    number = 4/70,
    title = {{CSM} User's Guide},
    type = {Technical Report},
    year = 1992
} 
5 publications  /  1992  •  topindexbottom

Avatar