3342 search results - page 195 / 669 » Automating Abstract Interpretation |
DLOG
2007
15 years 1 months ago
2007
Abstract. This paper argues for the benefits of distinguishing the notions of “ontology module” and “importing terms from an ontology”, by sampling some papers on these to...
DLOG
2007
15 years 1 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...
113
click to vote
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
DEON
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question