Publications

Export 112 results:
Sort by: Title [ Year (Desc)]
1993
Alferes, {José Júlio Alves}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." MIT Press. 1993. 601-615. Abstract
n/a
Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract
n/a
1992
Alferes, {José Júlio Alves}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2. 1 (1992): 562-569. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." LOGICS IN AI. 633 (1992): 339-356. Abstract
n/a
Alferes, {José Júlio Alves}. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." Lecture Notes in Artificial Intelligence. Vol. 633. 1992. 339-356. Abstract
n/a
Alferes, {José Júlio Alves}. "WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION." John Wiley & Sons. 1992. 102-106. 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
Alferes, {José Júlio Alves}. "THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS." Lecture Notes in Artificial Intelligence. Vol. 541. 1991. 105-119. Abstract
n/a
Alferes, {José Júlio Alves}. "HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS." IOS Press. 1991. 289-300. Abstract
n/a
Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS." MIT Press. 1991. 475-489. Abstract
n/a
Alferes, {José Júlio Alves}. "A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS." IOS Press. 1991. 277-288. Abstract
n/a