111 search results - page 1 / 23 » Using Counterfactuals in Knowledge-Based Programming |
TARK
1998
Springer
13 years 9 months ago
1998
Springer
IJCAI
2007
13 years 6 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
JLP
2000
13 years 5 months ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
OOPSLA
1995
Springer
13 years 8 months ago
1995
Springer
In Self 4.0, people write programs by directly constructing webs of objects in a larger world of objects. But in order to save or share these programs, the objects must be moved t...
IJAIT
2000
13 years 5 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...