Fausto Giunchiglia

Available identifiers

zbMath Open giunchiglia.faustoWikidataQ62559872 ScholiaQ62559872MaRDI QIDQ219437

List of research outcomes

Publication	Date of Publication	Type
A metatheory of a mechanized object theory	2022-09-27	Paper
A new method for testing decision procedures in modal logics	2019-10-01	Paper
Ideal and real belief about belief	2019-04-29	Paper
ABSFOL: A proof checker with abstraction	2019-01-15	Paper
Building decision procedures for modal logics from propositional decision procedures — The case study of modal K	2019-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5324177	2009-08-03	Paper
Semantic Matching: Algorithms and Implementation	2009-03-06	Paper
Encoding Classifications into Lightweight Ontologies	2007-11-29	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4817549	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4818818	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4739282	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473434	2004-08-04	Paper
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation	2004-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4413386	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4708112	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4804909	2003-05-01	Paper
ML systems: A proof theory for contexts	2003-03-12	Paper
Ideal and Real Belief about Belief	2003-02-06	Paper
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).	2003-01-14	Paper
SAT-based decision procedures for classical modal logics	2002-08-20	Paper
A Foundation for Metareasoning Part II: The Model Theory	2002-08-12	Paper
A Foundation for Metareasoning Part I: The Proof Theory	2002-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4536746	2002-07-22	Paper
Reasoning theories. Toward an architecture for open mechanized reasoning systems	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q2769583	2002-02-05	Paper
The control layer in open mechanized reasoning systems: Annotations and tactics	2002-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q2751042	2001-11-21	Paper
Local Models Semantics, or contextual reasoning = locality + compatibility	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4518909	2001-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q4524508	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4518914	2001-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4499163	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4499164	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4518871	2001-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q4934140	2000-12-18	Paper
Theorem proving in technology transfer: The user's point of view	2000-01-01	Paper
NuSMV: A new symbolic model checker	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4217952	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4222995	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4385442	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4209291	1998-09-27	Paper
Calculating criticalities	1998-07-23	Paper
Program tactics and logic tactics	1998-07-19	Paper
Abstract proof checking: An example motivated by an incompleteness theorem	1998-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4837946	1995-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4303116	1995-03-23	Paper
Multilanguage hierarchical logics, or: How we can do without modal logics	1994-02-24	Paper
The inevitability of inconsistent abstract spaces	1994-01-13	Paper
A theory of abstraction	1993-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4012173	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3490995	1989-01-01	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: Fausto Giunchiglia