Fausto Giunchiglia

From MaRDI portal
Person:219437

Available identifiers

zbMath Open giunchiglia.faustoWikidataQ62559872 ScholiaQ62559872MaRDI QIDQ219437

List of research outcomes

PublicationDate of PublicationType
A metatheory of a mechanized object theory2022-09-27Paper
A new method for testing decision procedures in modal logics2019-10-01Paper
Ideal and real belief about belief2019-04-29Paper
ABSFOL: A proof checker with abstraction2019-01-15Paper
Building decision procedures for modal logics from propositional decision procedures — The case study of modal K2019-01-15Paper
https://portal.mardi4nfdi.de/entity/Q53241772009-08-03Paper
Semantic Matching: Algorithms and Implementation2009-03-06Paper
Encoding Classifications into Lightweight Ontologies2007-11-29Paper
Mechanizing Mathematical Reasoning2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q48175492004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48188182004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q47392822004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44734342004-08-04Paper
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation2004-01-11Paper
https://portal.mardi4nfdi.de/entity/Q44133862003-07-17Paper
https://portal.mardi4nfdi.de/entity/Q47081122003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q48049092003-05-01Paper
ML systems: A proof theory for contexts2003-03-12Paper
Ideal and Real Belief about Belief2003-02-06Paper
Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).2003-01-14Paper
SAT-based decision procedures for classical modal logics2002-08-20Paper
A Foundation for Metareasoning Part II: The Model Theory2002-08-12Paper
A Foundation for Metareasoning Part I: The Proof Theory2002-07-30Paper
https://portal.mardi4nfdi.de/entity/Q45367462002-07-22Paper
Reasoning theories. Toward an architecture for open mechanized reasoning systems2002-05-21Paper
https://portal.mardi4nfdi.de/entity/Q27695832002-02-05Paper
The control layer in open mechanized reasoning systems: Annotations and tactics2002-01-02Paper
https://portal.mardi4nfdi.de/entity/Q27510422001-11-21Paper
Local Models Semantics, or contextual reasoning = locality + compatibility2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q45189092001-08-05Paper
https://portal.mardi4nfdi.de/entity/Q45245082001-03-19Paper
https://portal.mardi4nfdi.de/entity/Q45189142001-03-11Paper
https://portal.mardi4nfdi.de/entity/Q44991632001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q44991642001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q45188712001-03-06Paper
https://portal.mardi4nfdi.de/entity/Q49341402000-12-18Paper
Theorem proving in technology transfer: The user's point of view2000-01-01Paper
NuSMV: A new symbolic model checker2000-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42179521999-04-19Paper
https://portal.mardi4nfdi.de/entity/Q42229951999-01-07Paper
https://portal.mardi4nfdi.de/entity/Q43854421998-11-10Paper
https://portal.mardi4nfdi.de/entity/Q42092911998-09-27Paper
Calculating criticalities1998-07-23Paper
Program tactics and logic tactics1998-07-19Paper
Abstract proof checking: An example motivated by an incompleteness theorem1998-06-29Paper
https://portal.mardi4nfdi.de/entity/Q48379461995-07-04Paper
https://portal.mardi4nfdi.de/entity/Q43031161995-03-23Paper
Multilanguage hierarchical logics, or: How we can do without modal logics1994-02-24Paper
The inevitability of inconsistent abstract spaces1994-01-13Paper
A theory of abstraction1993-01-17Paper
https://portal.mardi4nfdi.de/entity/Q40121731992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q34909951989-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Fausto Giunchiglia