Pages that link to "Item:Q5878906"
From MaRDI portal
The following pages link to Subsumption algorithms based on search trees (Q5878906):
Displaying 9 items.
- Fast subsumption checks using anti-links (Q679247) (← links)
- A new subsumption method in the connection graph proof procedure (Q1199542) (← links)
- On subsumption in distributed derivations (Q1337562) (← links)
- A disjunctive positive refinement of model elimination and its application to subsumption deletion (Q1369080) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- On the efficiency of subsumption algorithms (Q3771609) (← links)
- Advanced indexing operations on substitution trees (Q4647547) (← links)
- Inductive Logic Programming (Q5897181) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897319) (← links)