2623 search results - page 125 / 525 » Hoare Logic in the Abstract |
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
DLOG
2007
15 years 8 days ago
2007
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rule...
IJCAI
2007
14 years 11 months ago
2007
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
DAGSTUHL
2006
14 years 11 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...