BibSLEIGH — Enrico

Travelled to:

1 × Belgium
1 × Cyprus
1 × Estonia
1 × Germany
1 × Hungary
1 × India
1 × Ireland
1 × Japan
1 × Poland
1 × Sweden
1 × United Kingdom
12 × USA
2 × Italy
2 × Portugal
2 × Spain
4 × France

Collaborated with:

A.Dovier G.Gupta T.C.Son G.Rossi A.D.Palù A.Formisano C.Liu E.Saad D.Ranjan O.El-Khatib T.Le V.S.Costa D.Tang ∅ C.Piazza A.I.Karshmer H.Guo C.Sakama I.Elkabani Y.Wu M.Balduccini F.Bermudez R.Vaupel J.R.Iglesias B.Milligan F.Vella H.Nguyen B.Chisham B.Wright C.Baral G.Gelfond F.Fogolari D.Tran H.Nguyen L.Liu M.Truszczynski J.He Y.Lu K.Villaverde F.Pulvirenti A.Ferro P.Bruscoli M.V.Hermenegildo M.Carro E.G.Omodeo F.Campeotto F.Fioretto N.Datta M.Noamany X.Zhou

Talks about:

program (24) logic (20) parallel (15) set (12) clp (9) constraint (7) prolog (7) asp (7) answer (6) implement (5)

Person: Enrico Pontelli

DBLP: Pontelli:Enrico

Facilitated 3 volumes:

Contributed to:

2015

2014

2012

2011

2010

2009

2007

2006

2005

2004

2003

2002

2001

1999

1998

1997

1995

1994

1993

1991

Wrote 49 papers:

