7 search results - page 2 / 2 » Forgetting and Conflict Resolving in Disjunctive Logic Progr... |
100
Voted
IJCAI
1989
15 years 27 days ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
WWW
2008
ACM
16 years 12 days ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...