Pages that link to "Item:Q3543271"
From MaRDI portal
The following pages link to Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples (Q3543271):
Displaying 4 items.
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)
- Using the bottom clause and mode declarations in FOL theory revision from examples (Q1959495) (← links)
- On the use of stochastic local search techniques to revise first-order logic theories from examples (Q2361575) (← links)
- Online probabilistic theory revision from examples with ProPPR (Q2425252) (← links)
