1534 search results - page 21 / 307 » Error Reporting Logic |
IAT
2008
IEEE
15 years 4 months ago
2008
IEEE
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
FMCO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
ACL
2010
14 years 8 months ago
2010
This paper proposes a method of correcting annotation errors in a treebank. By using a synchronous grammar, the method transforms parse trees containing annotation errors into the...
EWRL
2008
14 years 11 months ago
2008
We consider linear fixed point equations and their approximations by projection on a low dimensional subspace. We derive new bounds on the approximation error of the solution, whi...
ASP
2005
Springer
15 years 3 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...