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 × Japan
2 × Italy
2 × USA
Collaborated with:
S.Brass T.C.Przymusinski M.Osorio M.Müller G.Gottlob V.W.Marek I.Niemelä
Talks about:
semant (6) disjunct (5) program (5) logic (4) well (2) comparison (1) implement (1) framework (1) character (1) classifi (1)

Person: Jürgen Dix

DBLP DBLP: Dix:J=uuml=rgen

Contributed to:

KR 19981998
ILPS 19971997
KR 19961996
ICLP 19951995
ICLP 19941994
JICSLP 19921992
KR 19921992

Wrote 9 papers:

KR-1998-BrassDNP #comparison #implementation #semantics
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.
ILPS-1997-DixO #on the #semantics
On Well-Behaved Semantics Suitable for Aggregation (JD, MO), p. 405.
KR-1996-BrassDP #logic programming #source code
Super Logic Programs (SB, JD, TCP), pp. 529–540.
ICLP-1995-BrassD #bottom-up #evaluation #semantics
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (SB, JD), pp. 199–213.
ICLP-1994-DixGM #logic programming #modelling #source code
Causal Models of Disjunctive Logic Programs (JD, GG, VWM), pp. 290–302.
ICLP-1994-DixM #approach #axiom #semantics #source code
An Axiomatic Approach to Semantics of Disjunctive Programs (JD, MM), pp. 303–320.
JICSLP-1992-Dix #logic programming #semantics #source code
Classifying Semantics of Disjunctive Logic Programs (JD), pp. 798–812.
KR-1992-Dix #framework #logic programming #representation #semantics #source code
A Framework for Representing and Characterizing Semantics of Logic Programs (JD), pp. 591–602.

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.