BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Faber:Wolfgang

Contributed to:

ICLP 20152015
ICLP 20142014
ICLP 20122012
KR 20122012
ICLP 20102010
ICLP 20082008
KR 20082008
SIGMOD 20052005
ICLP 20042004
KR 20042004
CL 20002000
ICLP 19991999

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.