2585 search results - page 245 / 517 » Automating Coherent Logic |
155
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
170
click to vote
LPAR
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
178
click to vote
LPNMR
2007
Springer
16 years 22 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
172
click to vote
LOPSTR
2005
Springer
16 years 3 days ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
212
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...