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 
A
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "Abduction in well-founded semantics and generalized stable models via tabled dual programs." Theory And Practice Of Logic Programming. 4 (2004): 383-428. Abstract
n/a
Alferes, {José Júlio Alves}. "Active Rules in the Semantic Web." Lecture Notes in Artificial Intelligence. 2005. 30-44. Abstract
n/a
Alferes, {José Júlio Alves}. "Active rules in the Semantic Web: Dealing with language heterogeneity." RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS. 3791 (2005): 30-44. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." Theoretical Computer Science. 122 (1994): 49-68. Abstract
n/a
Alferes, {José Júlio Alves}. "ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS." FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2. 1 (1992): 562-569. Abstract
n/a
Alferes, {José Júlio Alves}. "An architecture for Idea Generation in Smart Meeting Rooms." Ambient Intelligence and Smart Environments. Vol. 5. 2009. 159-166. Abstract
n/a
Alferes, {José Júlio Alves}. "An argumentation-based negotiation for distributed extended logic programs." Lecture Notes in Artificial Intelligence. Eds. K. Inoue, K. Satoh, and F. Toni. Vol. 4371. 2007. 191-210. Abstract
n/a
{De Almeida Móra}, Iara, and {José Júlio} Alferes. "Argumentative and cooperative multi-agent system for extended logic programming." Advances in Artificial Intelligence - 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998, Proceedings. Vol. 1515. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1515. Springer-Verlag, 1998. 161-170. Abstract
n/a
B
Alferes, {José Júlio}, {Luís Moniz} Pereira, and {Teodor C. } Przymusinski. "Belief revision in non-monotonic reasoning and logic programming." Fundamenta Informaticae. 28 (1996): 1-22. Abstract
n/a
Alferes, {José Júlio}, and {Luís Moniz} Pereira. "Belief, provability, and logic programs." Journal Of Applied Non-Classical Logics. 5 (1995): 31-50. Abstract
n/a
C
Alferes, {José Júlio Alves}. "'Classical' negation in nonmonotonic reasoning and logic programming." Journal Of Automated Reasoning. 20 (1998): 107-142. Abstract
n/a
Alferes, {José Júlio Alves}. "A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases." Frontiers in Artificial Intelligence and Applications. Vol. 178. 2008. 99-103. Abstract
n/a
Alferes, {José Júlio Alves}. "A compilation of updates plus preferences." Lecture Notes in Artificial Intelligence. Vol. 2424. 2002. 62-73. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Computing environment-aware agent behaviours with logic program updates." Lecture Notes in Computer Science. Vol. 2372. 2002. 216-232. Abstract
n/a
Alferes, {José Júlio Alves}. "CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS." MIT Press. 1991. 105-119. Abstract
n/a
Alferes, {José Júlio Alves}. "COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS." MIT Press. 1991. 566-577. Abstract
n/a
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