383
click to vote
LICS
16 years 3 days 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. ...
326
click to vote
ICTL
16 years 3 days 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...
271
click to vote
KR
16 years 2 days 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...
258
click to vote
ICLP
16 years 3 days 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