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 × 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 DBLP: Balduccini:Marcello

Contributed to:

PADL 20152015
ICLP 20132013
ICLP 20122012
PADL 20122012
ICLP 20102010
ICLP 20102010
KR 20102010
PADL 20042004
PADL 20032003
PADL 20012001

Wrote 10 papers:

PADL-2015-BalducciniKS #semantics
Ontology-Driven Data Semantics Discovery for Cyber-Security (MB, SK, JS), pp. 1–16.
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.

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.