The following pages link to (Q4631195):
Displaying 3 items.
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- A greedy randomized adaptive search procedure (GRASP) for inferring logical clauses from examples in polynomial time and some extensions (Q969776) (← links)
- Possible models computation and revision -- a practical approach (Q2096456) (← links)