89 search results - page 7 / 18 » ijcai 1993 |
IJCAI
1993
13 years 8 months ago
1993
IJCAI
1993
13 years 8 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
IJCAI
1993
13 years 8 months ago
1993
We consider the question of whether or not a successful attempt to simulate human (rational) thought on a computer can contribute to our understanding of the mind, including perha...
IJCAI
1993
13 years 8 months ago
1993
This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches...
IJCAI
1993
13 years 8 months ago
1993
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...