Pages that link to "Item:Q5452092"
From MaRDI portal
The following pages link to Revising First-Order Logic Theories from Examples Through Stochastic Local Search (Q5452092):
Displayed 3 items.
- Using the bottom clause and mode declarations in FOL theory revision from examples (Q1959495) (← links)
- Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples (Q3543271) (← links)
- Revising First-Order Logic Theories from Examples Through Stochastic Local Search (Q5452092) (← links)