97 search results - page 20 / 20 » A 'Natural Logic' inference system using the Lambek calculus |
TABLEAUX
2005
Springer
14 years 25 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
SEMWEB
2004
Springer
14 years 21 days ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...