Publications

Export 8 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]
S
Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "Semantic Web Logic Programming tools." Lecture Notes in Computer Science. 2003. 16-32. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Semantics for dynamic logic programming: A principle-based approach." Lecture Notes in Computer Science. Vol. 2923. 2004. 8-20. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION." MIT Press. 1994. 424-438. Abstract
n/a
Alferes, {José Júlio Alves}. "Special issue - Logics for artificial intelligence - Preface." Journal Of Automated Reasoning. 20 (1998): 1-3. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004." Journal Of Applied Logic. 5 (2007): 389-391. Abstract
n/a
Gonçalves, Ricardo, and José Júlio Alferes. "Specifying and reasoning about normative systems in deontic logic programming." International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems, 2012. 1423-1424. Abstractaamas12deontic.pdf

n/a

Alferes, {José Júlio Alves}. "Strong and explicit negation in non-monotonic reasoning and logic programming." Lecture Notes in Artificial Intelligence. Vol. 1126. 1996. 143-163. Abstract
n/a