Sciweavers

4617 search results - page 32 / 924
» Automation of Diagrammatic Reasoning
Sort
View
ILP
1998
Springer
15 years 6 months ago
Repeat Learning Using Predicate Invention
Khalid Khan, Stephen Muggleton, Rupert Parson
ILP
1998
Springer
15 years 6 months ago
Learning Multilingual Morphology with CLOG
Suresh Manandhar, Saso Dzeroski, Tomaz Erjavec
ILP
1998
Springer
15 years 6 months ago
Completing Inverse Entailment
Stephen Muggleton
KR
1998
Springer
15 years 6 months ago
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
82
Voted
KR
1998
Springer
15 years 6 months ago
On the Logic of Merging
Sébastien Konieczny, Ramón Pino P&ea...