170
click to vote
ICTL
15 years 4 months ago
1994 
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
153
Voted
NMELP
15 years 4 months ago
1994  149
click to vote
KR
15 years 4 months ago
1994 Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
149
click to vote
LICS
15 years 4 months ago
1994 IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
143
click to vote
ICLP
15 years 4 months ago
1994 Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
|
Automated Reasoning