Sciweavers

891 search results - page 20 / 179
» Towards Reasoning Pragmatics
Sort
View
CP
2006
Springer
14 years 1 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
ESWS
2006
Springer
14 years 1 months ago
Toward Multi-viewpoint Reasoning with OWL Ontologies
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
Heiner Stuckenschmidt
ICML
1994
IEEE
14 years 1 months ago
Towards a Better Understanding of Memory-based Reasoning Systems
John Rachlin, Simon Kasif, Steven Salzberg, David ...