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

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)
    29 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
    47 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
    30 Citations (Scopus)
    20 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

    12 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

    9 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

    1 Citation (Scopus)

  • 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)
    23 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

    2 Citations (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
    6 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
    5 Citations (Scopus)
    23 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
    30 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
    4 Citations (Scopus)
  • 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
    22 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
    7 Citations (Scopus)
    26 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
    18 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
    6 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
    5 Citations (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
    12 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)
    9 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
    9 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
    8 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
    8 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
    5 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
    8 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
    12 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
    4 Citations (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.