Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
Modular Nonmonotonic Logic Programming Revisited
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Goals in the propositional horn⊃ language are monotone boolean circuits
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |