The following pages link to Eyal Amir (Q543590):
Displaying 11 items.
- First-order logical filtering (Q543591) (← links)
- Logic-based subsumption architecture (Q814558) (← links)
- Approximation algorithms for treewidth (Q848843) (← links)
- Partition-based logical reasoning for first-order and propositional theories (Q2457688) (← links)
- (Q2741534) (← links)
- (Q2741535) (← links)
- A Survey of First-Order Probabilistic Models (Q3562276) (← links)
- (Q4536729) (← links)
- (Q4546700) (← links)
- (Q4708921) (← links)
- (Q4863327) (← links)
