Sciweavers

2073 search results - page 8 / 415
» Learning for Dynamic Subsumption
Sort
View
IGPL
2007
125views more  IGPL 2007»
15 years 1 months ago
Morph Moulder: Teaching Software for HPSG and Description Logics
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
Ekaterina Ovchinnikova, Frank Richter
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 11 months ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
146
Voted
ICML
1991
IEEE
15 years 5 months ago
Learning Qualitative Models of Dynamic Systems
Ivan Bratko, Stephen Muggleton, Alen Varsek
77
Voted
ALT
2008
Springer
15 years 10 months ago
Dynamic Modeling in Inductive Inference
John Case, Timo Kötzing