Sciweavers

171 search results - page 35 / 35
» Semantic Reasoning: A Path to New Possibilities of Personali...
Sort
View
AGP
2003
IEEE
13 years 8 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello