Complexity and Expressive Power of Logic Programming Export

@inproceedings{dantsin97logicprogramming, abstract = {This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of ...}, author = {Dantsin, Evgeny and Eiter, Thomas and Gottlob, Georg and Voronkov, Andrei}, booktitle = {IEEE Conference on Computational Complexity}, citeulike-article-id = {482012}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1201}, keywords = {complexity, logic\_programming, theorem\_proving}, pages = {82--101}, posted-at = {2006-01-26 18:47:14}, priority = {0}, title = {Complexity and Expressive Power of Logic Programming}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1201}, year = {1997} }

TY - CONF ID - dantsin97logicprogramming L3 - citeulike-article-id:482012 N2 - This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results on plain logic programming (pure Horn clause programs), more recent results on various important extensions of logic programming are surveyed. These include logic programming with different forms of ... EP - 101 TI - Complexity and Expressive Power of Logic Programming T2 - IEEE Conference on Computational Complexity SP - 82 KW - complexity KW - logic_programming KW - theorem_proving AU - Dantsin, Evgeny AU - Eiter, Thomas AU - Gottlob, Georg AU - Voronkov, Andrei PY - 1997/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1201 ER -