Name
Abstract | ||
|---|---|---|
While function symbols are widely acknowledged as an important feature in logic programming, they make common inference tasks undecidable. To cope with this problem, recent research has focused on identifying classes of logic programs imposing restrictions on the use of function symbols, but guaranteeing decidability of common inference tasks. This has led to several criteria, called termination criteria, providing sufficient conditions for a program to have finitely many stable models, each of finite size. This paper introduces the new class of bounded programs which guarantees the aforementioned property and strictly includes the classes of programs determined by current termination criteria. Different results on the correctness, the expressiveness, and the complexity of the class of bounded programs are presented. |
Year | Venue | Keywords |
|---|---|---|
2013 | IJCAI | termination criterion,logic programming,common inference task,current termination criterion,new class,common inference tasks undecidable,function symbol,bounded program,new decidable class,aforementioned property,logic program |
Field | DocType | Citations |
Signature (logic),Discrete mathematics,Programming language,Computer science,Inference,Correctness,Theoretical computer science,Decidability,Logic programming,Answer set programming,Bounded function,Undecidable problem | Conference | 7 |
PageRank | References | Authors |
0.41 | 27 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sergio Greco | 1 | 1249 | 265.35 |
| Cristian Molinaro | 2 | 126 | 28.71 |
| Irina Trubitsyna | 3 | 119 | 24.66 |