1582 search results - page 1 / 317 » On Higher-Order Description Logics |
CADE
1998
Springer
15 years 1 months ago
1998
Springer
50
Voted
DLOG
2009
14 years 7 months ago
2009
DLOG
2011
14 years 1 months ago
2011
119
click to vote
CL
2000
Springer
15 years 2 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
15 years 3 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...