Author of the publication

Revision of Logical Theories.

, , , and . AI*IA, volume 992 of Lecture Notes in Computer Science, page 365-376. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Discovering Logical Structures in Digital Documents., , , and . Intelligent Information Systems, page 513-521. Springer, (2004)A Logic Programming Framework for Learning by Imitation., , , , and . ICEIS (2), page 218-223. (2009)Interfacce adattative per WWW: il caso di IDL., , , , and . SEBD, page 289-306. (1998)Automatic Document Organization Exploiting FOL Similarity-based Techniques., , , and . IRCDL, page 57-66. DELOS: an Association for Digital Libraries, (2008)Negation as a Specializing Operator., , and . AI*IA, volume 728 of Lecture Notes in Computer Science, page 166-177. Springer, (1993)Revision of Logical Theories., , , and . AI*IA, volume 992 of Lecture Notes in Computer Science, page 365-376. Springer, (1995)Handling Continuous Data in Top-Down Induction of First-Order Rules., , , and . AI*IA, volume 1321 of Lecture Notes in Computer Science, page 24-35. Springer, (1997)Tractable Feature Generation Through Description Logics with Value and Number Restrictions., , , and . IEA/AIE, volume 4031 of Lecture Notes in Computer Science, page 629-638. Springer, (2006)Learning to Rank Individuals in Description Logics Using Kernel Perceptrons., , and . RR, volume 6333 of Lecture Notes in Computer Science, page 173-181. Springer, (2010)A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories., , , , and . LOPSTR, volume 1463 of Lecture Notes in Computer Science, page 300-321. Springer, (1997)