Updated on 9/1/2010
Papers available from CiteseerX
Papers available from Google Scholar
| [1] |
Fabrizio Riguzzi.
Extended semantics and inference for the Independent Choice Logic.
Logic Journal of the IGPL, 17(6):589-629, 2009. [ bib | http | http | .pdf ] |
| [2] |
Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi,
and Sergio Storari.
Exploiting inductive logic programming techniques for declarative
process mining.
LNCS Transactions on Petri Nets and Other Models of Concurrency,
ToPNoC II, 5460:278-295, 2009. [ bib | http | .pdf ] |
| [3] |
Sergio Storari, Fabrizio Riguzzi, and Evelina Lamma.
Exploiting association and correlation rules parameters for learning
bayesian networks.
Intelligent Data Analysis, 13:689-701, 2009. [ bib | http | .pdf ] |
| [4] |
Fabrizio Riguzzi.
ALLPAD: Approximate learning of logic programs with annotated
disjunctions.
Machine Learning, 70(2-3):207-223, March 2008. [ bib | http | .pdf ] |
| [5] |
Evelina Lamma, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, Sergio
Storari, and Gianfranco Valastro.
Artificial intelligence techniques for monitoring dangerous
infections.
Transaction on Information Technology in Biomedicine,
10(1):143-155, January 2006. [ bib | http | .pdf ] |
| [6] |
Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
A system for measuring function points from an ER-DFD
specification.
The Computer Journal, 47(3):358-372, May 2004. [ bib | http | .pdf ] |
| [7] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision via Lamarckian evolution.
New Generation Computing, 21(3):247-275, August 2003. [ bib | http | .pdf ] |
| [8] |
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria
Nanetti.
Discovering validation rules from micro-biological data.
New Generation Computing, 21(2):123-134, February 2003. [ bib | http | .pdf ] |
| [9] |
Evelina Lamma, Leonardo Maestrami, Paola Mello, Fabrizio Riguzzi, and Sergio
Storari.
Rule-based programming for building expert systems: a comparison in
the microbiological data validation and surveillance domain.
Electronic Notes in Theoretical Computer Science, 59, September
2001. [ bib | http | .pdf ] |
| [10] |
Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi.
An application of machine learning and statistics to defect
detection.
Intelligent Data Analysis, 5(2):151-164, March/April 2001. [ bib | http | .pdf ] |
| [11] |
Antonis C. Kakas and Fabrizio Riguzzi.
Abductive concept learning.
New Generation Computing, 18(3):243-294, May 2000. [ bib | http | .pdf ] |
| [12] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Strategies in combined learning via logic programs.
Machine Learning, 38(1/2):63-87, January/February 2000. [ bib | http | .pdf ] |
| [13] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating induction and abduction in logic programming.
Information Sciences, 116(1):25-54, May 1999. [ bib | http | .pdf ] |
| [14] |
Fabrizio Riguzzi.
SLGAD resolution for inference on Logic Programs with Annotated
Disjunctions.
Journal of Algorithms in Logic, Informatics and Cognition.
to appear. [ bib | .pdf ] |
| [1] |
Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Incremental declarative process mining.
In Ngoc Thanh Nguyen and Edward Szczerbicki, editors, Smart
Information and Knowledge Management: Advances, Challenges, and Critical
Issues, volume 260 of Studies in Computational Intelligence, pages
103-127. Springer, Heidelberg, Germany, 2009. [ bib | http | .pdf ] |
| [2] |
Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Improving the k2 algorithm using association rule parameters.
In Bernadette Bouchon-Meunier, Giulianella Coletti, and Ronald Yager,
editors, Modern Information Processing: From Theory to Applications,
pages 207-217. Elsevier, Amsterdam, The Netherlands, 2006.
Extended version of LamRigSto04-IPMU04-IC. [ bib | http | .pdf ] |
| [3] |
Floriana Esposito, Stefano Ferilli, Evelina Lamma, Paola Mello, Michela Milano,
Fabrizio Riguzzi, and Giovanni Semeraro.
Cooperation of abduction and induction in logic programming.
In P. A. Flach and A. C. Kakas, editors, Abductive and Inductive
Reasoning: Essays on thier Relation and Integration, Pure and Applied Logic.
Kluwer Academic Publishers, Dordrecht, The Netherlands, April 2000. [ bib | http | .pdf ] |
| [1] |
Fabrizio Riguzzi.
Inference with logic programs with annotated disjunctions under the
well founded semantics.
In Logic Programming, 24th International Conference, ICLP 2008,
Udine, Italy, December 9-13, 2008, Proceedings, number 5366 in Lecture Notes
in Computer Science, pages 667-771, Heidelberg, Germany, 2008. Springer. [ bib | http | .pdf ] |
| [2] |
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari.
Applying inductive logic programming to process mining.
In Proceedings of the 17th International Conference on Inductive
Logic Programming, number 4894 in Lecture Notes in Artificial Intelligence,
pages 132-146, Heidelberg, Germany, 2008. Springer. [ bib | http | .pdf ] |
| [3] |
Fabrizio Riguzzi.
ALLPAD: Approximate learning of logic programs with annotated
disjunctions.
In Stephen Muggleton and Ramon Otero, editors, Proceedings of
the 16th International Conference on Inductive Logic Programming, number
4455 in Lecture Notes in Artificial Intelligence, pages 43-45, Heidelberg,
Germany, 2007. Springer. [ bib | http | .pdf ] |
| [4] |
Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio
Storari.
Inducing declarative logic-based models from labeled traces.
In Proceedings of the 5th International Conference on Business
Process Management, number 4714 in Lecture Notes in Computer Science, pages
344-359, Heidelberg, Germany, 2007. Springer. [ bib | http | .pdf ] |
| [5] |
Fabrizio Riguzzi.
A top down interpreter for LPAD and CP-logic.
In Proceedings of the 10th Congress of the Italian Association
for Artificial Intelligence, number 4733 in Lecture Notes in Artificial
Intelligence, pages 109-120, Heidelberg, Germany, 2007. Springer. [ bib | http | .pdf ] |
| [6] |
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Stefano
Volinia.
Bayesian networks learning for gene expression datasets.
In Advances in Intelligent Data Analysis VI: 6th International
Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September
8-10, 2005. Proceedings, number 3646 in Lecture Notes in Computer Science,
pages 109-120, Heidelberg, Germany, September 2005. Springer Verlag. [ bib | http | .pdf ] |
| [7] |
Fabrizio Riguzzi.
Learning logic programs with annotated disjunctions.
In A Srinivasan and R. King, editors, Inductive Logic
Programming: 14th International Conference, ILP 2004, Porto, Portugal,
September 6-8, 2004. Proceedings, number 3194 in Lecture Notes in Artificial
Intelligence, pages 270-287, Heidelberg, Germany, September 2004. Springer
Verlag. [ bib | http | .pdf ] |
| [8] |
Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Exploiting association and correlation rules parameters for improving
the k2 algorithm.
In Ramon Lopez de Mantaras and Lorenza Saitta, editors,
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI
2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004,
Valencia, Spain, August 22-27, 2004, pages 500-504, Amsterdam, Holland,
August 2004. IOS Press. [ bib | .pdf ] |
| [9] |
Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari.
Improving the k2 algorithm using association rules parameters.
In B. Bouchon-Meunier, G. Coletti, and R. R. Yager, editors,
Information Processing and Management of Uncertainty in Knowledge-Based
Systems (IPMU2004), Perugia, 4-9 July 2004, pages 1667-1674, Roma, Italy,
July 2004. Editrice Università La Sapienza.
An extended version appears in LamRigSto06-BC. [ bib | http | .pdf ] |
| [10] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision via Lamarckian evolution.
In Claudio Delrieux, editor, Second International Workshop on
Computational Models of Scientific Reasoning And Applications (II CMSRA) held
at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, June
27, 2002, Bogart, Georgia, USA, June 2002. CSREA. [ bib | .pdf ] |
| [11] |
Evelina Lamma, Giuseppe Modestino, Fabrizio Riguzzi, Sergio Storari, Paola
Mello, and Annamaria Nanetti.
An intelligent medical system for microbiological data validation and
nosocomial infection surveillance.
In P. Kokol, B. Stiglic, M. Zorman, and D. Zazula, editors, The
15th International Conference on Computer Based Medical Systems (CBMS 2002),
Maribor, Slovenia, 4-7 June 2002, pages 13-20, Los Alamitos, California,
USA, June 2002. IEEE Press. [ bib | .pdf ] |
| [12] |
Evelina Lamma, Paola Mello, Annamaria Nanetti, G. Poli, Fabrizio Riguzzi, and
Sergio Storari.
An expert system for microbiological data validation and
surveillance.
In J. Crespo and F. Maojo, V.and Martin, editors, Medical Data
Analysis: Second International Symposium, ISMDA 2001 Madrid, Spain, October
8-9, 2001 Proceedings, number 2199 in LNCS, pages 153-160, Heidelberg,
Germany, October 2001. Springer Verlag. [ bib | .pdf ] |
| [13] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision by Lamarckian evolution.
In E.J.W. Boers, J. Gottlieb, P.L. Lanzi, R.E. Smith, S. Cagnoni,
E. Hart, G.R. Raidl, and H. Tijink, editors, Applications of
Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP,
EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, number
2037 in LNCS, pages 406-416, Heidelberg, Germany, April 2001.
Springer-Verlag. [ bib | http | .pdf ] |
| [14] |
Evelina Lamma, Marco Manservigi, Paola Mello, R. Serra, Sergio Storari, and
Fabrizio Riguzzi.
A system for monotoring nosocomial infections.
In R. W. Brause and E. Hanisch, editors, Medical Data Analysis:
First International Symposium, ISMDA 2000, Frankfurt, Germany, September
2000. Proceedings, number 1933 in LNCS, pages 282-292, Heidelberg,
Germany, September 2000. Springer Verlag. [ bib | http | .pdf ] |
| [15] |
Michela Milano, Andrea Omicini, and Fabrizio Riguzzi.
Adopting an object-oriented data model in inductive logic
programming.
In Amruth N. Kumar and Ingrid Russell, editors, Proceedings of
the 12th International FLAIRS Conference (FLAIRS99), 3-5 May 1999, Orlando,
Florida, USA, May 1999. [ bib | .pdf ] |
| [16] |
Antonis Kakas, Evelina Lamma, and Fabrizio Riguzzi.
Learning multiple predicates.
In Artificial Intelligence: Methodology, Systems, and
Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria,
September 1998. Proceedings, number 1480 in LNAI, pages 303-316,
Heidelberg, Germany, September 1998. Springer Verlag. [ bib | .pdf ] |
| [17] |
Fabrizio Riguzzi.
Integrating abduction and induction.
In Henri Prade, editor, Proceedings of the 13th European
Conference on Artificial Intelligence (ECAI98), Brighton, UK, August 23-28
1998, pages 475-476, Chichester, UK, August 1998. Wiley and Sons. [ bib | .pdf ] |
| [18] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
A system for learning abductive logic programs.
In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Logic
Programming and Knowledge Representation: Third International Workshop,
LPKR'97, Port Jefferson, New York, USA, October 1997. Selected Papers,
number 1471 in LNCS, pages 102-122, Hidelberg, Germany, June 1998. Springer
Verlag.
Extended version of LamMelMil97-LPKR97-IW. [ bib | .pdf ] |
| [19] |
Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
A system for measuring function points.
In Proceedings of the 6th International Conference on Practical
Applications of Prolog and 4th International Conference on Practical
Applications of Constraint Technology (PAPPACT98), pages 41-60, London, UK,
March 1998. The Practical Application Company Ltd. [ bib | .pdf ] |
| [20] |
Antonis C. Kakas and Fabrizio Riguzzi.
Learning with abduction.
In Inductive Logic Programming: 7th International Workshop,
ILP-97 Prague, Czech Republic September 17–20, 1997 Proceedings, number
1297 in LNAI, pages 181 - 188, Heidelberg, Germany, September 1997. Springer
Verlag. [ bib | http | .pdf ] |
| [21] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
An algorithm for learning abductive rules.
In Moreno Falaschi, Marisa Navarro, and Alberto Policriti, editors,
Proceedings of the APPIA-GULP-PRODE 97 Joint Conference on Declarative
Programming, Grado, Italy, 16-19 June 1997, June 1997. [ bib | .pdf ] |
| [22] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating induction and abduction in logic programming.
In Paul P. Wang, editor, Proceedings of the Third Joint
Conference on Information Sciences, 1-5 March 1997, volume 2, pages
203-206, Durham, North Carolina, USA, March 1997. Duke University. [ bib | .pdf ] |
| [1] |
Giorgio Casadei, Fabrizio Riguzzi, and Lorenza Saitta, editors.
Atti del Workshop su Intelligenza Artificiale e Didattica, Sesto
Congresso dell'Associazione Italiana per l'Intelligenza Artificiale
(AI*IA99), Bologna, Italy, July 1999. University of Bologna. [ bib ] |
| [1] |
Fabrizio Riguzzi.
A comparison of ILP systems on the Sisyphus dataset.
Intelligenza Artificiale, Anno II(3):52-59, September 2005. [ bib | .pdf ] |
| [2] |
Fabrizio Riguzzi and Sergio Storari.
La sedicesima conferenza europea di intelligenza artificiale
(ECAI).
Intelligenza Artificiale, Anno I(4):57-60, December 2004. [ bib | .pdf ] |
| [3] |
Fabrizio Riguzzi.
Apprendimento a ECAI98.
AI*IA Notizie (Periodico dell'Associazione Italiana per
l'Intelligenza Artificiale), Anno XI(4), December 1998. [ bib | .pdf ] |
| [4] |
Fabrizio Riguzzi.
Abstract della tesi di dottorato: Estensioni del linguaggio di
rappresentazione della programmazione logica induttiva.
AI*IA Notizie (Periodico dell'Associazione Italiana per
l'Intelligenza Artificiale), Anno XI(4), December 1998. [ bib ] |
| [5] |
Anna Ciampolini, Marco Colnaghi, Fabrizio Riguzzi, and Danilo Stefani.
Progettazione di una interfaccia per la visualizzazione realistica di
vernici.
AI*IA Notizie (Periodico dell'Associazione Italiana per
l'Intelligenza Artificiale), Supplemento Interfacce Intelligenti, Anno
IX(3), September 1996. [ bib | .pdf ] |
| [6] |
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Learning specifications of interaction protocols and business
processes and proving their properties.
Intelligenza Artificiale.
to appear. [ bib | .pdf ] |
| [7] |
M. Baldoni, C. Baroglio, G. Berio, A. Martelli, V. Patti, M.L. Sapino,
C. Schifanella, M. Alberti, M. Gavanelli, E. Lamma, F. Riguzzi, S. Storari,
F. Chesani, A. Ciampolini, P. Mello, M. Montali, P. Torroni, A. Bottrighi,
L. Giordano, V. Gliozzi, G.L. Pozzato, D. Theseider Dupré, P. Terenziani,
G. Casella, and V. Mascardi.
Modeling, verifying and reasoning about web services.
Intelligenza Artificiale.
to appear. [ bib ] |
| [1] |
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio
Storarii.
Compliance checking of execution traces to business rules: an
approach based on logic programming.
In Andrea Formisano, editor, Atti del 23esimo Convegno Italiano
di Logica Computazionale. Springer, 2008. [ bib | .pdf ] |
| [2] |
Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, and Sergio Storari.
Improving the SLA algorithm using association rules.
In Amedeo Cappelli and Franco Turini, editors, AI*IA 2003:
Advances in Artificial Intelligence: 8th Congress of the Italian Association
for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings,
number 2829 in LNAI, pages 165-175, Heidelberg, Germany, September 2003.
Springer Verlag. [ bib | http | .pdf ] |
| [3] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Introducing abduction into (extensional) inductive logic programming
systems.
In M. Lenzerini, editor, AI*IA 97: Advances in Artificial
Intelligence: 5th Congress of the Italian Association for Artificial
Intelligence Rome, Italy, September 17–19, Proceedings, number 1321 in LNAI,
pages 183 - 194, Heidelberg, Germany, September 1997. Springer Verlag. [ bib | http | .pdf ] |
| [1] |
Fabrizio Riguzzi.
The SLGAD procedure for inference on Logic Programs with Annotated
Disjunctions.
In Marco Gavanelli and Toni Mancini, editors, Proceedings of the
15th RCRA workshop on Experimental Evaluation of Algorithms for Solving
Problems with Combinatorial Explosion Udine, Italy, December 12-13, 2008,
number 451 in CEUR Workshop Proceedings, Aachen, Germany, 2009. Sun SITE
Central Europe. [ bib | .pdf ] |
| [2] |
Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio
Sebastianis, and Sergio Storari.
Checking compliance of execution traces to business rules.
In Proceedings of the 4th Workshop on Business Process
Intelligence (BPI 08), volume 17 of Lecture Notes in Business
Information Processing, pages 129-140, Heidelberg, Germany, 2009. Springer. [ bib | http | .pdf ] |
| [3] |
Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Marco
Montali.
Learning decserflow models from labeled traces.
In Proceedings of the 1st International Workshop on the
Induction of Process Models, 2007. [ bib | .pdf ] |
| [4] |
Fabrizio Riguzzi.
A top down interpreter for LPAD and CP-logic.
In Proceedings of the 14th RCRA workshop Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, 2007. [ bib | .pdf ] |
| [5] |
Fabrizio Riguzzi.
Learning ground problog programs from interpretations.
In Proceedings of the 6th Workshop on Multi-Relational Data
Mining (MRDM07), 2007. [ bib | .pdf ] |
| [6] |
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara
Scapoli.
Combining apriori and bootstrap techniques for marker analysis.
In Proceedings of the Workshop Data Mining in Functional
Genomics and Proteomics: Current Trends and Future Directions, 2007. [ bib | .pdf ] |
| [7] |
Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara
Scapoli.
Marker analysis with apriori-based algorithms.
In Melanie Hilario and Claire Nédellec, editors, Notes from
the Workshop on Data and Text Mining for Integrative Biology of the 17th
European Conference on Machine Learning (ECML'2006) and the 10th European
Conference on Principles and Practice of Knowledge Discovery in Databases
(PKDD'2006), pages 61-66, Berlin, Germany, September 2006. [ bib | .pdf | .pdf ] |
| [8] |
Fabrizio Riguzzi.
Two results regarding refinement operators.
In S. Kramer and B. Pfahringer, editors, Late Breaking Papers,
15th International Workshop on Inductive Logic Programming (ILP05), August
10-13, 2005, pages 53-58, München, Germania, July 2005. Technische
Universität München.
Report TUM-I0510. [ bib | .pdf ] |
| [9] |
Fabrizio Riguzzi.
A simple approach to a multi-label classification problem.
In S. Kramer and B. Pfahringer, editors, Discovery Challenge,
Late Breaking Papers, 15th International Workshop on Inductive Logic
Programming (ILP05) August 10-13, 2005, pages 105-110, München,
Germania, July 2005. Technische Universität München.
Report TUM-I0510. [ bib | .pdf ] |
| [10] |
Fabrizio Riguzzi.
Classification and visualization on the hepatitis dataset.
In Petr Berka and Bruno Cremilleux, editors, ECML/PKDD 2004
Discovery Challenge, Pisa, 20-24 September 2004, September 2004. [ bib | http | .pdf ] |
| [11] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Belief revision by multi-agent genetic search.
In ICLP01 2nd International Workshop on Computational Logic
for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ] |
| [12] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
A system for multi-agent belief revision by genetic search.
In ICLP01 2nd International Workshop on Computational Logic
for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ] |
| [13] |
Evelina Lamma, Marco Manservigi, Paola Mello, Annamaria Nanetti, Fabrizio
Riguzzi, and Sergio Storari.
The automatic discovery of alarm rules for the validation of
microbiological data.
In R. Bellazzi, B. Zupan, and X. Liu, editors, Sixth
Internationl Workshop on Intelligent Data Analysis In Medicine And
Pharmacology (IDAMAP2001), pages 1-7, London, UK, September 2001.
available on-line at http://magix.fri.uni-lj.si/idamap2001. [ bib | .pdf ] |
| [14] |
Evelina Lamma, Marco Manservigi, Paola Mello, Fabrizio Riguzzi, R. Serra, and
Sergio Storari.
A system for monotoring nosocomial infections.
In Nada Lavrac, Silvia Miksch, and Branko Kavšek, editors,
ECAI2000 Workshop on Intelligent Data Analysis in Medicine and
Pharmacology (IDAMAP-2000), Berlin, 20-25 August 2000, pages 17-19,
Berlin, Germany, August 2000. ECAI Workshop Notes. [ bib | .pdf | .pdf ] |
| [15] |
Rita Cucchiara, Paola Mello, Massimo Piccardi, and Fabrizio Riguzzi.
An application of machine learning and statistics to defect
detection.
In Floriana Esposito and Donato Malerba, editors, ECAI2000
Workshop on Machine Learning in Computer Vision (MLCV00), Berlin, 22 August
2000, Berlin, Germany, August 2000. ECAI Workshop Notes. [ bib | .pdf ] |
| [16] |
Evelina Lamma, Luís Moniz Pereira, and Fabrizio Riguzzi.
Logic aided lamarckian evolution.
In P. Brazdil and R. Michalski, editors, Procs. of
Multi-Strategy Learning Workshop (MSL'00), Guimaraes, Portugal, pages
59-73, Porto, Portugal, June 2000. LIAAC - Universidade do Porto. [ bib | http | .pdf ] |
| [17] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Agents learning in a three-valued logical setting.
In Workshop on Machine Learning and Intelligent Agents Advanced
Course on Artificial Intelligence 1999 (ACAI'99), Crete, Greece, July 1999. [ bib | .pdf ] |
| [18] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Learning three-valued logic programs.
In S. Dzeroski and P. Flach, editors, Late Breaking Paper, 9th
International Workshop on Inductive Logic Programming (ILP99), Bled,
Slovenia, June 1999. [ bib | .pdf ] |
| [19] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Learning in a three-valued setting.
In Proceedings of the Fourth International Workshop on
Multistrategy Learning (MSL98), Desenzano del Garda, Italy, 11-13 June
1998, Torino, Italy, June 1998. Dipartimento di Informatica, Università
di Torino. [ bib | .pdf ] |
| [20] |
Fabrizio Riguzzi.
Learning in a three-valued setting.
In Proceedings of the CompulogNet Area Meeting ``Computational
Logic and Machine Learning, Bristol, UK, June 1998. [ bib | .pdf ] |
| [21] |
Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira.
Learning with extended logic programs.
In Proceedings of the Logic Programming track of the Seventh
International Workshop on Nonmonotonic Reasoning (LP-NMR98), Koblenz,
Germany, May 1998. [ bib | .pdf ] |
| [22] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
A system for learning abductive logic programs.
In J. Dix, L. M. Pereira, and T. Przymusinski, editors,
Proceedings of the ILPS97 Workshop on Logic Programming and Knowledge
Representation (LPKR97), Koblenz, Germany, October 1997.
An extended version appears in LamMelMil98-LPKR97-IC. [ bib | .pdf ] |
| [23] |
Fabrizio Riguzzi.
Using abductive logic programming as a representation formalism for
ILP.
In Proceedings of the CompulogNet Area Meeting ``Computational
Logic and Machine Learning: Representation Issues in Reasoning and
Learning'', Prague, Czech Republic, September 1997. [ bib | .pdf ] |
| [24] |
Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi.
Integrating extensional and intensional ILP systems through
abduction.
In Proceedings of the 7th International Workshop on Logic
Program Synthesis and Transformation (LOPSTR97), Leuven, Belgium, July 1997. [ bib | .pdf ] |
| [25] |
Floriana Esposito, Evelina Lamma, Donato Malerba, Paola Mello, Michela Milano,
Fabrizio Riguzzi, and Giovanni Semeraro.
Learning abductive logic programs.
In Peter A. Flach and Antonis C. Kakas, editors, Proceedings of
the ECAI96 Workshop on Abductive and Inductive Reasoning, Budapest,
Hungary, August 1996. [ bib | .pdf ] |
| [1] |
Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio
Storari.
Inducing specification of interaction protocols and business
processes and proving their properties.
(487), 2009.
to appear. [ bib | .pdf ] |
| [2] |
Peter Flach, Valentina Maraldi, and Fabrizio Riguzzi.
Algorithms for efficiently and effectively using background knowledge
in tertius.
In Marco Gavanelli and Tony Mancini, editors, Incontro del
Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico
(RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA)
dal titolo ``Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza
Artificiale'', June 23, 2006, Udine, Italy, June 2006. [ bib | .pdf ] |
| [3] |
Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
Exploiting abduction for learning from incomplete interpretations.
In Marco Gavanelli and Tony Mancini, editors, Incontro del
Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico
(RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA)
dal titolo ``Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza
Artificiale'', June 23, 2006, Udine, Italy, June 2006. [ bib | .pdf ] |
| [4] |
Fabrizio Riguzzi.
A comparison of ILP systems on the Sisyphus dataset.
In Marco Cadoli, Marco Gavanelli, and Tony Mancini, editors,
Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e
Ragionamento Automatico (RCRA) dell'Associazione Italiana per
l'Intelligenza Artificiale (AI*IA) dal titolo ``Analisi Sperimentale e
Benchmark di Algoritmi per l'Intelligenza Artificiale'', June 10, 2005,
Ferrara, Italy, June 2005. [ bib | .pdf ] |
| [5] |
Michela Milano, Aandrea Omicini, and Fabrizio Riguzzi.
Learning with an object-oriented data model.
In Incontro dei Gruppi di Lavoro su Apprendimento Automatico e
Linguaggio Naturale dell'Associazione Italiana per l'Intelligenza Artificiale
(AIIA), December 1997. [ bib | .pdf ] |
| [6] |
Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
Un sistema basato sulla conoscenza per il calcolo dei function point.
In Incontro del Gruppo di Lavoro su Rapprensentazione della
Conoscenza e Ragionamento Automatico dell'Associazione Italiana per
l'Intelligenza Artificiale (AI*IA) e dell'Associazione italiana Tecnologie
Avanzate Basate su concetti Orientati ad Oggetti (TABOO) dal titolo
``Rappresentazione della conoscenza e tecniche ad oggetti nell'ingegneria del
software'', Bologna, 4 April 1997, April 1997. [ bib | .pdf ] |
| [1] |
José Júlio Alferes, Pierangelo Dell'Acqua, Evelina Lamma, Jo ao
Alexandre Leite, Luís Moniz Pereira, and Fabrizio Riguzzi.
A logic based approach to multi-agent systems.
The Association for Logic Programming Newsletter, 14(3), August
2001. [ bib | .pdf ] |
| [1] |
Fabrizio Riguzzi.
Extensions of Logic Programming as a Representation Language for
Machine Learning.
PhD thesis, DEIS, Università of Bologna, November 1998.
Technical Report DEIS-LIA-98-005, LIA Series n.33. [ bib | http | .pdf ] |
| [1] |
Fabrizio Riguzzi.
The SLGAD procedure for inference on logic programs with annotated
disjunctions.
Technical Report CS-2008-01, ENDIF, Università di Ferrara, 2008. [ bib | http ] |
| [2] |
Fabrizio Riguzzi.
ALLPAD: Approximate learning of logic programs with annotated
disjunctions.
Technical Report CS-2006-01, Dipartimento di Ingegneria,
Università di Ferrara, October 2006. [ bib | .pdf ] |
| [3] |
Fabrizio Riguzzi.
Specification of the application supersport with ER-DFD.
Technical Report CS-2003-01, Dipartimento di Ingegneria,
Università di Ferrara, July 2003. [ bib | http ] |
| [4] |
Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi.
A system for measuring function points from specifications.
Technical Report DEIS-LIA-97-006, LIA Series n.23, DEIS,
Università di Bologna, April 1997. [ bib | .ps.Z | .pdf ] |
| [5] |
Antonis C. Kakas and Fabrizio Riguzzi.
Abductive concept learning.
Technical Report TR-96-15, Computer Science Department,
University of Cyprus, December 1996. [ bib | .pdf ] |
| [6] |
Fabrizio Riguzzi.
A survey of software metrics.
Technical Report DEIS-LIA-96-010, LIA Series n.17, DEIS,
Università di Bologna, July 1996. [ bib | .ps.Z | .pdf ] |