4978 search results - page 112 / 996 » Logical models of argument |
146
Voted
LANMR
2007
15 years 5 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
130
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
116
Voted
WILF
2009
Springer
15 years 10 months ago
2009
Springer
106
Voted
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
166
Voted
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...