Giambattista Amati
From MaRDI portal
Person:1317898
Available identifiers
zbMath Open amati.gianniMaRDI QIDQ1317898
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Advances in Information Retrieval | 2007-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737025 | 2004-08-11 | Paper |
| Definability and commonsense reasoning | 2003-08-28 | Paper |
| Conceptual Graphs and First Order Logic | 2000-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934637 | 2000-04-03 | Paper |
| Intuitionistic autoepistemic logic | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895421 | 1997-04-13 | Paper |
| A proof theoretical approach to default reasoning I: tableaux for default logic | 1997-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4877438 | 1996-07-08 | Paper |
| Defaults as restrictions on classical Hilbert-style proofs | 1995-12-13 | Paper |
| A uniform tableau method for intuitionistic modal logics. I | 1994-03-22 | Paper |
Research outcomes over time
This page was built for person: Giambattista Amati
