Publications

Export 12 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]
D
Gonçalves, Ricardo, and José Júlio Alferes. "Decidability and Implementation of Parametrized Logic Programs." Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013. Springer-Verlag, 2013. 361-373. Abstractlpnmr13a.pdf

n/a

Damásio, Carlos Viegas, João Leite, and José Júlio Alferes. "Declarative Semantics for the Rule Interchange Format Production Rule Dialect." The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference. Springer, 2010. 798-813. Abstractiswc10.pdf

TheRuleInterchangeFormatProductionRuleDialect(RIF- PRD) is a W3C Recommendation to define production rules for the Semantic Web, whose semantics is defined operationally via labeled ter- minal transition systems.
In this paper, we introduce a declarative logical characterization of the full default semantics of RIF-PRD based on Answer Set Programming (ASP), including matching, conflict resolution and acting.
Our proposal to the semantics of RIF-PRD enjoys several features. Being based on ASP, it enables a straightforward integration with Logic Programming rule based technology, namely for reasoning and acting with ontologies. Then, its full declarative logical character facilitates the in- vestigation of formal properties of RIF-PRD itself. Furthermore, it turns out that our characterization based on ASP is flexible enough so that new conflict resolution semantics for RIF-PRD can easily be defined and encoded. Finally, it immediately serves as the declarative specification of an implementation, whose prototype we developed.

Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." Artificial Intelligence Applications and Innovations. 2004. 155-165. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, {José Júlio Alves} Alferes, {Pedro Manuel Corrêa Calvente de} Barahona, and {Francisco Moura Castro Ascensão E. de de} Azevedo. "Deductive Diagnosis of Digital Circuits." IFIP World Computer Congress. 2004. 155-166. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." LOGICS IN AI. 633 (1992): 339-356. Abstract
n/a
Alferes, {José Júlio Alves}. "DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION." Lecture Notes in Artificial Intelligence. Vol. 633. 1992. 339-356. Abstract
n/a
Gonçalves, Ricardo, and José Júlio Alferes. "Deontic logic programs." International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13. IFAAMAS, 2013. 1333-1334. Abstractaamas13.pdf

n/a

Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL." MIT Press. 1993. 316-330. Abstract
n/a
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