378 search results - page 16 / 76 » Higher-order transformation of logic programs |
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
AAAI
2007
15 years 1 months ago
2007
CORR
2010
Springer
14 years 11 months ago
2010
Springer
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
97
Voted
CADE
2006
Springer
15 years 12 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...