378 search results - page 16 / 76 » Higher-order transformation of logic programs |
TACAS
2000
Springer
14 years 21 hour ago
2000
Springer
AAAI
2007
13 years 10 months ago
2007
CORR
2010
Springer
13 years 8 months ago
2010
Springer
ECAI
2006
Springer
14 years 4 days 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...
CADE
2006
Springer
14 years 8 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 ...