Sciweavers

1894 search results - page 21 / 379
» Towards Mobile Reasoning
Sort
View
ATAL
2003
Springer
15 years 2 months ago
Towards practical reasoning agents for the semantic web
Ian Dickinson, Michael Wooldridge
79
Voted
IEAAIE
2003
Springer
15 years 2 months ago
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases
José A. Alonso-Jiménez, Joaquí...
CP
2006
Springer
15 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
15 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
15 years 1 months ago
Towards a Better Understanding of Memory-based Reasoning Systems
John Rachlin, Simon Kasif, Steven Salzberg, David ...