Travelled to:1 × Australia
1 × Spain
Collaborated with:G.Gottlob A.Pieris S.Greco I.Trubitsyna
Talks about:existenti (1) function (1) program (1) termin (1) symbol (1) ground (1) detect (1) logic (1) guard (1) finit (1)
Person: Marco Calautti
DBLP: Calautti:Marco
Contributed to:
2015
2013Wrote 2 papers:
- PODS-2015-CalauttiGP #termination
- Chase Termination for Guarded Existential Rules (MC, GG, AP), pp. 91–103.
- PPDP-2013-CalauttiGT #decidability #detection #logic programming #source code
- Detecting decidable classes of finitely ground logic programs with function symbols (MC, SG, IT), pp. 239–250.