Giambattista Amati
From MaRDI portal
Person:1317898
Available identifiers
zbMath Open amati.gianniMaRDI QIDQ1317898
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Giambattista Amati