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: Dix:J=uuml=rgen
Contributed to:
1998
199719961995199419921992Wrote 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.