3546 search results - page 256 / 710 » A Causal Logic of Logic Programming |
171
click to vote
TPHOL
2003
IEEE
16 years 15 days ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
237
click to vote
ENTCS
2002
15 years 7 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
198
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
210
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
177
click to vote
DLOG
1996
15 years 8 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...