1063 search results - page 2 / 213 » Order and Negation as Failure |
ISSRE
2002
IEEE
13 years 10 months ago
2002
IEEE
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
JLP
2000
13 years 5 months ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
ELP
1989
13 years 9 months ago
1989
DLOG
2008
13 years 7 months ago
2008