1582 search results - page 1 / 317 » On Higher-Order Description Logics |
CADE
1998
Springer
13 years 9 months ago
1998
Springer
DLOG
2009
13 years 2 months ago
2009
DLOG
2011
12 years 8 months ago
2011
CL
2000
Springer
13 years 9 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...