• Source: Scopus
  • Calculated based on no. 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

  • 2007

    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 proceedingConference contributionpeer-review

    3 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    1 Citation (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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    5 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    14 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    4 Citations (Scopus)
  • 2011

    A Proposal for Transactions in the Semantic Web

    Alferes, J. J. A., 1 Jan 2011, Lecture Notes in Computer Science. p. 690-703

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
    File
    4 Citations (Scopus)
    4 Downloads (Pure)
  • Transaction Logic with External Actions

    Alferes, J. J. A., 1 Jan 2011, Lecture Notes in Computer Science. p. 272-277

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    2 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 proceedingConference contributionpeer-review

    6 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    2 Citations (Scopus)
  • External Transaction Logic with Automatic Compensations

    Alferes, J. J. A., 1 Jan 2013, Lecture Notes in Artificial Intelligence. p. 239-255

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Citation (Scopus)
  • Forgetting under the Well-Founded Semantics

    Alferes, J. J. A. & Knorr, M., 1 Jan 2013, Lecture Notes in Computer Science. p. 36-41

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    12 Citations (Scopus)
  • 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 proceedingConference contributionpeer-review

    File
    19 Citations (Scopus)
    7 Downloads (Pure)
  • 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 proceedingConference contributionpeer-review

    Open Access
    File
    1 Citation (Scopus)
    9 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 proceedingConference contributionpeer-review

    File
    16 Downloads (Pure)
  • 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 proceedingConference contributionpeer-review

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