Paolo Gentilini (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic in Knowledge Representation and Automated Deduction. AI Commun. 12(4): 185-208 (1999)

3 Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic as a Tool for Automated Reasoning. J. Autom. Reasoning 20(1): 167-190 (1998)

2 Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic for Automated Reasoning. JELIA 1996: 354-372

Selection of 3 from 10 records - Paolo Gentilini has 2 coauthors

7		Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic in Knowledge Representation and Automated Deduction. AI Commun. 12(4): 185-208 (1999)
3		Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic as a Tool for Automated Reasoning. J. Autom. Reasoning 20(1): 167-190 (1998)
2		Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino: Informational Logic for Automated Reasoning. JELIA 1996: 354-372