Find here papers published in proceedings of international
conferences and workshops, organised by year (until 2010).
2010
Matthias Knorr, José Júlio Alferes:
Querying in EL+ with Nonmonotonic
Rules. In Helder Coelho, Rudi Studer, Michael
Wooldridge (Eds.): ECAI 2010 - 19th European Conference
on Artificial Intelligence. IOS Press 2010
C. V. Damásio, J. J. Alferes, J. Leite. Declarative Semantics for the Rule
Interchange Format Production Rule Dialect. In
Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter
Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
(Eds.): The Semantic Web - ISWC 2010 - 9th International
Semantic Web Conference, ISWC 2010. Springer 2010.
© Springer-Verlag.
R. Gonçalves, J.J. Alferes. Parametrized Logic Programming. In
Tomi Janhunen, Ilkka Niemelä (Eds.): Logics in
Artificial Intelligence - 12th European Conference,
JELIA 2010. Springer 2010. © Springer-Verlag.
A. S. Gomes, J. J. Alferes, T. Swift. Implementing Query Answering for Hybrid MKNF
Knowledge Bases. In Manuel carro, Ricardo Peña
(Eds.): Practical Aspects of Declarative Languages, 12th
International Symposium, PADL 2010. Springer 2010.
© Springer-Verlag.
2009
J. J. Alferes, M. Knorr, T.Swift. Queries to Hybrid MKNF Knowledge Bases
through Oracular Tabling. In Abraham Bernstein,
David R. Karger, Tom Heath, Lee Feigenbaum, Diana
Maynard, Enrico Motta, Krishnaprasad Thirunarayan
(Eds.): The Semantic Web - ISWC 2009, 8th International
Semantic Web Conference, ISWC 2009, pages 1-16. Lecture
Notes in Computer Science 5823 Springer 2009.© Springer-Verlag.
J. J. Alferes, A. Gabaldon, J. Leite. A Logic Programming System for Evolving
Programs with Temporal Operators. In Luís
Seabra Lopes, Nuno Lau, Pedro Mariano, Luís Mateus Rocha
(Eds.): Progress in Artificial Intelligence, 14th
Portuguese Conference on Artificial Intelligence, EPIA
2009, pages 101-112. Lecture Notes in Computer Science
5816 Springer 2009.© Springer-Verlag.
J. Leite, J. J. Alferes, B. Mito. Resource allocation with answer-set
programming. In Carles Sierra, Cristiano
Castelfranchi, Keith S. Decker, Jaime Simão Sichman
(Eds.): 8th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS 2009), Volume 1,
pages 649-656. IFAAMAS 2009.
2008
J. J. Alferes, A. Gabaldon, and J. Leite. Evolving logic programming based
agents with temporal operators. In L.
Jain, editor, IEEE/WIC/ACM Intel ligent Agent Technology
2008, Sydney, Australia, 2008, pages 238-244. IEEE
Computer Society Press.
M. Knorr, J. J. Alferes and P. Hitzler. A Coherent Well-Founded Model for Hybrid MKNF
Knowledge Bases. In M. Ghalab, editor, Procs
18th European Conference on Artificial Intelligence,
pages 99-103. IOS Press, 2008.
J. J. Alferes, R. Amador, P. Karger, and D. Olmedilla.
Towards reactive semantic web policies:
Advanced agent control for the semantic web. In
T. Fini, editor, International Semantic Web Conference,
Karlsruhe, Germany, 2008. CEUR WS-proceedings.
2007
M. Knorr, J. J. Alferes and P. Hitzler,
Towards Tractable Local Closed World
Reasoning for the Semantic Web. In J. Maia
Neves, M. F. Santos and J. M. Machado (eds), Progress in
Artificial Intelligence, Procs. 13th Portuguese
Intl.Conf. on Artificial Intelligence, LNAI, Springer,
Guimarães, Portugal, December 2007.© Springer-Verlag.
J. J. Alferes and R. Amador, r3: A foundational ontology for reactive
rules. In T. Dillion, M. Missikoff and S. Staab
(eds), Ontologies, DataBases, and Applications of
Semantics (ODBASE'07), LNCS, Springer, Albufeira,
Portugal, November 2007.© Springer-Verlag.
M. Knorr, J. J. Alferes and P. Hitzler, A Well-founded Semantics for Hybrid MKNF
Knowledge Bases, in: D. Calvanese, E. Franconi,
V. Haarsle, D. Lembo, B. Motik and A-Y. Turhan (eds),
Proceedings of 20th International Workshop on
Description Logics (DL2007), CEUR Workshop Proceedings,
Brixen-Bressanone, Italy, Vol. 250, Pag. 347-354, June
2007.
J. J. Alferes and R. Amador, r3: Towards a foundational ontology for
reactive rules. In Proceedings of 4th European
Semantic Web Conference (ESWC 2007), poster, Springer,
Innsbruck, Austria, June 2007.
I. Almeida and J. J. Alferes, Argumentation-based Proof for an Argument
in a Paraconsistent Setting. In G. Simari and
P. Torroni (eds), Proceedings of Workshop on
Argumentation and Non-Monotonic Reasoning (ArgNMR'07),
Online Proceedings, Tempe, Arizona, USA, Pag. 64-79, May
2007.
2006
J. J. Alferes, F. Banti, and A. Brogi. An Event-Condition-Action Logic
Programming Language. In Michael Fisher, Wiebe
van der Hoek, Boris Konev and Alexei Lisitsa
(Eds.): Logics in Artificial Intelligence, 10th European
Conference, JELIA 2006, pages 29-42. Lecture Notes in
Artificial Intelligence 4160, Springer 2006,
© Springer-Verlag.
Iara Almeida, and J. J. Alferes. An Argumentation-Based Negotiation for
Distributed Extended Logic Programs. In Katsumi
Inoue and Ken Satoh and Francesca Toni (Eds.):
Computational Logic in Multi-Agent Systems, Revised
Selected and Invited Papers of CLIMA VII, pages 191-210.
Lecture Notes in Artificial Intelligence 4371, Springer
2006 © Springer-Verlag.
J. J. Alferes, and Gastón Tagni. Implementation of a Complex Event Engine
for the Web. In Ling Liu and Opher Etzion
(Eds.): Event-Driven Architecture, Processing and
Systems, IEEE Services Computing Workshops, pages 65-72.
IEEE press 2006.
F. Banti, J. J. Alferes, and A. Brogi. ERA: An event condition action logic
programming language. In F. Esposito, D.
Malerba, G. Semeraro (Eds.): Proceedings of CILC'06 -
Italian Conference on Computational Logic. Università di
Bari, 2006.
Iara Almeida, and J. J. Alferes. An Argumentation-Based Negotiation for
Distributed Extended Logic Programs (preliminary
version). In K. Inoue and K. Satoh and F. Toni
(Eds.): Pre-proceedings of the 7th International
Workshop CLIMA VII. Future University, Hakodate, Japan,
2006
2005
F. Banti, J. J. Alferes, and A. Brogi.
Operational Semantics for
DyLPs. In A. Cardoso, C. Bento and G.
Dias (Eds.): Progress in Artificial Intelligence, Procs.
12th Portuguese Int. Conf. on Artificial Intelligence
(EPIA'05), pages 43-54. Lecture Notes in Artificial
Intelligence 3808, Springer 2005, © Springer-Verlag.
Wolfgang May, J. J. Alferes, Ricardo Amador. Active Rules in the Semantic Web: Dealing
with Language Heterogeneity. In Asaf Adi,
Suzette Stoutenburg, Said Tabet (Eds.): Rules and Rule
Markup Languages for the Semantic Web, First
International Conference, RuleML 2005, pages 30-44.
Lecture Notes in Computer Science 3791 Springer
2005 © Springer-Verlag.
Wolfgang May, J. J. Alferes, Ricardo Amador. An Ontology- and Resources-Based Approach
to Evolution and Reactivity in the Semantic
Web. In R. Meersman, Z. Tari, M. Hacid, J.
Mylopoulos, B. Pernici, O. Babaoglu, H. Jacobsen, J.
Loyall, M. Kifer, S. Spaccapietra (Eds.): On the Move to
Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, OTM Confederated International Conferences,
CoopIS, DOA, and ODBASE 2005, pages 1553-1570. Lecture
Notes in Computer Science 3761 Springer 2005
© Springer-Verlag.
J. J. Alferes, Ricardo Amador, Wolfgang May. A General Language for Evolution and
Reactivity in the Semantic Web. In François
Fages, Sylvain Soliman (Eds.): Principles and Practice
of Semantic Web Reasoning PPSWR'04, pages 101-115.
Lecture Notes in Computer Science 3703 Springer
2005 © Springer-Verlag.
F. Banti, J. J. Alferes, A. Brogi, and P. Hitzler.
The Well Supported Semantics for
Multidimensional Dynamic Logic Programs. In
Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio
Terracina (Eds.): Logic Programming and Nonmonotonic
Reasoning, 8th International Conference, LPNMR 2005,
pages 356-368. Lecture Notes in Computer Science 3662
Springer 2005, © Springer-Verlag.
F. Banti, J. J. Alferes, and A. Brogi. Implementation of dynamic logic
programs. In M. Proietti(Eds.): Proceedings of
CILC'05 - Italian Conference on Computational Logic.
Research Report:Quaderno del Dipartimento di Matematica,
2005.
J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to action
description updates. In J. Leite and P. Torroni
(eds.), Computational Logic in Multi-Agent Systems, 5th
International Workshop, CLIMA V, Lisbon, Revised
Selected and Invited Papers, pages 52-77. Lecture
Notes in Computer Science 3387 Springer
2005 © Springer-Verlag.
2004
J. J. Alferes, Francisco Azevedo, P. Barahona, C. V.
Damásio and T. Swift. Deductive Diagnosis of Digital
Circuits. In CFirst IFIP Conference on
Artificial Intelligence Applications and Innovations
(AIAI'2004), Kluwer Academic Press, pages 155-165, 2004.
F. Banti, J. J. Alferes, and A. Brogi. Well Founded Semantics for Logic Program
Updates. In C. Lemaître, C. A. Reyes, J. A.
González (Eds.): Advances in Artificial Intelligence -
IBERAMIA 2004, 9th Ibero-American Conference on AI,
pages 397-407. Lecture Notes in Computer Science 3315
Springer 2004 © Springer-Verlag.
Wolfgang May, J. J. Alferes, François Bry: Towards Generic Query, Update, and Event
Languages for the Semantic Web. In Hans
Jürgen Ohlbach, Sebastian Schaffert (Eds.): Principles
and Practice of Semantic Web Reasoning PPSWR'04, pages
19-33. Lecture Notes in Computer Science 3208 Springer
2004 © Springer-Verlag.
J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to action
description updates. In J. Leite and P. Torroni
(eds.), Proceedings of the 5th International Workshop on
Computational Logic in Multi-Agent Systems, CLIMA, pages
243, 260. ISBN: 972-9119-37-6, September 2004.
F. Banti, J. J. Alferes, and A. Brogi. From logic programs updates to action
description update. In G. Rossi and E. Panegai
(Eds.): Proceedings of CILC'04 - Italian Conference on
Computational Logic. ISBN: 1-55860-262-3. November,
2004.
J. J. Alferes, F. Banti, A. Brogi and J. A. Leite,
Semantics for Dynamic Logic Programming:
a principle-based approach, In V. Lifschitz and
I. Niemelä, (eds.), Procs. of the Seventh International
Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR-7), Springer-Verlag, LNAI. © Springer-Verlag.
2003
J. J. Alferes, C. V. Damásio, L. M. Pereira, Semantic Web Logic Programming
Tools, invited paper in F. Bry, N. Henze, J.
Maluszynski (eds.), Principles and Practice of Semantic
Web Reasoning (PPSWR'03), pp. , Springer , LNAI. © Springer-Verlag.
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira,
An Evolvable Rule-Based E-mail
Agent, in S. Abreu (ed.), Progress in
Artificial Intelligence, Procs. 11th Portuguese Int.
Conf. on Artificial Intelligence (EPIA'03),
Springer, LNAI , Beja, Portugal, December 2003 © Springer-Verlag.
J. J. Alferes, F. Banti and A. Brogi, A Principled Semantics for Logic
Programs Updates, in Brewka and Peppas (eds.),
Nonmonotonic Reasoning, Action, and Change (NRAC'03),
2003.
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira,
Logic Programming for Evolving
Agents, in M. Klusch, A. Omicini, S. Ossowski
(eds.), Procs. of Cooperative Information Agents
(CIA'03), Springer LNAI, 2003. © Springer-Verlag.
J. J. Alferes, A. Brogi, J. A. Leite, L. M. Pereira,
An Evolving Agent with EVOLP, in
N. Leone, P. Rullo (eds.), Procs. of APPIA-GULP-PRODE'03
Joint Conf. on Declarative Programming (AGP'03), Reggio
Calabria, Italy, September 2003.
2002
J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira,
Computing Environment-Aware Agent
Behaviours with Logic Program Updates, In A.
Pettorossi (ed), Logic Based Program Synthesis and
Transformation, 11th International Workshop,
(LOPSTR'01), Selected Papers, pages 216-232,
Spriger-Verlag, LNCS 2372, 2002. © Springer-Verlag.
J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira,
Evolving Logic Programs, In S.
Flesca, S. Greco, N. Leone, G. Ianni (eds.), Proceedings
of the 8th European Conference on Logics in Artificial
Intelligence (JELIA'02), pages 50-61, Spriger-Verlag,
LNCS 2424, 2002. © Springer-Verlag.
J. J. Alferes, P. Dell'Acqua, and L. M. Pereira,
A Compilation of Updates plus
Preferences, In S. Flesca, S. Greco, N. Leone,
G. Ianni (eds.), Proceedings of the 8th European
Conference on Logics in Artificial Intelligence
(JELIA'02), pages 62-73, Spriger-Verlag, LNCS 2424,
2002. © Springer-Verlag.
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska,
and T. C. Przymusinski, A Language for Multi-dimensional
Updates. In J. Dix, J. A. Leite and K. Satoh
(eds.), Proceedings of the 3rd International Workshop on
Computational Logic in Multi-Agent Systems, (CLIMA'02),
pages 19-34, no. 93 of Datalogiske Skrifter (Writings on
Computer Science), Roskilde University, Denmark, 2002.
J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska,
and T. C. Przymusinski, A Language for Updates with Multiple
Dimensions. In J. J. Navarro (ed.), Procs. of
the APPIA-GULP-PRODE'02 Joint Conference on Declarative
Programming (AGP'02), Madrid, Spain, September 2002.
2001
J. A. Leite, J. J. Alferes and L. M. Pereira, MINERVA - A Dynamic Logic Programming
Agent Architecture, In J. J. Meyer and M. Tambe
(eds.), Pre-Procs. of the Eighth International Workshop
on Agent Theories, Architectures, and Languages
(ATAL'01), pages 133-145, Seattle, USA, August 2001.
J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira,
Environment-aware Computations via
Program Updates, In A. Pettorossi (ed),
Pre-Proceedings of the Eleventh International Workshop
on Logic-based Program Synthesis and Transformation
(LOPSTR'01), pages 112-123, Paphos, Cyprus, November
2001.
J. A. Leite, J. J. Alferes and L. M. Pereira, On the Use of Multi-dimensional Dynamic
Logic Programming to Represent Societal Agents'
Viewpoints. In P. Brazdil and A. Jorge (eds.),
Progress in Artificial Intelligence, 10th Portuguese
International Conference on Artificial Intelligence
(EPIA'01), Springer, LNAI 2258, pages 276-289, December
2001. © Springer-Verlag.
J. A. Leite, J. J. Alferes and L. M. Pereira, Combining Societal Agents'
Knowledge. In L. M. Pereira and P. Quaresma
(eds.), Procs. of the APPIA-GULP-PRODE'01 Joint
Conference on Declarative Programming (AGP'01), pages
313-327, Évora, Portugal, September 2001.
J. A. Leite, J. J. Alferes and L. M. Pereira, Multi-dimensional Dynamic Knowledge
Representation. In T. Eiter, W. Faber and M.
Truszczynski, Procs. of the Sixth International
Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'01), pages 365-378, Springer, LNAI
2173, 2001. © Springer-Verlag.
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.
