`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:

### Wrote 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.