Travelled to:
1 × Denmark
Collaborated with:
D.Pearce T.Schaub H.Tompits S.Woltran
Talks about:
program (2) logic (2) preliminari (1) translat (1) polynomi (1) disjunct (1) express (1) report (1) nest (1)
Person: Vladimir Sarsakov
DBLP: Sarsakov:Vladimir
Contributed to:
Wrote 1 papers:
- ICLP-2002-PearceSSTW #logic programming #polynomial #source code
- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.