16 search results - page 4 / 4 » Really Rethinking 'Formal Methods' |
136
Voted
KR
2004
Springer
15 years 9 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...