Travelled to:1 × United Kingdom
Collaborated with:J.Engelfriet J.J.Alferes L.M.Pereira
Talks about:model (2) nonmonoton (1) program (1) partial (1) generat (1) general (1) system (1) prefer (1) extens (1) extend (1)
Person: Heinrich Herre
DBLP: Herre:Heinrich
Contributed to:
2000
1997Wrote 2 papers:
- CL-2000-AlferesHP #logic programming #modelling #source code
- Partial Models of Extended Generalized Logic Programs (JJA, HH, LMP), pp. 149–163.
- ILPS-1997-EngelfrietH #modelling
- Generated Preferred Models and Extensions of Nonmonotonic Systems (JE, HH), pp. 85–99.