16 search results - page 4 / 4 » Really Rethinking 'Formal Methods' |
KR
2004
Springer
13 years 11 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...