José Júlio Alferes (alferes)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Alferes, José Júlio, Leite, J. A., Pereira, Luı́s Moniz, Przymusinska, Halina and Przymusinski, Teodor C., eds. 1996. JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996. Berlin: Springer.
Alferes, José Júlio, Leite, J. A., Pereira, Luı́s Moniz, Przymusinska, Halina and Przymusinski, Teodor C. 1998. “Dynamic Logic Programming.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 98–109. San Francisco, California: Morgan Kaufmann Publishers.
Alferes, José Júlio and Pereira, Luı́s Moniz. 1992. “On Logic Program Semantics with Two Kinds of Negation.” in Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming, edited by Krzysztof R. Apt, pp. 574–589. Cambridge, Massachusetts: The MIT Press.
Alferes, José Júlio and Pereira, Luı́s Moniz. 1994. “Belief, Provability, and Logic Programs.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 106–121. Lecture Notes in Computer Science. Berlin: Springer.
Alferes, José Júlio and Pereira, Luı́s Moniz, eds. 1996. Reasoning with Logic Programming. Berlin: Springer.