260 search results - page 21 / 52 » Merging Belief Bases Represented by Logic Programs |
144
click to vote
TYPES
1995
Springer
15 years 5 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
125
click to vote
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
113
click to vote
IWFM
1998
15 years 3 months ago
1998
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
106
click to vote
AAAI
2006
15 years 3 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
119
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
There are numerous applications where we have to deal with temporal uncertainty associated with events. The Temporal Probabilistic (TP) Logic Programs should provide support for v...