The following pages link to Maria I. Sessa (Q1827311):
Displaying 16 items.
- (Q1575248) (redirect page) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Translations and similarity-based logic programming (Q1606792) (← links)
- Approximate reasoning by similarity-based SLD resolution. (Q1607217) (← links)
- Similarity-based SLD resolution and its role for web knowledge discovery (Q1827312) (← links)
- Mobile mail-agents through similarity-based reasoning (Q1864494) (← links)
- Redundancy elimination and loop checks for logic programs (Q1893733) (← links)
- (Q2784602) (← links)
- (Q3028876) (← links)
- (Q3043909) (← links)
- (Q3661471) (← links)
- (Q4319707) (← links)
- On redundancy elimination tolerant scheduling rules (Q4452641) (← links)
- (Q4485141) (← links)
- (Q4529639) (← links)
- Interactive knowledge management for agent-assisted web navigation (Q5435451) (← links)
