Giambattista Amati

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 Lecture Notes in Computer Science	2007-09-25	Paper
scientific article; zbMATH DE number 2086537 (Why is no real title available?)	2004-08-11	Paper
Definability and commonsense reasoning Artificial Intelligence	2003-08-28	Paper
Conceptual Graphs and First Order Logic The Computer Journal	2000-04-27	Paper
scientific article; zbMATH DE number 1390346 (Why is no real title available?)	2000-04-03	Paper
Intuitionistic autoepistemic logic Studia Logica	1997-10-26	Paper
scientific article; zbMATH DE number 935033 (Why is no real title available?)	1997-04-13	Paper
A proof theoretical approach to default reasoning I: tableaux for default logic Journal Of Logic And Computation	1997-04-07	Paper
scientific article; zbMATH DE number 877745 (Why is no real title available?)	1996-07-08	Paper
Defaults as restrictions on classical Hilbert-style proofs Journal of Logic, Language and Information	1995-12-13	Paper
A uniform tableau method for intuitionistic modal logics. I Studia Logica	1994-03-22	Paper

Research outcomes over time

This page was built for person: Giambattista Amati