1083 search results - page 40 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
142
click to vote
EPIA
2001
Springer
15 years 6 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
121
click to vote
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
119
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
134
click to vote
IJCAI
2007
15 years 3 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...