Author:
Moura João,Damásio Carlos Viegas
Publisher
Springer International Publishing
Reference22 articles.
1. Babb, J., Lee, J.: Module theorem for the general theory of stable models. TPLP 12(4–5), 719–735 (2012)
2. Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press (2003)
3. Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Log. Program. 19(20), 443–502 (1994)
4. Lecture Notes in Computer Science;C Viegas Damásio,2011
5. Lecture Notes in Computer Science;M Dao-Tran,2009