`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:

### Contributed to:

### Wrote 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.