Publications

Export 6 results:
Sort by: [ Title  (Asc)] 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