José Júlio Alferes
Professor of Computer Science
jja@fct.unl.pt
(email)
Publications
Export 6 results:
Tagged
XML
BibTex
Sort by: [
Title
]
Year
A
B
[C]
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
C
Alferes, {José Júlio Alves}.
"
'Classical' negation in nonmonotonic reasoning and logic programming
."
Journal Of Automated Reasoning
. 20 (1998): 107-142.
Abstract
n/a
Alferes, {José Júlio Alves}.
"
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
."
Frontiers in Artificial Intelligence and Applications
. Vol. 178. 2008. 99-103.
Abstract
n/a
Alferes, {José Júlio Alves}.
"
A compilation of updates plus preferences
."
Lecture Notes in Artificial Intelligence
. Vol. 2424. 2002. 62-73.
Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes.
"
Computing environment-aware agent behaviours with logic program updates
."
Lecture Notes in Computer Science
. Vol. 2372. 2002. 216-232.
Abstract
n/a
Alferes, {José Júlio Alves}.
"
CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS
."
MIT Press
. 1991. 105-119.
Abstract
n/a
Alferes, {José Júlio Alves}.
"
COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS
."
MIT Press
. 1991. 566-577.
Abstract
n/a
Bio
Publications
Classes