1083 search results - page 123 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
137
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
143
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
Abstract. Knowledge discovery is a time-consuming and space intensive endeavor. By distributing such an endeavor, we can diminish both time and space. System INDED pronounced indee...
109
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
133
Voted
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
120
Voted
RR
2007
Springer
15 years 8 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...