Search results: Sage Journals

Restricted accessResearch articleFirst published

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

Nicola Olivetti, Gian Luca Pozzato

Intelligenza Artificiale

Free accessResearch articleFirst published February, 2006

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Free accessResearch articleFirst published February, 2007

Jūratė Sakalauskaitė

Informatica: An International Journal of Computing and Informatics

Restricted accessResearch articleFirst published March, 2004

Matthias Baaz, Agata Ciabattoni, Franco Montagna

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2017

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Fundamenta Informaticae

Restricted accessResearch articleFirst published January 11, 2021

Tiziano Dalmonte, Sara Negri, Nicola Olivetti [...]

Intelligenza Artificiale

Restricted accessResearch articleFirst published January, 2012

Arnon Avron, Beata Konikowska

Fundamenta Informaticae

Restricted accessResearch articleFirst published 2021

Zhe Lin, Mihir Kumar Chakraborty, Minghui Ma

Fundamenta Informaticae

Open accessResearch articleFirst published January 2, 2015

Ofer Arieli, Christian Straßer

Argument & Computation

Restricted accessResearch articleFirst published March, 1999

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundamenta Informaticae