Travelled to:1 × Czech Republic
1 × Denmark
1 × Italy
1 × Poland
1 × USA
2 × Austria
Collaborated with:D.M.Gabbay L.Giordano G.Metcalfe G.L.Pozzato P.A.Bonatti R.Alenda C.Schwind D.Tishkovsky A.Martelli
Talks about:logic (5) sequent (2) program (2) calculi (2) direct (2) goal (2) intuitionist (1) circumscript (1) lukasiewicz (1) implement (1)
Person: Nicola Olivetti
DBLP: Olivetti:Nicola
Facilitated 1 volumes:
EdContributed to:
2014
2010200420031997
19941992Wrote 7 papers:
- IJCAR-2014-OlivettiP #calculus #implementation #logic #named
- NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics (NO, GLP), pp. 511–518.
- CSL-2010-AlendaOST #calculus
- Tableau Calculi for CSL over minspaces (RA, NO, CS, DT), pp. 52–66.
- CSL-2004-MetcalfeOG #logic
- Goal-Directed Methods for Lukasiewicz Logic (GM, NO, DMG), pp. 85–99.
- CSL-2003-MetcalfeOG #logic
- Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.
- CSL-1997-BonattiO #calculus
- A Sequent Calculus for Circumscription (PAB, NO), pp. 98–114.
- ICLP-1994-GabbayGMO #logic programming
- Conditonal Logic Programming (DMG, LG, AM, NO), pp. 272–289.
- JICSLP-1992-GiordanoO #logic programming
- Negation as Failure in Intuitionistic Logic Programming (LG, NO), pp. 431–445.