Travelled to:1 × Canada
1 × USA
Collaborated with:S.Hölldobler M.Thielscher J.Schneeberger S.Brüning G.Große
Talks about:disjunct (1) resourc (1) program (1) orient (1) deduct (1) action (1) logic (1) equat (1) chang (1) plan (1)
Person: Ute Cornelia Sigmund
DBLP: Sigmund:Ute_Cornelia
Contributed to:
19931992Wrote 2 papers:
- ILPS-1993-BruningHSTS #deduction
- Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.
- JICSLP-1992-GrosseHSST #equation #logic programming
- Equational Logic Programming Actions, and Change (GG, SH, JS, UCS, MT), pp. 177–191.