Travelled to:1 × Canada
1 × Hungary
1 × United Kingdom
5 × USA
Collaborated with:∅ S.Girotto Y.Lierler S.Kushner J.Speck E.Pontelli F.Bermudez M.Nogueira M.Gelfond R.Watson M.Barry
Talks about:answer (5) set (5) program (3) non (3) psycholog (2) knowledg (2) herbrand (2) practic (2) system (2) solver (2)
Person: Marcello Balduccini
DBLP: Balduccini:Marcello
Contributed to:
2015
20132012201220102010
2010200420032001Wrote 10 papers:
- PADL-2015-BalducciniKS #semantics
- Ontology-Driven Data Semantics Discovery for Cyber-Security (MB, SK, JS), pp. 1–16.
- ICLP-J-2013-Balduccini
- ASP with non-herbrand partial functions: a language and system for practical use (MB), pp. 547–561.
- ICLP-2012-Balduccini #set #source code
- An Answer Set Solver for non-Herbrand Programs: Progress Report (MB), pp. 49–60.
- PADL-2012-BalducciniL #aspect-oriented #tool support #using
- Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools (MB, YL), pp. 78–92.
- ICLP-2010-Balduccini10 #heuristic #learning #set
- Learning Domain-Specific Heuristics for Answer Set Solvers (MB), pp. 14–23.
- ICLP-J-2010-BalducciniG #formal method #programming #set
- Formalization of psychological knowledge in answer set programming and its application (MB, SG), pp. 725–740.
- KR-2010-BalducciniG #formal method #programming #set
- Formalizing Psychological Knowledge in Answer Set Programming (MB, SG).
- PADL-2004-Balduccini #named #quality #set
- USA-Smart: Improving the Quality of Plans in Answer Set Planning (MB), pp. 135–147.
- PADL-2003-PontelliBB #platform #reasoning
- Non-monotonic Reasoning on Beowulf Platforms (EP, MB, FB), pp. 37–57.
- PADL-2001-NogueiraBGWB #prolog
- An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.