The following pages link to Gian Luca Pozzato (Q1694456):
Displayed 38 items.
- Item:Q1694456 (redirect page) (← links)
- A non-monotonic description logic for reasoning about typicality (Q360113) (← links)
- Semantic characterization of rational closure: from propositional logic to description logics (Q898736) (← links)
- Hypersequent calculi for Lewis' conditional logics with uniformity and reflexivity (Q1694457) (← links)
- VINTE: an implementation of internal calculi for Lewis' logics of counterfactual reasoning (Q1694459) (← links)
- Typicalities and probabilities of exceptions in nonmotonic description logics (Q2329599) (← links)
- Reasoning in description logics with typicalities and probabilities of exceptions (Q2401891) (← links)
- Nested sequent calculi for normal conditional logics (Q2804318) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- Nested Sequent Calculi for Conditional Logics (Q2915054) (← links)
- A Minimal Model Semantics for Nonmonotonic Reasoning (Q2915074) (← links)
- Logics in access control: a conditional approach (Q2937691) (← links)
- Analytic tableaux calculi for KLM logics of nonmonotonic reasoning (Q2946576) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- A Tableau Calculus for a Nonmonotonic Extension of $\mathcal{EL}^\bot$ (Q3010368) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (Q3192215) (← links)
- ALC + T: a Preferential Extension of Description Logics (Q3400571) (← links)
- A Standard Internal Calculus for Lewis’ Counterfactual Logics (Q3455776) (← links)
- Preferential Description Logics (Q3498470) (← links)
- Reasoning about Typicality in Preferential Description Logics (Q3532467) (← links)
- Analytic Tableau Calculi for KLM Rational Logic R (Q3533131) (← links)
- (Q3563381) (← links)
- Verifying Business Process Compliance by Reasoning about Actions (Q3582738) (← links)
- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results (Q3643136) (← links)
- Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
- Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach* (Q4686518) (← links)
- A Nonmonotonic Extension of KLM Preferential Logic P (Q4933314) (← links)
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5187875) (← links)
- Reasoning About Surprising Scenarios in Description Logics of Typicality (Q5215374) (← links)
- A Multi-engine Theorem Prover for a Description Logic of Typicality (Q5215376) (← links)
- A sequent calculus and a theorem prover for standard conditional logics (Q5277787) (← links)
- Analytic Tableaux for KLM Preferential and Cumulative Logics (Q5387873) (← links)
- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning (Q5434493) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479291) (← links)
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning (Q5862470) (← links)
- A description logic of typicality for conceptual combination (Q6165759) (← links)