BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Olivetti:Nicola

Facilitated 1 volumes:

IJCAR 2016Ed

Contributed to:

IJCAR 20142014
CSL 20102010
CSL 20042004
CSL 20032003
CSL 19971997
ICLP 19941994
JICSLP 19921992

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.