42 citations
3 papers
cs.AI2005★ 1 cited
A primer on Answer Set Programming
Alessandro Provetti
A introduction to the syntax and Semantics of Answer Set Programming intended as an handout to [under]graduate students taking Artificial Intlligence or Logic Programming classes.
cs.DM2005★ 19 cited
An explicit formula for the number of tunnels in digital objects
Valentin Brimkov, Angelo Maimone, Giorgio Nordo
An important concept in digital geometry for computer imagery is that of tunnel. In this paper we obtain a formula for the number of tunnels as a function of the number of the obje…
cond-mat.mtrl-sci2005★ 42 cited
High-pressure phase diagram of the exp-6 model: The case of Xenon
Franz Saija, Santi Prestipino
We investigated numerically the high-temperature/high-pressure phase diagram of Xenon as modelled through the exp-6 interaction potential, which is thought to provide a reliable de…