8413 search results - page 108 / 1683 » Ordering Problem Subgoals |
KBSE
1999
IEEE
14 years 12 days ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
ICML
1989
IEEE
14 years 5 days ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
LILOG
1989
14 years 5 days ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
DEBS
2007
ACM
14 years 2 days ago
2007
ACM
Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and acc...
ESOP
2009
Springer
14 years 10 hour ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...