José Júlio Alferes
Professor of Computer Science
jja@fct.unl.pt
(email)
Publications
Export 2 results:
Tagged
XML
BibTex
Sort by:
Title
[
Year
]
1996
Alferes, {José Júlio}, {Luís Moniz} Pereira, and {Teodor C. } Przymusinski.
"
Belief revision in non-monotonic reasoning and logic programming
."
Fundamenta Informaticae
. 28 (1996): 1-22.
Abstract
n/a
1995
Alferes, {José Júlio}, and {Luís Moniz} Pereira.
"
Belief, provability, and logic programs
."
Journal Of Applied Non-Classical Logics
. 5 (1995): 31-50.
Abstract
n/a
Bio
Publications
Classes