Publications

Export 112 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 
T
Alferes, {José Júlio Alves}. "Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web." CEUR WS-proceedings. 2008. Abstract
n/a
Alferes, {José Júlio Alves}. "Towards tractable local closed world reasoning for the semantic web." Lecture Notes in Computer Science. Eds. J. Neves, MF Santos, and JM Machado. Vol. 4874. 2007. 3-14. Abstract
n/a
Alferes, José Júlio, and Ana Sofia Gomes. "Transaction Logic with (Complex) Events." International Conference on Logic Programming. 2014. Abstracticlp14.pdf

n/a

Gomes, Ana Sofia, and José Júlio Alferes. "Transaction Logic with External Actions." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 272-277. Abstractlpnmr11b.pdf

n/a

U
Alferes, {José Júlio Alves}. "Update-programs can update programs." Lecture Notes in Artificial Intelligence. Vol. 1216. 1997. 110-131. Abstract
n/a
Alferes, {José Júlio Alves}. "Updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 1919. 2002. 345-360. Abstract
n/a
V
Schroeder, Michael, Iara Móra, and {José Julio} Alferes. "Vivid agents arguing about distributed extended logic programs." Progress in Artificial Intelligence - 8th Portuguese Conference on Artificial Intelligence, EPIA 1997, Proceedings. Vol. 1323. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1323. Springer-Verlag, 1997. 217-228. Abstract
n/a
W
Alferes, {José Júlio Alves}. "Well founded semantics for logic program updates." Lecture Notes in Artificial Intelligence. Vol. 3315. 2004. 397-407. 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
Alferes, {José Júlio Alves}. "The well supported semantics for multidimensional dynamic logic programs." Lecture Notes in Computer Science. Vol. 3662. 2005. 356-368. Abstract
n/a
Alferes, {José Júlio Alves}. "Well-founded abduction via tabled dual programs." MIT Press. 1999. 426-440. Abstract
n/a
Alferes, {José Júlio Alves}. "A Well-founded Semantics for Hybrid MKNF Knowledge Bases." CEUR Workshop Proceedings. 2007. 347-354. Abstract
n/a