Sciweavers

2073 search results - page 8 / 415
» Learning for Dynamic Subsumption
Sort
View
IGPL
2007
125views more  IGPL 2007»
13 years 10 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»
13 years 8 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
ICML
1991
IEEE
14 years 2 months ago
Learning Qualitative Models of Dynamic Systems
Ivan Bratko, Stephen Muggleton, Alen Varsek
ALT
2008
Springer
14 years 7 months ago
Dynamic Modeling in Inductive Inference
John Case, Timo Kötzing