| |
| | Citations: ADL: Exploring the middle ground between STRIPS and the situation calculus - Pednault (ResearchIndex) (Site not responding. Last check: 2007-10-13) |
 | | Just as adl marked the middle ground on the tractability spectrum between strips and the situation calculus, sadl offers an advantageous combination of expressiveness and efficiency. |
 | | Among the research on the nonmonotonic logic of causation, besides the papers mentioned in the introduction, Fangzhen Lin s proposal to circumscribe the predicate Caused is particularly relevant [ Lin, 1995, Lin, 1996 ] Although that approach uses a di erent model of nonmonotonic reasoning,.... |
 | | Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, KR'89, 1989, 324-332. |
| citeseer.ist.psu.edu /context/8242/0 (2270 words) |
|