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 
I
Gomes, Ana Sofia, José Júlio Alferes, and Terrance Swift. "Implementing Query Answering for Hybrid MKNF Knowledge Bases." Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010. Vol. 5937. Springer, 2010. 25-39. Abstractpadl10.pdf

Ontologies and rules are usually loosely coupled in knowledge rep- resentation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non-monotonic, closed-world reasoning. One ex- ception is the tightly-coupled framework of Minimal Knowledge and Negation as Failure (MKNF), which allows statements about individuals to be jointly derived via entailment from an ontology and inferences from rules. Nonetheless, the prac- tical usefulness of MKNF has not always been clear, although recent work has formalized a general resolution-based method for querying MKNF when rules are taken to have the well-founded semantics, and the ontology is modeled by a general Oracle. That work leaves open what algorithms should be used to relate the entailments of the ontology and the inferences of rules. In this paper we pro- vide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics and a (monotonic) ontology, represented by a CDF (ALCQ) theory.

L
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Electronic Notes In Theoretical Computer Science. 70 (2002): 20-38. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "A Language for Multi-dimensional Updates." Datalogiske Skrifter. Vol. 93. Roskilde University, 2002. 19-34. Abstract
n/a
Alferes, {José Júlio}, James Bailey, Wolfgang May, and Uta Schwertel. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioformatics): Preface." Revised Selected Papers 2009 - Euro-Par 2008 Workshops - Parallel Processing. 4187 LNCS (2006). Abstract
n/a
Knorr, Matthias, José Júlio Alferes, and Pascal Hitzler. "Local closed world reasoning with description logics under the well-founded semantics." Artificial Intelligence. 175 (2011): 1528-1554. Abstractai11.pdf

n/a

Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Logic programming for evolving agents." Lecture Notes in Computer Science. Vol. 2782. 2003. 281-297. Abstract
n/a
Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." Lecture Notes in Computer Science. Vol. 5816. 2009. 101-112. Abstract
n/a
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "A Logic Programming System for Non-monotonic Reasoning." Journal Of Automated Reasoning. 14 (1995): 93-147. Abstract
n/a
Alferes, {José Júlio Alves}. "Logic programming updating - A guided approach." Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Eds. {Antonis C. } Kakas, and Fariba Sadri. Vol. 2408. Lecture Notes in Computer Science, 2408. Springer, 2002. 382-412. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes Logics in Artificial Intelligence, 9th European Conference, JELIA 2004. Springer, 2004. Abstract
n/a
Alferes, {José Júlio Alves}, and {Luís Manuel Sancho Moniz} Pereira. "LUPS - A language for updating logic programs." Artificial Intelligence. 138 (2002): 87-116. Abstract
n/a
Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "LUPS - A language for updating logic programs." LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN, 1999. 162-176. Abstract
n/a
M
Leite, {João Alexandre}, and {José Júlio} Alferes. "MINERVA - A dynamic Logic Programming agent architecture." Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Vol. 2333 LNAI. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2333 LNAI. Springer-Verlag, 2002. 141-157. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "MINERVA - Dynamic Logic Programming agent architecture." Lecture Notes in Computer Science. Vol. 2333. 2002. 141-157. Abstract
n/a
{De Almeida Móra}, Iara, and {José Júlio} Alferes. "Modelling diagnosis systems with the logic programming." Progress in Artificial Intelligence - 7th Portuguese Conference on Artificial Intelligence, EPIA 1995, Proceedings. Vol. 990. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 990. Springer-Verlag, 1995. 409-418. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Multi-dimensional Dynamic Knowledge Representation." Lecture Notes in Computer Science. Vol. 2173. Springer, 2001. 365-378. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Multi-dimensional Dynamic Logic Programming." Computational Logic in Multi-Agent Systems. 2000. 17-26. Abstract
n/a
N
Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "Non-markovian agent evolution with EVOLP." Dagstuhl Seminar Proceedings. 2008. 13. Abstract
n/a
Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH LOGIC PROGRAMMING." Journal Of Logic Programming. 17 (1993): 227-263. Abstract
n/a
Alferes, {José Júlio Alves}. "NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS." MIT Press. 1991. 475-489. Abstract
n/a
O
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints." Lecture Notes in Computer Science. Vol. 2258. Springer, 2001. 276-289. Abstract
n/a
Alferes, {José Júlio Alves}. "An ontology- and resources-based approach to evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3761. 2005. 1553-1570. Abstract
n/a
Alferes, {José Júlio Alves}. "Operational semantics for DyLPs." Lecture Notes in Artificial Intelligence. Vol. 3808. 2005. 43-54. Abstract
n/a
Alferes, {José Júlio Alves}. "OPTATIVE REASONING WITH SCENARIO SEMANTICS." MIT Press. 1993. 601-615. Abstract
n/a
P
Gonçalves, Ricardo, and José Júlio Alferes. "Parametrized Equilibrium Logic." Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 236-241. Abstractlpnmr11.pdf

n/a