1917 search results - page 28 / 384 » Experimenting with Nonmonotonic Reasoning |
DLOG
2004
13 years 9 months ago
2004
DLOG
2006
13 years 9 months ago
2006
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
ICTAI
1996
IEEE
13 years 11 months ago
1996
IEEE
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a common family of knowledge-bases we also provide an efficient algorithm for doing ...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...