1582 search results - page 31 / 317 » On Higher-Order Description Logics |
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
AAAI
1994
13 years 9 months ago
1994
IJAR
2010
13 years 7 months ago
2010
FASE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
IJCAI
2003
13 years 10 months ago
2003
Many description logics (DLs) combine knowledge tation on an abstract, logical level with an interface to “concrete” domains such as numbers and strings. We propose to extend ...