3546 search results - page 24 / 710 » A Causal Logic of Logic Programming |
FUIN
2007
13 years 7 months ago
2007
ASP
2003
Springer
14 years 23 days 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. ...
ICECCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
ICLP
2001
Springer
13 years 12 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
MEMOCODE
2003
IEEE
14 years 24 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...