Travelled to:1 × Australia
1 × United Kingdom
Collaborated with:N.Leone R.Peñaloza W.Faber A.Pieris ∅ M.Gebser C.Dodaro F.Ricca M.Manna
Talks about:set (6) answer (5) program (4) disjunct (3) comput (3) existenti (2) datalog (2) complex (2) aggreg (2) fuzzi (2)
Person: Mario Alviano
DBLP: Alviano:Mario
Contributed to:
2015
201520142013201220102010Wrote 9 papers:
- ICLP-J-2015-AlvianoFG #programming #recursion #set
- Rewriting recursive aggregates in answer set programming: back to monotonicity (MA, WF, MG), pp. 559–573.
- ICLP-J-2015-AlvianoL #compilation #complexity #programming #set
- Complexity and compilation of GZ-aggregates in answer set programming (MA, NL), pp. 574–587.
- ICLP-J-2015-AlvianoP #fuzzy #modulo theories #satisfiability #set
- Fuzzy answer set computation via satisfiability modulo theories (MA, RP), pp. 588–603.
- PODS-2015-AlvianoP
- Default Negation for Non-Guarded Existential Rules (MA, AP), pp. 79–90.
- ICLP-J-2014-AlvianoDR #programming #set
- Anytime Computation of Cautious Consequences in Answer Set Programming (MA, CD, FR), pp. 755–770.
- ICLP-J-2013-AlvianoP #approximate #fuzzy #set
- Fuzzy answer sets approximations (MA, RP), pp. 753–767.
- ICLP-J-2012-AlvianoFLM #complexity #datalog #decidability #quantifier #semantics
- Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues (MA, WF, NL, MM), pp. 701–718.
- ICLP-2010-Alviano10 #datalog #set #source code
- Dynamic Magic Sets for Disjunctive Datalog Programs (MA), pp. 226–235.
- ICLP-J-2010-AlvianoFL #decidability #effectiveness #query
- Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.