3470 search results - page 68 / 694 » Head-Elementary-Set-Free Logic Programs |
153
click to vote
FUIN
2000
15 years 4 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...
152
click to vote
ICLP
1999
Springer
15 years 8 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
174
click to vote
IWFM
2003
15 years 5 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
152
click to vote
ICML
1989
IEEE
15 years 8 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
124
click to vote
EUROPAR
1995
Springer
15 years 8 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...