The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

José Júlio Alferes: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Contradiction Removal within Well Founded Semantics. [Citation Graph (2, 0)][DBLP]
    LPNMR, 1991, pp:105-119 [Conf]
  2. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. [Citation Graph (1, 0)][DBLP]
    ECAI, 1994, pp:140-144 [Conf]
  3. Luís Moniz Pereira, José Júlio Alferes
    Well Founded Semantics for Logic Programs with Explicit Negation. [Citation Graph (1, 0)][DBLP]
    ECAI, 1992, pp:102-106 [Conf]
  4. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Derivation Procedures for Extended Stable Models. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1991, pp:863-869 [Conf]
  5. José Júlio Alferes, Phan Minh Dung, Luís Moniz Pereira
    Scenario Semantics of Extended Logic Programs. [Citation Graph (1, 0)][DBLP]
    LPNMR, 1993, pp:334-348 [Conf]
  6. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Debugging by Diagnosing Assumptions. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:58-74 [Conf]
  7. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    An Evolving Agent with EVOLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:205-216 [Conf]
  8. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:393-408 [Conf]
  9. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, Halina Przymusinska, Paulo Quaresma
    Preliminary exploration on actions as updates. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:259-272 [Conf]
  10. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma
    Dynamic Knowledge Representation and Its Applications. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2000, pp:1-10 [Conf]
  11. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    MINERVA - A Dynamic Logic Programming Agent Architecture. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:141-157 [Conf]
  12. José Júlio Alferes, Luís Moniz Pereira
    Logic Programming Updating - A Guided Approach. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:382-412 [Conf]
  13. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Logic Programming for Evolving Agents. [Citation Graph (0, 0)][DBLP]
    CIA, 2003, pp:281-297 [Conf]
  14. José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira
    Partial Models of Extended Generalized Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:149-163 [Conf]
  15. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    Multi-dimensional Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:17-26 [Conf]
  16. José Júlio Alferes, Federico Banti, Antonio Brogi
    From Logic Programs Updates to Action Description Updates. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:52-77 [Conf]
  17. Iara Carnevale de Almeida, José Júlio Alferes
    An Argumentation-Based Negotiation for Distributed Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:191-210 [Conf]
  18. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    A Language for Multi-dimensional Updates. [Citation Graph (0, 0)][DBLP]
    CLIMA III, 2002, pp:19-34 [Conf]
  19. José Júlio Alferes, Luís Moniz Pereira
    Contradiction: When Avoidance Equals Removal - Part I. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:11-23 [Conf]
  20. José Júlio Alferes, Luís Moniz Pereira
    Contradiction: When Avoidance Equals Removal - Part II. [Citation Graph (0, 0)][DBLP]
    ELP, 1993, pp:268-281 [Conf]
  21. Luís Moniz Pereira, Luís Caires, José Júlio Alferes
    SLWV - A Theorem Prover for Logic Programming. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:1-23 [Conf]
  22. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    An Evolvable Rule-Based E-mail Agent. [Citation Graph (0, 0)][DBLP]
    EPIA, 2003, pp:394-408 [Conf]
  23. José Júlio Alferes, Renwei Li, Luís Moniz Pereira
    Non-Atomic Actions in the Situation Calculus. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:273-284 [Conf]
  24. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Belief Revision in Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:40-56 [Conf]
  25. Federico Banti, José Júlio Alferes, Antonio Brogi
    Operational Semantics for DyLPs. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:43-54 [Conf]
  26. Iara de Almeida Móra, José Júlio Alferes
    Modelling Diagnosis Systems with the Logic Programming. [Citation Graph (0, 0)][DBLP]
    EPIA, 1995, pp:409-418 [Conf]
  27. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    The Extended Stable Models of Contradiction Removal Semantics. [Citation Graph (0, 0)][DBLP]
    EPIA, 1991, pp:105-119 [Conf]
  28. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Diagnosis and Debugging as Contradiction Removal in Logic Programs. [Citation Graph (0, 0)][DBLP]
    EPIA, 1993, pp:183-197 [Conf]
  29. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:276-289 [Conf]
  30. Michael Schroeder, Iara de Almeida Móra, José Júlio Alferes
    Vivid Agents Arguing about Distributed Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    EPIA, 1997, pp:217-228 [Conf]
  31. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Adding Closed World Assumptions to Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:562-569 [Conf]
  32. Federico Banti, José Júlio Alferes, Antonio Brogi
    Well Founded Semantics for Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    IBERAMIA, 2004, pp:397-407 [Conf]
  33. José Júlio Alferes, Luís Moniz Pereira
    On Logic Program Semantics with Two Kinds of Negation. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:574-588 [Conf]
  34. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Well-founded Abduction via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:426-440 [Conf]
  35. Luís Moniz Pereira, José Júlio Alferes
    Optative Reasoning with Scenario Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:601-615 [Conf]
  36. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Nonmonotonic Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:475-489 [Conf]
  37. José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
    Deductive Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:155-166 [Conf]
  38. José Júlio Alferes, Federico Banti, Antonio Brogi
    An Event-Condition-Action Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:29-42 [Conf]
  39. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Evolving Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:50-61 [Conf]
  40. José Júlio Alferes, Pierangelo Dell'Acqua, Luís Moniz Pereira
    A Compilation of Updates plus Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:62-73 [Conf]
  41. José Júlio Alferes, Luís Moniz Pereira
    Updates plus Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:345-360 [Conf]
  42. José Júlio Alferes, Luís Moniz Pereira
    Belief, Provability, and Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 1994, pp:106-121 [Conf]
  43. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:143-163 [Conf]
  44. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Default Theory for Well Founded Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    JELIA, 1992, pp:339-356 [Conf]
  45. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:98-111 [Conf]
  46. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Contradiction Removal Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:91-105 [Conf]
  47. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Logic Programming for Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Logic at Work, 1992, pp:107-121 [Conf]
  48. José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
    Computing Environment-Aware Agent Behaviours with Logic Program Updates. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:216-232 [Conf]
  49. José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
    Semantics for Dynamic Logic Programming: A Principle-Based Approach. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:8-20 [Conf]
  50. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    LUPS - A Language for Updating Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:162-176 [Conf]
  51. Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler
    The Well Supported Semantics for Multidimensional Dynamic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:356-368 [Conf]
  52. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
    Multi-dimensional Dynamic Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:365-378 [Conf]
  53. Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes
    Diagnosis and Debugging as Contradiction Removal. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:316-330 [Conf]
  54. José Júlio Alferes, Luís Moniz Pereira
    An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. [Citation Graph (0, 0)][DBLP]
    NMELP, 1994, pp:3-22 [Conf]
  55. José Júlio Alferes, Luís Moniz Pereira
    Update-Programs Can Update Programs. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:110-131 [Conf]
  56. Wolfgang May, José Júlio Alferes, Ricardo Amador
    An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1553-1570 [Conf]
  57. José Júlio Alferes, Ricardo Amador, Wolfgang May
    A General Language for Evolution and Reactivity in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2005, pp:101-115 [Conf]
  58. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    Semantic Web Logic Programming Tools. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:16-32 [Conf]
  59. Wolfgang May, José Júlio Alferes, François Bry
    Towards Generic Query, Update, and Event Languages for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2004, pp:19-33 [Conf]
  60. Wolfgang May, José Júlio Alferes, Ricardo Amador
    Active Rules in the Semantic Web: Dealing with Language Heterogeneity. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:30-44 [Conf]
  61. José Júlio Alferes, Wolfgang May
    Evolution and Reactivity for the Web. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2005, pp:134-172 [Conf]
  62. Iara de Almeida Móra, José Júlio Alferes
    Argumentative and Cooperative Multi-agent System for Extended Logic Programming. [Citation Graph (0, 0)][DBLP]
    SBIA, 1998, pp:161-170 [Conf]
  63. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    A Practical Introduction to Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:277-288 [Conf]
  64. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Hypothetical Reasoning with Well Founded Semantics. [Citation Graph (0, 0)][DBLP]
    SCAI, 1991, pp:289-300 [Conf]
  65. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:424-438 [Conf]
  66. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Counterfactual Reasoning Based on Revising Assumptions. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:566-577 [Conf]
  67. José Júlio Alferes, Luís Moniz Pereira
    Tabling Abduction. [Citation Graph (0, 0)][DBLP]
    TAPD, 1998, pp:75-82 [Conf]
  68. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    LUPSA language for updating logic programs. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:87-116 [Journal]
  69. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Abduction in Well-Founded Semantics and Generalized Stable Models [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  70. João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    A Language for Multi-dimensional Updates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
  71. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    Belief Revision in Non-Monotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:1-22 [Journal]
  72. José Júlio Alferes, Luís Moniz Pereira
    Belief, Provability, and Logic Programs. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1995, v:5, n:1, pp:- [Journal]
  73. José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
    A Logic Programming System for Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:14, n:1, pp:93-147 [Journal]
  74. José Júlio Alferes, Luís Moniz Pereira
    Preface: Logics for Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:20, n:1, pp:1-3 [Journal]
  75. José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski
    `Classical' Negation in Nonmonotonic Reasoning and Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1998, v:20, n:1, pp:107-142 [Journal]
  76. José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
    Dynamic updates of non-monotonic knowledge bases. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:45, n:1-3, pp:43-70 [Journal]
  77. Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
    Non-Monotonic Reasoning with Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:2/3&4, pp:227-263 [Journal]
  78. José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
    The Refined Extension Principle for Semantics of Dynamic Logic Programming. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2005, v:79, n:1, pp:7-32 [Journal]
  79. Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
    Adding Closed World Assumptions to Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:122, n:1&2, pp:49-68 [Journal]
  80. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:4, pp:383-428 [Journal]
  81. Matthias Knorr, José Júlio Alferes, Pascal Hitzler
    Towards Tractable Local Closed World Reasoning for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    EPIA Workshops, 2007, pp:3-14 [Conf]
  82. José Júlio Alferes, Ricardo Amador
    r 3- A Foundational Ontology for Reactive Rules. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2007, pp:933-952 [Conf]
  83. José Júlio Alferes, Gaston E. Tagni
    Implementation of a Complex Event Engine for the Web. [Citation Graph (0, 0)][DBLP]
    SCW, 2006, pp:65-72 [Conf]
  84. José Júlio Alferes, João Leite
    Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:3, pp:389-391 [Journal]

  85. Resource allocation with answer-set programming. [Citation Graph (, )][DBLP]


  86. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  87. A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  88. Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. [Citation Graph (, )][DBLP]


  89. A Logic Programming System for Evolving Programs with Temporal Operators. [Citation Graph (, )][DBLP]


  90. Evolving Logic Programming Based Agents with Temporal Operators. [Citation Graph (, )][DBLP]


  91. Parametrized Logic Programming. [Citation Graph (, )][DBLP]


  92. Implementing Query Answering for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  93. Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. [Citation Graph (, )][DBLP]


  94. Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. [Citation Graph (, )][DBLP]


  95. Query-driven Procedures for Hybrid MKNF Knowledge Bases [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002