Publications

Export 6 results:
Sort by: Title [ Year (Desc)]
2008
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
2002
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
1998
Alferes, {José Júlio Alves}. "'Classical' negation in nonmonotonic reasoning and logic programming." Journal Of Automated Reasoning. 20 (1998): 107-142. Abstract
n/a
1991
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