Travelled to:
1 × Italy
Collaborated with:
C.Anger T.Linke
Talks about:
program (1) monoton (1) system (1) semant (1) reason (1) answer (1) under (1) logic (1) set (1) non (1)
Person: Kathrin Konczak
DBLP: Konczak:Kathrin
Contributed to:
Wrote 1 papers:
- IJCAR-2001-AngerKL #logic programming #reasoning #semantics #set #source code
- NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics (CA, KK, TL), pp. 325–330.