Sciweavers

21 search results - page 1 / 5
» ia 2006
Sort
View
IA
2006
74views more  IA 2006»
13 years 3 months ago
Multiagent Systems
Andrea Omicini, Agostino Poggi
IA
2006
72views more  IA 2006»
13 years 3 months ago
Ontologies and Description Logics
Diego Calvanese, Nicola Guarino
IA
2006
51views more  IA 2006»
13 years 3 months ago
Machine Learning and Data Mining
Floriana Esposito, Attilio Giordana, Lorenza Saitt...
CP
2006
Springer
13 years 7 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