BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
3 × USA
Collaborated with:
T.Eiter M.Fink C.Redl M.Dao-Tran
Talks about:
nonmonoton (3) program (2) modular (2) logic (2) merg (2) distribut (1) conflict (1) revisit (1) context (1) system (1)

Person: Thomas Krennwallner

DBLP DBLP: Krennwallner:Thomas

Contributed to:

ICLP 20122012
ICLP 20112011
PADL 20112011
KR 20102010
ICLP 20092009

Wrote 5 papers:

Conflict-driven ASP solving with external sources (TE, MF, TK, CR), pp. 659–679.
ICLP-2011-Krennwallner #composition #logic programming #source code
Promoting Modular Nonmonotonic Logic Programs (TK), pp. 274–279.
PADL-2011-RedlEK #declarative #set #using
Declarative Belief Set Merging Using Merging Plans (CR, TE, TK), pp. 99–114.
KR-2010-Dao-TranEFK #distributed #multi
Distributed Nonmonotonic Multi-Context Systems (MDT, TE, MF, TK).
ICLP-2009-Dao-TranEFK #composition #logic programming #revisited
Modular Nonmonotonic Logic Programming Revisited (MDT, TE, MF, TK), pp. 145–159.

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.