Travelled to:
1 × Italy
Collaborated with:
J.Lee V.Lifschitz
Talks about:
general (1) formula (1) theori (1) stabl (1) model (1) safe (1)
Person: Ravi Palla
DBLP: Palla:Ravi
Contributed to:
Wrote 1 papers:
- ICLP-2008-LeeLP #modelling
- Safe Formulas in the General Theory of Stable Models (JL, VL, RP), pp. 672–676.