Inproceedings,

Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.

.
WLP, volume 90 of GMD Report, page 17. (2000)

Meta data

Tags

Users

  • @dblp

Comments and Reviews