8 search results - page 2 / 2 » Generating Entailment Rules from FrameNet |
ICLP
2007
Springer
13 years 11 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
ML
2006
ACM
13 years 5 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
DIAGRAMS
2004
Springer
13 years 10 months ago
2004
Springer
In problem solving a goal/subgoal is either solved by generating needed information from current information, or further decomposed into additional subgoals. In traditional problem...