ICLP-2015-DovierFPV #execution #parallel: Parallel Execution of the ASP Computation — an Investigation on GPUs (AD, AF, EP, FV), pp. 46–59.
PADL-2014-CampeottoPDFP #constraints #theorem proving #using: Exploring the Use of GPUs in Constraint Solving (FC, ADP, AD, FF, EP), pp. 152–167.
PADL-2014-SonPL #multi #prolog #source code: Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems (TCS, EP, TL), pp. 87–103.
ICLP-2012-LeNPS #implementation: ASP at Work: An ASP Implementation of PhyloWS (TL, HN, EP, TCS), pp. 359–369.
ICLP-2011-ChishamPSW #logic programming #named #repository #using #web #web service: CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services (BC, EP, TCS, BW), pp. 209–219.
ICLP-2011-DovierFP #coordination #named #prolog: BAAC: A Prolog System for Action Description and Agents Coordination (AD, AF, EP), pp. 187–197.
ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling: Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.
ICLP-J-2010-PaluDFP #assembly: CLP-based protein fragment assembly (ADP, AD, FF, EP), pp. 709–724.
PADL-2010-Pontelli #perspective #programming #set: Answer Set Programming in 2010: A Personal Perspective (EP), pp. 1–3.
ICLP-2009-PaluDPR #constraints #lazy evaluation #programming #set #using: Answer Set Programming with Constraints Using Lazy Grounding (ADP, AD, EP, GR), pp. 115–129.
ICLP-2009-SonPS #logic programming #multi: Logic Programming for Multiagent Planning with Negotiation (TCS, EP, CS), pp. 99–114.
PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis: Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
ICLP-2007-DovierFP #constraints #multi: Multivalued Action Languages with Constraints in CLP(FD) (AD, AF, EP), pp. 255–270.
ICLP-2007-LiuPST #constraints #logic programming #source code: Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.
PADL-2007-LiuP #induction #logic programming: Inductive Logic Programming by Instance Patterns (CL, EP), pp. 230–244.
PPDP-2007-LiuP #induction #logic programming: Nonmonotonic inductive logic programming by instance patterns (CL, EP), pp. 187–196.
ICLP-2006-PontelliS #logic programming #semantics #set #source code: Justifications for Logic Programs Under Answer Set Semantics (EP, TCS), pp. 196–210.
SAC-2006-PaluPHL #3d #approach #constraints #logic programming #scalability: A constraint logic programming approach to 3D structure determination of large protein complexes (ADP, EP, JH, YL), pp. 131–136.
ICLP-2005-DovierFP #comparison #problem: A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems (AD, AF, EP), pp. 67–82.
ICLP-2005-SaadP #hybrid #logic programming #probability #source code: Hybrid Probabilistic Logic Programs with Non-monotonic Negation (ES, EP), pp. 204–220.
PADL-2005-SaadP #framework #hybrid #logic programming #probability #towards: Towards a More Practical Hybrid Probabilistic Logic Programming Framework (ES, EP), pp. 67–82.
PPDP-2005-PaluDP #heuristic #optimisation #parallel #predict: Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD) (ADP, AD, EP), pp. 230–241.
ICLP-2004-ElkabaniPS #approach #effectiveness: Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP (IE, EP, TCS), pp. 73–89.
PADL-2004-ElkhatibPS #named #prolog #reasoning #set #source code: ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog (OEK, EP, TCS), pp. 148–162.
ICLP-2003-DovierPR #set: Intensional Sets in CLP (AD, EP, GR), pp. 284–299.
ICLP-2003-SonP #set: Adding Preferences to Answer Set Planning (TCS, EP), pp. 513–514.
ICLP-2003-WuPR #complexity #logic programming #on the: On the Complexity of Dependent And-Parallelism in Logic Programming (YW, EP, DR), pp. 361–376.
PADL-2003-PontelliBB #platform #reasoning: Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
PPDP-2003-PaluDPR #constraints #finite #set: Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
PADL-2002-GuptaGKPIRMDENZ #logic programming #question #semantics: Semantics-Based Filtering: Logic Programming’s Killer App? (GG, HFG, AIK, EP, JRI, DR, BM, ND, OEK, MN, XZ), pp. 82–100.
ICLP-2001-VillaverdePGG #architecture #implementation #named #prolog: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures (KV, EP, HFG, GG), pp. 27–42.
PADL-2001-IglesiasGPRM #approach #logic programming #tool support: Interoperability between Bioinformatics Tools: A Logic Programming Approach (JRI, GG, EP, DR, BM), pp. 153–168.
PADL-2001-PontelliE #optimisation #parallel #programming #set: Construction and Optimization of a Parallel Engine for Answer Set Programming (EP, OEK), pp. 288–303.
HCI-CCAD-1999-KarshmerPG #interface: Software technology and computer interfaces for the disabled: non-visual WWW browsing (AIK, EP, GG), pp. 792–796.
ICLP-1999-DovierPPR #constraints: ACI1 Constraints (AD, CP, EP, GR), pp. 573–587.
ICLP-1999-GuptaP #distributed #memory management #named: Stack-splitting: Or-/And-parallelism on Distributed Memory Machines (GG, EP), pp. 290–304.
ALP-PLILP-1998-PontelliRG #complexity #object-oriented: The Complexity of Late-Binding in Dynamic Object-Oriented Languages (EP, DR, GG), pp. 213–229.
JICSLP-1998-DovierPRP #finite #on the #representation #set: On the Representation and Management of Finite Sets in CLP Languages (AD, CP, GR, EP), pp. 40–54.
ICLP-1997-PontelliG #implementation: Implementation Mechanisms for Dependent And-Parallelism (EP, GG), pp. 123–137.
ICLP-1997-PontelliGPF #automation #parallel #prolog #source code: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism (EP, GG, FP, AF), pp. 108–122.
ICLP-1997-VaupelGP #execution #logic programming #source code #visualisation: Visualization of And/Or-Parallel Execution of Logic Programs (RV, EP, GG), pp. 271–285.
ICLP-1995-GuptaCP #array #logic programming #parallel: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (GG, VSC, EP), p. 824.
ICLP-1995-PontelliGT #implementation #optimisation #prolog: Determinacy Driven Optimizations of And-Parallel Prolog Implementations (EP, GG, DT), pp. 615–629.
ICLP-1994-BruscoliDPR #compilation #set: Compiling Intensional Sets in CLP (PB, AD, EP, GR), pp. 647–661.
ICLP-1994-GuptaHPC #execution #logic programming #named #source code: ACE: And/Or-parallel Copying-based Execution of Logic Programs (GG, MVH, EP, VSC), pp. 93–109.
ILPS-1994-TangPGC #backtracking #logic programming #optimisation #parallel #performance: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems (DT, EP, GG, MC), pp. 683–684.
PLILP-1993-DovierP #implementation #logic #set: A WAM-Based Implementation of a Logical Language with Sets (AD, EP), pp. 275–290.
ICLP-1991-DovierOPR #finite #logic programming #programming language #set: {log}: A Logic Programming Language with Finite Sets (AD, EGO, EP, GR), pp. 111–124.