Conference publications before 2001
2000
J. A. Leite, J. J. Alferes and L. M. Pereira, Multi-dimensional Dynamic Logic
Programming, In F. Sadri and K. Satoh (eds.),
Procs. of the CL-2000 Workshop on Computational Logic in
Multi-Agent Systems (CLIMA'00), London, England, July
2000.
J. A. Leite, J. J. Alferes and L. M. Pereira, Dynamic Logic Programming with Multiple
Dimensions, In L. Garcia and M. Chiara Meo
(eds.), Procs. of the APPIA-GULP-PRODE'00 Joint
Conference on Declarative Programming (AGP'00), La
Habana, Cuba, December 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, An Exercise with Dynamic Logic
Programming, In L. Garcia and M. Chiara Meo
(eds.), Procs. of the APPIA-GULP-PRODE'00 Joint
Conference on Declarative Programming (AGP'00), La
Habana, Cuba, December 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, Dynamic Knowledge Representation and its
Applications. In S. Cerri and D. Dochev (eds.),
Procs. of the 9th International Conference on Artificial
Intelligence - Methodology, Systems, Applications
(AIMSA'00), Varna, Bulgaria, pages 1-10, LNAI 1904,
Springer, September 2000. © Springer-Verlag.
J. J. Alferes, H. Herre and L. M. Pereira, Partial Models of Extended Generalized
Logic Programs. In J. Lloyd et al. (eds.),
Procs. of First International Conference on
Computational Logic (CL 2000), London, UK, pages
149-163, LNAI 1861, Springer, July 2000. © Springer-Verlag.
J. J. Alferes and L. M. Pereira, Updates plus Preferences. In M.
O. Aciego, I. P. de Guzmán, G. Brewka and L. M. Pereira
(eds.), Logics in AI, Procs. of JELIA'00, Málaga, pages
345-360, LNAI 1919, Springer, September-October 2000.
© Springer-Verlag.
J. J. Alferes, J. A. Leite, L. M. Pereira, P. Quaresma,
Planning as Abductive Updating,
In D. Kitchin (ed.), Procs. of the AISB'00 Symposium on
AI Planning and Intelligent Agents, pages 1-8, AISB,
Birmingham, England, April 2000.
1999
J. J. Alferes, L. M. Pereira, H. Przymusinska and T. C.
Przymusinski, LUPS - a language for updating logic
programs. In M. Gelfond, N. Leone and G.
Pfeifer (eds.), Procs. of the 5th International
Conference on Logic Programming and Nonmonotonic
Reasoning, El Paso, Texas USA, pages 162-176, LNAI-1730,
Springer, December 2-4, 1999.© Springer-Verlag.
J. J. Alferes, L. M. Pereira and T. Swift, Well-founded Abduction via Tabled Dual
Programs. In D. De Schreye (ed.), Procs. of the
16th International Conference on Logic Programming, Las
Cruces, New Mexico, pages 426-440, MIT Press, 1999.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, Preliminary exploration on actions as
updates.In M. C. Meo and M. Vilares-Ferro
(eds.), Procs. of the 1999 Joint Conference on
Declarative Programming (AGP'99), L'Aquila, Italy,
September 1999.
1998
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska
and T. C. Przymusinski, Dynamic Logic Programming, In A.
Cohn, L. Schubert and S. Shapiro (eds.), Procs. of the
Sixth International Conference on Principles of
Knowledge Representation and Reasoning (KR'98), Trento,
Italy, pages 98-109, Morgan Kaufmann, June 1998.
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska
and T. C. Przymusinski, Dynamic Logic Programming, In J.
L. Freire, M. Falaschi and M. Vialres-Ferro (eds.),
Procs. of the 1998 Joint Conference on Declarative
Programming (AGP'98), La Coruña, Spain, pages 393-408,
July 1998
J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska
and T. C. Przymusinski, Updates of Logic Programs by Logic
Programs, In IIS'98: Seventh International
Symposium on Intelligent Information Systems (Former WIS
Series), Malbork, Poland, June 1998.
J. J. Alferes, L. M. Pereira, Tabling Abduction, In 1st Int.
Ws. Tabulation in Parsing and Deduction, (TAPD'98),
Paris, France, pages 75-82, April 1998.
I. A. Móra, and J. J. Alferes. Argumentative and Cooperative Multi-agent
System for Extended Logic Programming. In XIVth
Brazilian Symposium on Artificial Intelligence
(SBIA'98). Springer LNAI, 1998. © Springer-Verlag.
I. A. Móra, J. J. Alferes. and M. Schroeder.
Argumentation and Cooperation for
Distributed Extended Logic Programs. In
Nonmonotonic Reasoning Workshop'98, 1998.
1997
J. J. Alferes, L. M. Pereira, Update-Programs can Update
Programs, In J. Dix, L.M. Pereira, T.
Przymusinski (eds), Non-Monotonic Extensions of Logic
Programming, Selected papers from NMELP’96, Lecture
Notes in Artificial Intelligence 1216, Springer-Verlag,
1997, pp. 110-13. © Springer-Verlag.
M. Schroeder, I. A. Móra, and J. J. Alferes.
Vivid Agents Arguing about Extended Logic
Programs. In A. Cardoso and E. Costa (eds), 8th
Portuguese Conference in Artificial Intelligence
(EPIA97), volume 1323 of LNAI, Springer, 1997. © Springer-Verlag.
I. A. Móra, J. J. Alferes. and M. Schroeder.
Argumentation for Distributed Extended
Logic Programs. In P. M. Dung and P. Mancarella
(eds), International Workshop on Logic Programming and
Multi-Agents, Leuven, Belgium, July, 1997.
1996
J. J. Alferes, L. M. Pereira, T. C. Przymusinski,
Strong and explicit negation in
non-monotonic reasoning and logic programs, In
J. J. Alferes, L. M. Pereira and E. Orlowska (eds.),
Logics in Artificial Intelligence, JELIA'96 European
Workshop, Lecture Notes in Artificial Intelligence 1126,
Springer-Verlag, 1996, pp.143-163. © Springer-Verlag.
J. J. Alferes, L. M. Pereira, T. C. Przymusinski,
"Classical'' Negation in Non-Monotonic
Reasoning and Logic Programming, In B. Daemon
(ed.), AI and Mathematics Workshop, Fort Lauderdale,
1996
1995
J. J. Alferes, T. C. Przymusinski, and L. M. Pereira,
Belief Revision in Non-Monotonic
Reasoning and Logic Programming, In: N. Mamede
and C. Pinto-Ferreira, editors, Proc. of 7th Portuguese
AI Conf , Lecture Notes in Artificial Intelligence 990,
Springer-Verlag, 1995, pp. 41-56. © Springer-Verlag.
J. J. Alferes, R. Li, and L. M. Pereira, Non-Atomic Actions in the Situation
Calculus, In N. Mamede and C. Pinto-Ferreira,
editors, Progress in Artificial Intelligence, Proc. of
7th Portuguese AI Conf , Lecture Notes in Artificial
Intelligence 990, pp. 273-284, Springer-Verlag, 1995.
© Springer-Verlag.
J. J. Alferes and L. M. Pereira, An argumentation theoretic semantics
based on non-refutable falsity, In Nonmonotonic
Extensions of Logic Programming, J. Dix and L. M.
Pereira and T. Przymusinski (eds.), pp 3-22, volume 927
fo LNAI, 1995. © Springer-Verlag.
I. A. Móra, and J. J. Alferes, Diagnosis of Distributed Systems using
Logic Programming, In N. Mamede and C.
Pinto-Ferreira, editors, Progress in Artificial
Intelligence, Proc. of 7th Portuguese AI Conf , Lecture
Notes in Artificial Intelligence 990, Springer-Verlag,
1995. © Springer-Verlag.
I. A. Móra, and J. J. Alferes, Fault Diagnosis of Distributed Systems
using Logic Programming. In I.J. Porto (ed), VI
Simpósio Brasileiro de Computadores Tolerantes a Falhas.
Sociedade Brasileira de Computação, 1995
1994
J. J. Alferes, R. Li and L. M. Pereira, Concurrent Actions and Changes in the
Situation Calculus, In: Hector Geffner (ed.),
Proc. of IBERAMIA 94, McGraw-Hill, 1994, pp. 93 - 104,
1994.
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
Contradiction Removal Semantics with
Explicit Negation, in: Knowledge Representation
and Reasoning Under Uncertainty, LNAI 808, M. Masuch and
L. Polos (eds.), Springer-Verlag, 1994, pp. 91-106.
© Springer-Verlag.
L. M. Pereira, J. N. Aparicio and J. J. Alferes,
Logic Programming for Nonmonotonic
Reasoning , in: Knowledge Representation and
Reasoning Under Uncertainty, LNAI 808, M. Masuch and L.
Polos (eds.), Springer-Verlag, 1994, pp. 107-122.
© Springer-Verlag.
J. J. Alferes and L. M. Pereira, Belief, Provability and Logic
Programs In Int. Ws. of Logic in artificial
Intelligence, JELIA'94, D. Pearce and L. M. Pereira
(eds.), pp 106-121, LNAI 838, Springer-Verlag, 1994.
© Springer-Verlag.
J. J. Alferes, C. V. Damásio and L. M. Pereira,
A Top-down query evaluation for
well-founded semantics with explicit negation,
In European Conference on Artificial Intelligence, A.
Cohn (ed.),pp.140-144, Morgan Kaufmann, 1994
J. J. Alferes, C. V. Damásio and L. M. Pereira,
SLX - A top-down derivation procedure for
programs with explicit negation, in: Int. Logic
Programming Symposium, M. Bruynooghe (ed.), MIT Press,
1994.
J. J. Alferesand L. M. Pereira, Contradiction: when avoidance equal
removal. Part I, in: 4th Int. Workshop on
Extensions of Logic Programming, Lecture Notes in
Artificial Intelligence 798, R. Dyckhoff, ed., 1993,
7-16, Springer. © Springer-Verlag.
L. M. Pereira and J. J. Alferes, Contradiction: when avoidance equal
removal. Part II, in: 4th Int. Workshop on
Extensions of Logic Programming, Lecture Notes in
Artificial Intelligence 798, R. Dyckhoff, ed.,
1993,17-26, Springer. © Springer-Verlag.
1993
L. M. Pereira, L. Caires and J. J. Alferes , SLWV - A Theorem Prover for Logic
Programming (extended version), in: Extensions
of Logic Programming, Lecture Notes in Computer Science,
E. Lamma and P. Mello (eds.), Springer-Verlag, 1993.
© Springer-Verlag.
J. J. Alferes, P. M. Dung and L. M. Pereira , Scenario Semantics of Extended Logic
Programs. In 2nd Int. Workshop on Logic
Programming and Non-Monotonic Reasoning, L. M. Pereira
and A. Nerode (eds.), pp. 334-348, MIT Press, 1993
L. M. Pereira, C. V. Damásio and J. J. Alferes Diagnosis and Debugging as Contradiction
Removal, in: 2nd Int. Workshop on Logic
Programming and Non-Monotonic Reasoning, L. M. Pereira
and A. Nerode (eds.), MIT Press, 1993.
L. M. Pereira, J. J. Alferes, Optative Reasoning with Scenario
Semantics, In 10th International Conference on
Logic Programming D. S. Warren (ed.), MIT Press, 1993,
pp. 601-615
L. M. Pereira , C. V. Damásio and J. J. Alferes,
Debugging by Diagnosing
Assumptions, in: Automatic Algorithmic
Debugging, AADEBUG'93, Lecture Notes in Computer Science
749, Springer-Verlag, 1993, pp. 58-74. © Springer-Verlag.
L. M. Pereira , C. V. Damásio and J. J. Alferes,
Diagnosis and Debugging as Contradiction
Removal in Logic Programs, in: Progress in
Artificial Intelligence. Proceedings of the 6th
Portuguese AI Conf., L. Damas and M. Filgueiras (eds.),
Lecture Notes in Artificial Intelligence 727,
Springer-Verlag, 1993. © Springer-Verlag.
1992
L. M. Pereira, L. Caires and J. J. Alferes, SLWV - A Theorem Prover for Logic
Programming, in: Workshop on Extensions of
Logic Programming, E. Lamma and P. Mello, eds.,
Tecnoprint, Bologna, Italy, 1992
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
Default theory for Well Founded Semantics
with explicit negation, In Proceedings of the
European Workshop JELIA'92, Lecture Notes in Artificial
Intelligence 633, D. Pearce and G. Wagner, eds.,
Springer-Verlag, 1992, pp. 339-356. © Springer-Verlag.
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
Adding Closed World Assumptions to Well
Founded Semantics, in: Fifth Generation
Computer Systems, ICOT, Japan 1992, pp. 562-569
L. M. Pereira and J. J. Alferes, Well Founded Semantics for Logic Programs
with Explicit Negation, in: European Conference
on Artificial Intelligence, B. Neumann (ed.), John Wiley
& Sons 1992, pp.102-106
J. J. Alferes and L. M. Pereira, On Logic Program Semantics with Two Kinds
of Negation, In Joint International Conference
and Symposium on Logic Programming, K. Apt (ed.), MIT
Press, 1992, pp. 574-588
L. M. Pereira, J. J. Alferes and C. V. Damásio,
The Sidetracking Meta Principle,
in: Simpósio Brasileiro de Inteligência Artificial, Rio
de Janeiro, Brasil, 1992, pp. 229-242
1991
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
A Practical Introduction to Well Founded
Semantics, in: 3rd Scandinavian Conference on
Artificial Intelligence, B. Mayoh (ed.), IOS Press, 1991
L. M. Pereira, J. N. Aparicio and J. J. Alferes,
Hypothetical Reasoning with Well Founded
Semantics, in: 3rd Scandinavian Conference on
Artificial Intelligence, B. Mayoh (ed.), IOS Press, 1991
L. M. Pereira, J. N. Aparicio and J. J. Alferes,
Nonmonotonic Reasoning with Well Founded
Semantics, in: 8th International Conference on
Logic Programming, Koichi Furukawa (ed.), MIT Press,
1991
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
Contradiction Removal within Well Founded
Semantics, in: Logic Programming and
Nonmonotonic Reasoning, A. Nerode and W. Marek and V. S.
Subrahmanian (eds.), MIT Press, 1991, pp. 105-119
L. M. Pereira, J. N. Aparicio and J. J. Alferes,
A Derivation Procedure for Extended
Stable Models, International Joint Conference
on Artificial Intelligence, Morgan Kaufmann, 1991
L. M. Pereira, J. N. Aparicio and J. J. Alferes,
Counterfactual Reasoning Based on
Revising Assumptions, in: International Logic
Progrogramming Symposium, Ueda and Saraswat (eds.), MIT
Press, 1991, 566-577,
L. M. Pereira, J. J. Alferes and J. N. Aparicio,
The Extended Stable Models of
Contradiction Removal Semantics, in: 5th
Portuguese AI Conference, Lecture Notes in Artificial
Inteligence 541, P. Barahona and L. M. Pereira and A.
Porto (eds.), 1991, 105-119. © Springer-Verlag.
1990
L. M. Pereira, L. Caires and J. J. Alferes, Classical Negation in Logic
Programs, In 7th Simposio Brasileiro de
Inteligencia Artificial, Campinas, Brasil, 1990.