Travelled to:1 × Australia
1 × Canada
1 × France
1 × United Kingdom
2 × Italy
2 × USA
Collaborated with:N.Leone M.Alviano S.Woltran T.Eiter G.Pfeifer M.Gebser I.Tachmazidis G.Antoniou M.Truszczynski H.Tompits F.Buccafurri G.Greco M.Fink M.Manna C.Cumbo A.Polleres G.Ianni V.Lio G.Terracina G.Gottlob R.Rosati D.Lembo M.Lenzerini M.Ruzzi E.Kalka B.Nowicki W.Staniszkis
Talks about:disjunct (5) program (5) set (3) incomplet (2) equival (2) datalog (2) complex (2) strong (2) semant (2) comput (2)
Person: Wolfgang Faber
DBLP: Faber:Wolfgang
Contributed to:
201520142012
2012201020082008
200520042004
20001999Wrote 12 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-2014-TachmazidisAF #big data #performance #semantics
- Efficient Computation of the Well-Founded Semantics over Big Data (IT, GA, WF), pp. 445–459.
- 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.
- KR-2012-FaberTW #equivalence #optimisation #problem
- Strong Equivalence of Qualitative Optimization Problems (WF, MT, SW).
- ICLP-J-2010-AlvianoFL #decidability #effectiveness #query
- Disjunctive ASP with functions: Decidable queries and effective computation (MA, WF, NL), pp. 497–512.
- ICLP-2008-LeoneF #research
- The DLV Project: A Tour from Theory and Research to Applications and Market (NL, WF), pp. 53–68.
- KR-2008-FaberTW #equivalence #logic programming #order #source code
- Notions of Strong Equivalence for Logic Programs with Ordered Disjunction (WF, HT, SW), pp. 433–443.
- SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration
- The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
- ICLP-2004-CumboFGL #datalog #source code
- Enhancing the Magic-Set Method for Disjunctive Datalog Programs (CC, WF, GG, NL), pp. 371–385.
- KR-2004-EiterFFPW #bound #complexity #model checking #programming #set
- Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming (TE, WF, MF, GP, SW), pp. 377–387.
- CL-2000-EiterFLPP #information management
- Planning under Incomplete Knowledge (TE, WF, NL, GP, AP), pp. 807–821.
- ICLP-1999-BuccafurriFL #inheritance #logic programming #source code
- Disjunctive Logic Programs with Inheritance (FB, WF, NL), pp. 79–93.