4126 search results - page 68 / 826 » Set based logic programming |
DKE
2010
13 years 11 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
ATAL
1999
Springer
14 years 3 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
JELIA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Tabled evaluation is a recognized and powerful implementation technique that overcomes some limitations of traditional Prolog systems in dealing with recursion and redund...
AAAI
2008
14 years 1 months ago
2008
One way to solve the knowledge acquisition bottleneck is to have ways to translate natural language sentences and discourses to a formal knowledge representation language, especia...
NMR
2004
Springer
14 years 4 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...