Search CORE

6 research outputs found

Analytic Tableaux for KLM Preferential and Cumulative Logics

Author: GIORDANO L
GLIOZZI V.
OLIVETTI N.
POZZATO G.L.
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2005
Field of study

Archivio Istituzionale della Ricerca- Università del Piemonte Orientale

Analytic Tableaux for KLM Preferential and Cumulative Logics

Author: Laura. Giordano
Olivetti Nicola
Pozzato Gian. Luca
Valentina. Gliozzi
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date: 01/01/2009
Field of study

International audienceno abstrac

Theorem proving for conditional logics: CondLean and GOALD U

Author: Artosi A.
Beckert B.
Beckert B.
Costello T.
Crocco G.
Crocco G.
de Swart H. C. M.
Delgrande J. P.
Delgrande J. P.
Fitting M.
Friedman N.
Gabbay D. M.
Gabbay D. M.
Gabbay D. M.
Gent I. P.
Gian Luca Pozzato
Giordano L.
Giordano L.
Giordano L.
Giordano L.
Giordano L.
Giordano L.
Grahne G.
Lamarre P.
Lewis D.
Miller D.
Nicola Olivetti
Olivetti N.
Olivetti N.
Olivetti N.
Olivetti N.
Schwind C. B.
Stalnaker R.
Publication venue: 'Lavoisier'
Publication date
Field of study

Analytic Tableaux for KLM Preferential and Cumulative Logics

Author: Gliozzi Valentina
Pozzato GIAN LUCA
Publication venue: SPRINGER-VERLAG
Publication date: 01/01/2005
Field of study

Institutional Research Information System University of Turin

Analytic Tableaux for KLM Preferential and Cumulative Logics

Author: Laura. Giordano
Olivetti Nicola
Pozzato Gian. Luca
Valentina. Gliozzi
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date: 01/01/2009
Field of study

International audienceno abstrac

core

core