2364 search results - page 2 / 473 » An Engine for Computing Well-Founded Models |
EPIA
2005
Springer
13 years 10 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
VMCAI
2004
Springer
13 years 10 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
WOSS
2004
ACM
13 years 10 months ago
2004
ACM
AC
2003
Springer
13 years 10 months ago
2003
Springer