1445 search results - page 99 / 289 » Abstract Interpretation of Logic Programs |
138
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of ...
105
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In human-like reasoning it often happens that different conditions, partially alternative and hierarchically structured, are mentally grouped in order to derive some conc...
134
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a reļ¬nement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
163
click to vote
SUM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...