José Júlio Alves Alferes

View Scopus Profile

José Júlio Alves Alferes

Former affiliation
 https://orcid.org/0000-0001-5520-4623
Calculated based on number of publications stored in Pure and citations from Scopus
1991 …2019

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    Telco Network Inventory Validation with NoHR

    Kasalica, V., Gerochristos, I., Alferes, J. J., Gomes, A. S., Knorr, M. & Leite, J., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Woltran, S. & Lierler, Y. (eds.). Cham: Springer Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2015

    A procedure for an event-condition-transaction language

    Gomes, A. S. & Alferes, J. J., 2015, Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. Springer Verlag, Vol. 9209. p. 113-129 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9209).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    1 Citation (Scopus)
    18 Downloads (Pure)

  • How to combine event stream reasoning with transactions for the semantic web

    Gomes, A. S. & Alferes, J. J., 2015, Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Proceedings. Springer Verlag, Vol. 9202. p. 258-273 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9202).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    File
    22 Downloads (Pure)
  • 2014

    Preserving strong equivalence while forgetting

    Knorr, M. & Alferes, J. J., 2014, LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014. Vol. 8761. p. 412-425 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8761).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    File
    25 Citations (Scopus)
    12 Downloads (Pure)
  • 2013

    Decidability and implementation of parametrized logic programs

    Gonçalves, R. & Alferes, J. J., 22 Oct 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer Verlag, p. 361-373 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • External transaction logic with automatic compensations

    Gomes, A. S. & Alferes, J. J., 2013, Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA 2013, Proceedings. Leite, J., Son, T. C., Torroni, P., van der Torre, L. & Woltran, S. (eds.). Berlin, Heidelberg: Springer, p. 239-255 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8143 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)

  • Forgetting under the well-founded semantics

    Alferes, J. J., Knorr, M. & Wang, K., 2013, Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings. Cabalar, P. & Son, T. C. (eds.). Berlin, Heidelberg: Springer, p. 36-41 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8148 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Citations (Scopus)
  • 2012

    An embedding of input-output logic in deontic logic programs

    Gonçalves, R. & Alferes, J. J., 15 Aug 2012, Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Proceedings. Ågotnes, T., Broersen, J. & Elgesem, D. (eds.). Berlin, Heidelberg: Springer Verlag, p. 61-75 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7393 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Citations (Scopus)

  • Specifying and reasoning about normative systems in deontic logic programming

    Alferes, J. J. A., 1 Jan 2012, International Foundation for Autonomous Agents and Multiagent Systems. p. 1423-1424

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2011

    A proposal for transactions in the semantic web

    Gomes, A. S. & Alferes, J. J., 2011, Progress in Artificial Intelligence - 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Proceedings. Antunes, L. & Pinto, H. S. (eds.). Berlin, Heidelberg: Springer, p. 690-703 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7026 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Evolving logic programs with temporal operators

    Alferes, J. J., Gabaldon, A. & Leite, J., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Balduccini, M. & Son, T. C. (eds.). Berlin, Heidelberg: Springer, p. 193-212 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Parametrized equilibrium logic

    Gonçalves, R. & Alferes, J. J., 13 May 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Delgrande, J. P. & Faber, W. (eds.). Springer Verlag, p. 236-241 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Citations (Scopus)

  • Querying OWL 2 QL and non-monotonic rules

    Knorr, M. & Alferes, J. J., 2 Nov 2011, The Semantic Web, ISWC 2011 - 10th International Semantic Web Conference, Proceedings. Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N. & Blomqvist, E. (eds.). PART 1 ed. Berlin, Heidelberg: Springer Verlag, p. 338-353 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7031 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    4 Citations (Scopus)
    7 Downloads (Pure)

  • Transaction logic with external actions

    Gomes, A. S. & Alferes, J. J., 2011, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings. Delgrande, J. P. & Faber, W. (eds.). Berlin, Heidelberg: Springer, p. 272-277 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6645 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2010

    Declarative Semantics for the Rule Interchange Format Production Rule Dialect

    Damásio, C. A. I. P. V., Leite, J. A. C. P. & Alferes, J. J. A., 1 Jan 2010, Lecture Notes in Computer Science. p. 798-813

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Citations (Scopus)

  • Implementing Query Answering for Hybrid MKNF Knowledge Bases

    Alferes, J. J. A., 1 Jan 2010, Lecture Notes in Computer Science. Vol. 5937. p. 25-39

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Citations (Scopus)

  • Parametrized logic programming

    Gonçalves, R. & Alferes, J. J., 2010, Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Proceedings. Janhunen, T. & Niemelä, I. (eds.). Berlin, Heidelberg: Springer, p. 182-194 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6341 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Citations (Scopus)

  • Querying in ℰℒ+ with nonmonotonic rules

    Knorr, M. & Alferes, J. J., 1 Jan 2010, ECAI 2010 - 19th European Conference on Artificial Intelligence. Coelho, H., Studer, R. & Wooldridge, M. (eds.). {IOS} Press, p. 1079-1080 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Citations (Scopus)
  • 2009

    A Logic Programming System for Evolving Programs with Temporal Operators

    Royval, A. G., Leite, J. A. C. P. & Alferes, J. J. A., 1 Jan 2009, Lecture Notes in Computer Science. Vol. 5816. p. 101-112

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • An architecture for Idea Generation in Smart Meeting Rooms

    Freitas, C. F., Ramos, C. & Alferes, J. J. A., 1 Jan 2009, Ambient Intelligence and Smart Environments. Vol. 5. p. 159-166 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Evolution and Reactivity in the Semantic Web

    Alferes, J. J. A., 1 Jan 2009, Lecture Notes in Computer Science. Bry, F. & Maluszynski, J. (eds.). Springer, Vol. 5500. p. 161-200

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • Queries to hybrid MKNF knowledge bases through oracular tabling

    Alferes, J. J., Knorr, M. & Swift, T., 1 Dec 2009, The Semantic Web, ISWC 2009 - 8th International Semantic Web Conference, ISWC 2009, Proceedings. Bernstein, A., Karger, D. R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E. & Thirunarayan, K. (eds.). Berlin, Heidelberg: Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5823 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Citations (Scopus)

  • Resource allocation with answer-set programming

    Leite, J. A. C. P. & Alferes, J. J. A., 1 Jan 2009, IFAAMAS. Sierra, C., Castelfranchi, C., Decker, KS. & Sichman, JS. (eds.). IFAAMAS, Vol. 1. p. 649-656

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Citations (Scopus)
  • 2008

    A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases

    Knorr, M., Alferes, J. J. A. & Hitzler, P., Jun 2008, Frontiers in Artificial Intelligence and Applications. Vol. 178. p. 99-103 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    29 Citations (Scopus)

  • Evolving logic programming based agents with temporal operators

    Alferes, J. J. A., Royval, A. G. & Leite, J. A. C. P., 1 Jan 2008, Web Intelligence. p. 238 - 244 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Citations (Scopus)

  • Non-markovian agent evolution with EVOLP

    Alferes, J. J. A., Royval, A. G. & Leite, J. A. C. P., 1 Jan 2008, Dagstuhl Seminar Proceedings. p. 13

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web

    Alferes, J. J. A., Amador, R. & Kärger, P., 1 Jan 2008, CEUR WS-proceedings. Vol. 401. p. 0

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Citation (Scopus)
  • 2007

    An argumentation-based negotiation for distributed extended logic programs

    Alferes, J. J. A., 1 Jan 2007, Lecture Notes in Artificial Intelligence. Inoue, K., Satoh, K. & Toni, F. (eds.). Vol. 4371. p. 191-210

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • Argumentation-based Proof for an Argument in a Paraconsistent Setting

    Alferes, J. J. A., 1 Jan 2007, 0. p. 64-79

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Well-founded Semantics for Hybrid MKNF Knowledge Bases

    Knorr, M., Alferes, J. J. A. & Hitzler, P., 1 Jan 2007, CEUR Workshop Proceedings. Vol. 250. p. 347-354 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    File
    4 Citations (Scopus)
    9 Downloads (Pure)

  • r(3) - A foundational ontology for reactive rules

    Alferes, J. J. A., 1 Jan 2007, Lecture Notes in Computer Science. Meersman, R. & Tari, Z. (eds.). Vol. 49803. p. 933-952

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Towards tractable local closed world reasoning for the semantic web

    Knorr, M., Alferes, J. J. & Hitzler, P., 1 Dec 2007, Progress in Artificial Intelligence - 13th Portuguese Conference on Artificial Intelligence, EPIA 2007 Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Proceedings. Neves, J., Santos, M. F. & Machado, J. M. (eds.). Springer Verlag, p. 3-14 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4874 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Citations (Scopus)
  • 2006

    An event-condition-action logic programming language

    Alferes, J. J. A., Banti, F. & Brogi, A., 1 Jan 2006, Lecture Notes in Artificial Intelligence. Vol. 4160. p. 29-42 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    22 Citations (Scopus)

  • Implementation of a complex event engine for the web

    Alferes, J. J. A., 1 Jan 2006, IEEE Services Computing Workshops. p. 65-72 8 p. 4027014

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
  • 2005

    Active rules in the semantic web: Dealing with language heterogeneity

    May, W., Alferes, J. J. & Amador, R., 1 Dec 2005, Rules and Rule Markup Languages for the Semantic Web - First International Conference, RuleML 2005, Proceedings. p. 30-44 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3791 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • A general language for evolution and reactivity in the Semantic Web

    Alferes, J. J. A., Amador, R. & May, W., 1 Jan 2005, Lecture Notes in Computer Science. Vol. 3703 LNCS. p. 101-115 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    1 Citation (Scopus)
    8 Downloads (Pure)

  • An ontology- and resources-based approach to evolution and reactivity in the Semantic Web

    May, W., Alferes, J. J. A. & Amador, R., 1 Jan 2005, Lecture Notes in Computer Science. Vol. 3761. p. 1553-1570 18 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Citations (Scopus)

  • From logic programs updates to action description updates

    Alferes, J. J. A., Banti, F. & Brogi, A., 2005, Lecture Notes in Computer Science. Vol. 3487 LNAI. p. 52-77 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • Operational semantics for DyLPs

    Banti, F., Alferes, J. J. A. & Brogi, A., 1 Jan 2005, Lecture Notes in Artificial Intelligence. Vol. 3808 LNCS. p. 43-54 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Citation (Scopus)

  • The well supported semantics for multidimensional dynamic logic programs

    Banti, F., Alferes, J. J. A., Brogi, A. & Hitzler, P., 1 Jan 2005, Lecture Notes in Computer Science. Vol. 3662 LNAI. p. 356-368 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Citations (Scopus)
  • 2004

    Deductive Diagnosis of Digital Circuits

    Alferes, J. J. A., Azevedo, F. D. M. E. C. A. D., Barahona, P. M. C. C. D., Damásio, C. A. I. P. V. & Swift, T., 1 Jan 2004, IFIP World Computer Congress. Vol. 154. p. 155-166 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)

  • Semantics for dynamic logic programming: A principle-based approach

    Alferes, J. J. A., Banti, F., Brogi, A. & Leite, J. A. C. P., 1 Jan 2004, Lecture Notes in Computer Science. Vol. 2923. p. 8-20 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • Towards generic query, update, and event languages for the semantic web

    May, W. & Alferes, J. J. A., 1 Jan 2004, Lecture Notes in Computer Science. Vol. 3208. p. 19-33 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • Well founded semantics for logic program updates

    Banti, F., Alferes, J. J. A. & Brogi, A., 1 Jan 2004, Lecture Notes in Artificial Intelligence. Vol. 3315. p. 397-407 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Citations (Scopus)
  • 2003

    An evolvable rule-based e-mail agent

    Alferes, J. J. A., Brogi, A., Leite, J. A. C. P. & Pereira, L. M., 1 Jan 2003, Lecture Notes in Computer Science. Vol. 2902. p. 394-408 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • An Evolving Agent with EVOLP

    Alferes, J. J. A., Brogi, A., Leite, J. A. C. P. & Pereira, L. M., 1 Jan 2003, Declarative Programming. p. 205-216

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Logic programming for evolving agents

    Alferes, J. J. A., Brogi, A., Leite, J. A. C. P. & Pereira, L. M., 1 Jan 2003, Lecture Notes in Computer Science. Vol. 2782. p. 281-297 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Citations (Scopus)

  • Semantic Web Logic Programming tools

    Alferes, J. J. A., Damásio, C. A. I. P. V. & Pereira, L. M., 1 Jan 2003, Lecture Notes in Computer Science. Vol. 2901. p. 16-32 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Citations (Scopus)
  • 2002

    A compilation of updates plus preferences

    Alferes, J. J. A., Dell’ Acqua, P. & Pereira, L. M., 1 Jan 2002, Lecture Notes in Artificial Intelligence. Vol. 2424 LNAI. p. 62-74 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Citations (Scopus)

  • Computing environment-aware agent behaviours with logic program updates

    Alferes, J. J. A., Brogi, A., Leite, J. A. C. P. & Pereira, L. M., 1 Jan 2002, Lecture Notes in Computer Science. Vol. 2372. p. 216-232 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Citation (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.