147 search results - page 25 / 30 » SD2: A Sound and Complete Diagrammatic Reasoning System |
167
click to vote
IJCAI
1997
15 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...
144
click to vote
AAAI
1996
15 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 ...
178
click to vote
ICFEM
2010
Springer
15 years 5 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 ...
135
click to vote
FMCO
2007
Springer
16 years 24 days 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...
311
click to vote
POPL
2006
ACM
16 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...