73 search results - page 3 / 15 » Reasoning about Implicit Invocation |
ISMIS
1994
Springer
14 years 3 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
DLOG
2009
13 years 8 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
ECMDAFA
2008
Springer
13 years 12 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
FAC
2007
13 years 10 months ago
2007
In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial p...
AI
1998
Springer
13 years 10 months ago
1998
Springer
In formal approaches to commonsense reasoning about actions. the Ramification Problem denotes the problem of handling indirect effects which implicitly derive from so-called state...