147 search results - page 25 / 30 » SD2: A Sound and Complete Diagrammatic Reasoning System |
IJCAI
1997
13 years 8 months ago
1997
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
AAAI
1996
13 years 8 months ago
1996
We describe Occam, a query planning algorithm that determines the best way to integrate data from dierent sources. As input, Occam takes a library of site descriptions and a user ...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...