Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Compiling Problem Specifications into SAT
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
NP-SPEC: An Executable Specification Language for Solving All Problems in NP
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Combining Relational Algebra, SQL, and Constraint Programming
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic (TOCL)
Compiling problem specification into SAT
Artificial Intelligence - Special volume on reformulation
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Combining relational algebra, SQL, constraint modelling, and local search
Theory and Practice of Logic Programming
Compiling problem specifications into SAT
Artificial Intelligence - Special volume on reformulation
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
| Hi-index | 5.23 |