Publications

Export 8 results:
Sort by: Title [ Year (Desc)]
2012
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

2007
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
2004
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
2003
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
1998
Alferes, {José Júlio Alves}. "Special issue - Logics for artificial intelligence - Preface." Journal Of Automated Reasoning. 20 (1998): 1-3. Abstract
n/a
1996
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
1994
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
1993
Alferes, {José Júlio Alves}. "SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS." MIT Press. 1993. 334-348. Abstract
n/a