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 × Ireland
1 × Italy
1 × Portugal
1 × Spain
1 × USA
Collaborated with:
A.Dovier E.Pontelli M.Simeoni E.G.Omodeo M.Temperini A.Policriti F.Vella
Talks about:
reason (2) action (2) clp (2) asp (2) constraint (1) comparison (1) multivalu (1) parallel (1) investig (1) instruct (1)

Person: Andrea Formisano

DBLP DBLP: Formisano:Andrea

Contributed to:

ICLP TC 20152015
ICLP 20112011
ICLP 20072007
ICLP 20052005
IJCAR 20012001
ILPS 19971997
GT-VMT 20012001

Wrote 7 papers:

ICLP-2015-DovierFPV #execution #parallel
Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
ICLP-2011-DovierFP #coordination #named #prolog
BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.
ICLP-2007-DovierFP #constraints #multi
Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.
ICLP-2005-DovierFP #comparison #problem
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.
IJCAR-2001-FormisanoOT #equation
Instructing Equational Set-Reasoning with Otter (AF, EGO, MT), pp. 152–167.
ILPS-1997-DovierFP #logic programming #on the
On T Logic Programming (AD, AF, AP), pp. 323–337.
GT-VMT-2001-FormisanoS #reasoning #visual notation
An AGG Application Supporting Visual Reasoning (AF, MS), pp. 302–309.

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.