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 
D
Alferes, {José Júlio Alves}, and DI Group Author. "Dynamic knowledge representation and its applications." Lecture Notes in Computer Science. Vol. 1904. 2000. 1-10. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Declarative Programming. 1998. 393-408. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic Logic Programming." Representation and Reasoning. Morgan Kaufmann, 1998. 98-109. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Dynamic updates of non-monotonic knowledge bases." Journal Of Logic Programming. 45 (2000): 43-70. Abstract
n/a
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

F
Alferes, José Júlio, Matthias Knorr, and Kewen Wang. "Forgetting under the Well-Founded Semantics." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 36-41. Abstractforgettinglpnmr13.pdf

n/a

Alferes, {José Júlio Alves}. "From logic programs updates to action description updates." Lecture Notes in Computer Science. Vol. 3487. 2004. 52-77. Abstract
n/a
G
Alferes, {José Júlio Alves}. "A general language for evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3703. 2005. 101-115. Abstract
n/a
Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "A goal-directed implementation of query answering for hybrid MKNF knowledge bases." Theory and Practice of Logic Programming. 14 (2014): 239-264. Abstracttplp-11-mknf.pdf

n/a

H
Gomes, Ana Sofia, and José Júlio Alferes. "How to combine event stream reasoning with transactions for the semantic web." Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. Vol. 9202. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9202. Springer-Verlag, 2015. 258-273. Abstractruleml.pdf

Semantic Sensor Web is a new trend of research integrating Semantic Web technologies with sensor networks. It uses Semantic Web standards to describe both the data produced by the sensors, but also the sensors and their networks, which enables interoperability of sensor networks, and provides a way to formally analyze and reason about these networks. Since sensors produce data at a very high rate, they require solutions to reason efficiently about what complex events occur based on the data captured. Nevertheless, besides detecting complex events, sensor based applications also need to execute actions in response to these events, and in some cases, to execute these actions in a transactional way. In this paper we propose TRev as a solution to combine the detection of complex events with the execution of transactions for these domains. TRev is an abstract logic to model and execute reactive transactions. The logic is parametric on a pair of oracles defining the basic primitives of the domain, which makes it suitable for a wide range of applications. In this paper we provide oracle instantiations combining RDF/OWL and relational database semantics for TRev Afterwards, based on these oracles, we illustrate how TRev can be useful for these domains.

Alferes, {José Júlio Alves}. "HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS." IOS Press. 1991. 289-300. Abstract
n/a
I
Alferes, {José Júlio Alves}. "Implementation of a complex event engine for the web." IEEE Services Computing Workshops. 2006. 65-72. Abstract
n/a