The following pages link to Fausto Giunchiglia (Q219437):
Displaying 50 items.
- (Q174775) (redirect page) (← links)
- A theory of abstraction (Q1199923) (← links)
- The inevitability of inconsistent abstract spaces (Q1311395) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Abstract proof checking: An example motivated by an incompleteness theorem (Q1373302) (← links)
- Program tactics and logic tactics (Q1380427) (← links)
- Calculating criticalities (Q1391896) (← links)
- SAT-based decision procedures for classical modal logics (Q1610667) (← links)
- Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
- Theorem proving in technology transfer: The user's point of view (Q1856140) (← links)
- NuSMV: A new symbolic model checker (Q1856168) (← links)
- ML systems: A proof theory for contexts (Q1863751) (← links)
- A metatheory of a mechanized object theory (Q2676562) (← links)
- Ideal and Real Belief about Belief (Q2720404) (← links)
- (Q2751042) (← links)
- (Q2769583) (← links)
- (Q3490995) (← links)
- Semantic Matching: Algorithms and Implementation (Q3608802) (← links)
- (Q4012173) (← links)
- (Q4209291) (← links)
- (Q4217952) (← links)
- (Q4222995) (← links)
- (Q4303116) (← links)
- A Foundation for Metareasoning Part I: The Proof Theory (Q4329526) (← links)
- (Q4385442) (← links)
- (Q4413386) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)
- (Q4473434) (← links)
- (Q4499163) (← links)
- (Q4499164) (← links)
- (Q4518871) (← links)
- (Q4518909) (← links)
- (Q4518914) (← links)
- (Q4524508) (← links)
- (Q4536746) (← links)
- A Foundation for Metareasoning Part II: The Model Theory (Q4542938) (← links)
- Ideal and real belief about belief (Q4632302) (← links)
- ABSFOL: A proof checker with abstraction (Q4647506) (← links)
- Building decision procedures for modal logics from propositional decision procedures — The case study of modal K (Q4647549) (← links)
- (Q4708112) (← links)
- (Q4739282) (← links)
- (Q4804909) (← links)
- (Q4817549) (← links)
- (Q4818818) (← links)
- (Q4837946) (← links)
- (Q4934140) (← links)
- A new method for testing decision procedures in modal logics (Q5234709) (← links)
- (Q5324177) (← links)
- Encoding Classifications into Lightweight Ontologies (Q5429195) (← links)
- Mechanizing Mathematical Reasoning (Q5717462) (← links)
