Publications

Export 14 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]
E
Gonçalves, Ricardo, and José Júlio Alferes. "An Embedding of Input-Output Logic in Deontic Logic Programs." Deontic Logic in Computer Science - 11th International Conference, DEON 2012. Springer-Verlag, 2012. 61-75. Abstractdeon2012.pdf

n/a

Alferes, José Júlio, Ricardo Gonçalves, and João Leite. "Equivalence of defeasible normative systems." Journal Of Applied Non-Classical Logics. 23 (2013): 25-48. Abstractjancl13.pdf

n/a

Alferes, {José Júlio Alves}. "An event-condition-action logic programming language." Lecture Notes in Artificial Intelligence. Vol. 4160. 2006. 29-42. Abstract
n/a
Alferes, {José Júlio Alves}. "Evolution and reactivity for the Web." Lecture Notes in Artificial Intelligence. Vol. 3564. 2005. 134-172. Abstract
n/a
Alferes, {José Júlio Alves}. "Evolution and Reactivity in the Semantic Web." Lecture Notes in Computer Science. Eds. F. Bry, and J. Maluszynski. Vol. 5500. Springer, 2009. 161-200. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An evolvable rule-based e-mail agent." Lecture Notes in Computer Science. Vol. 2902. 2003. 394-408. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "An Evolving Agent with EVOLP." Declarative Programming. 2003. 205-216. Abstract
n/a
Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "Evolving logic programming based agents with temporal operators." Web Intelligence. 2008. 238-244. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Evolving logic programs." Lecture Notes in Computer Science. Vol. 2424. 2002. 50-61. Abstract
n/a
Gabaldon, Alfredo, João Leite, and José Júlio Alferes. "Evolving Logic Programs with Temporal Operators." Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond. Eds. M. Balduccini, and T. Son. LNCS/LNAI. Springer, 2011. 193-212. Abstractgelfond65.pdf

n/a

Alferes, José Júlio, Federico Banti, and Antonio Brogi. "Evolving reactive logic programs." Intelligenza Artificiale. 5 (2011): 77-81. Abstract

n/a

T
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
E
Gomes, Ana Sofia, and José Júlio Alferes. "Extending Transaction Logic with External Actions." Theory And Practice Of Logic Programming. 13.4-5-Online-Supplement (2013). Abstracticlp13.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "External Transaction Logic with Automatic Compensations." Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV. Springer-Verlag, 2013. 239-255. Abstractclima13.pdf

n/a