Philosophical incidence of logic programming

Studies in Logic and Practical Reasoning

Volumn 1, Issue C, 2002, Pages 425-448

  Moniz Pereira, Luís ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956696834     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(02)80012-X     Document Type: Article

References (45)

1. Júlio Alferes J., and Moniz Pereira L. Reasoning with Logic Programming. Lecture Notes in Artificial Intelligence vol. 1111 (1996), Springer
2. Júlio Alferes J., and Moniz Pereira L. Updates plus preferences. In: Aciego M.O., de Guzmán I.P., Brewka G., and Pereira L.M. (Eds). Logics in AI, Procs. JELIA'00, Málaga. LNAI 1919 (2000), Springer 345-360
3. Júlio Alferes J., and Moniz Pereira L. Logic programming updating: a guided tour. In: Sadri F., and Kakas A. (Eds). Essays in Honour of Robert Kowalski (2001), Springer
4. Júlio Alferes J., Damásio C.V., and Moniz Pereira L. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning 14 (1995) 93-147
5. Júlio Alferes J., Leite J.A., Moniz Pereira L., Przymusinska H., and Przymusinski T.C. Dynamic logic programming. In: Shapiro S. (Ed). Int. Conf. on Knowledge Representation and Reasoning (KR'98). Trento Italy (1998), Morgan Kaufmann
6. Júlio Alferes J., Moniz Pereira L., and Przymusinski T.C. 'Classical' negation in nonmonotonic reasoning and logic programming. Journal of Automated Reasoning 20 (1998) 107-142
7. Júlio Alferes J., Moniz Pereira L., Przymusinska H., and Przymusinski T.C. LUPS-a language for updating logic programs. In: Gelfond M., Leone N., and Pfeifer G. (Eds). Procs. of the 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas USA. LNAI 1730 (1999), Springer 162-176
8. An extended updated version has been accepted by the AI journal as LUPS-a language for updating logic programs
9. Júlio Alferes J., Moniz Pereira L., and Swift T.L. Well-founded Abduction via Tabled Dual Program. In: De Schreye D. (Ed). Procs. 16th Int. Conf. on Logic Programming. Las Cruces, New Mexico (1999), MIT Press 426-440
10. Júlio Alferes J., Leite J.A., Moniz Pereira L., Przymusinska H., and Przymusinski T.C. Dynamic Updates of Non-Monotonic Knowledge Bases. The Journal of Logic Programming 45 1-3 (September/October 2000) 43-70
11. Júlio Alferes J., Leite J.A., Moniz Pereira L., and Quaresma P. Planning as Abductive Updating. In: Kitchin D. (Ed). Procs. AISB'00 Symposium on AI Planning and Intelligent Agents (April 2000), AISB, Birmingham, England 1-8
12. Júlio Alferes J., Moniz Pereira L., Przymusinska H., Przymusinski T.C., and Quaresma P. Dynamic Knowledge Representation and its Applications. In: Cerri S., and Dochev D. (Eds). Procs. of The 9th Int. Conf. on Artificial Intelligence-Methodology, Systems, Applications (AIMSA'00). Varna, Bulgaria. LNAI 1904 (2000), Springer 1-10
13. Barth J. On with the Story (1996), Back Bay Books, Little Brown and Company 55
14. Damásio C.V., Nejdl W., Moniz Pereira L., and Schroeder M. Model-based diagnosis preferences and strategies representation with logic metaprogramming. In: Apt K., and Turini F. (Eds). Meta-Logics and Logic Programming (1995), MIT Press 267-308
15. Damásio C.V., and Moniz Pereira L. A Survey on Paraconsistent Semantics for Extended Logic Programas. In: Gabbay D.M., and Smets Ph. (Eds). Handbook of Defeasible Reasoning and Uncertainty Management Systems vol. 2 (1998), Kluwer Academic Publishers 241-320
16. Damásio C.V., and Moniz Pereira L. Hybrid probabilistic logic programs as residuated logic programs. In: Aciego M.O., de Guzmán I.P., Brewka G., and Pereira L.M. (Eds). Logics in AI, Procs. JELIA'00, Málaga. LNAI 1919 (2000), Springer 57-72
17. Damásio C.V., and Moniz Pereira L. Monotonic and residuated logic programs. In: Benferhat S., and Besnard Ph. (Eds). Procs. 6th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'01) (2001), Springer, LNAI
18. Damásio C.V., and Moniz Pereira L. Antitonic logic programs. In: Eiter T., and Truszczynski M. (Eds). Procs. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'01) (2001), Springer LNAI
19. Damásio C.V., Moniz Pereira L., and Swift T.L. Coherent well-founded annotated logic programs. In: Gelfond M., Leone N., and Pfeifer G. (Eds). Procs. 5th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). El Paso, Texas USA. LNAI-1730 (1999), Springer 262-276
20. Deacon T. The Symbolic Species (1997), W.W. Norton
21. Dell'Acqua P., and Moniz Pereira L. Updating agents. In: Rochefort S., Sadri F., and Toni F. (Eds). Procs. ICLP'99 Workshop on Multi-Agent Systems in Logic (MASL'99). Las Cruces, New Mexico (1999)
22. [Dell'Acqua and Pereira, 2001]Pierangelo Dell'Acqua, Luís Moniz Pereira. Preferring and updating in abductive multi-agent systems. In Procs. Workshop on Engineering Societies in the Agent's World 2001 (ESAW'01), Andrea^Omicini et al. (eds), Prague.
23. Donald M. Origins of the Human Mind (1991), Harvard University Press
24. Froehlich P., Damásio C.V., Nejdl W., Moniz Pereira L., and Schroeder M. Using extended logic programming for alarm-correlation in cellular phone networks. Procs. of The 12th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE-99. Cairo, Egypt (1999), LNAI, Springer
25. Gartner J., Swift T.L., Tien A., Damásio C.V., and Moniz Pereira L. Psychiatric diagnosis from the viewpoint of computational logic. In: Lloyd J., et al. (Ed). Procs. of First Int. Conf. on Computational Logic (CL 2000). London, UK. LNAI 1861 (July 2000), Springer 1362-1376
26. Gross P.R., and Levitt N. Higher Supersition (1994), The Johns Hopkins University Press
27. Holland J. Emergence (1998), Addison-Wesley
28. Kakas A.C., Kowalski R.A., and Toni F. Abductive logic programming. Journal of Logic and Computation 2 (1993) 719-770
29. Kowalski R.A. Logic for Problem Solving (1979), North-Holland
30. Lakatos I. In: Worrall J., and Zahar E.G. (Eds). Proofs and refutations: the logic of mathematical discovery (1976), Cambridge University Press
31. Lamma E., Riguzzi F., and Pereira L.M. Belief revision by Lamarckian evolution. In: Boers em E.J.W., et al. (Ed). Applications of Evolutionary Computing: Procs. 1st European Workshop on Evolutionary Learning (EvoLEARN2001). LNCS 2037 (2001), Springer-Verlag 404-416
32. Lamma E., Moniz Pereira L., and Riguzzi F. Logic aided Lamarckian evolution. In: Brazdil P., and Michalski R. (Eds). Procs. Multi-Strategy Learning Workshop (MSL'00). Guimarães, Portugal (June 2000), LIAAC-Porto University
33. Lamma E., Riguzzi F., and Moniz Pereira L. Strategies in combined learning via logic programs. Machine Learning 38 1/2 (January 2000) 63-87
34. Leite J.A., and Moniz Pereira L. Generalizing updates: from models to programs. ILPS'97 Workshop on Logic Programming and Knowledge Representation, LPKR'97. Port Jefferson (1997)
35. Leite J.A., Pereira F.C., Cardoso A., and Moniz Pereira L. Metaphorical mapping consistency via dynamic logic programming. In: Wiggins G. (Ed). Procs. AISB'00 Symposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science (April 2000), AISB, Birmingham England 41-50
36. Leite J.A., Julio Alferes J., and Moniz Pereira L. Minerva-a dynamic logic programming agent architecture. In: Meyer J.-J. (Ed). Proc. Agent Theories, Architectures, and Languages (ATAL'01) (2001), Springer LNAI
37. An extended updated version appears as 'Multi-dimensional dynamic knowledge representation', In Procs. 6th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), T. Eiter and M. Truszczynski (eds), Springer LNAI 2001. Leite J.A., Júlio Alferes J., and Moniz Pereira L. Multi-dimensional dynamic logic programming. In: Sadri F., and Satoh K. (Eds). Procs. CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00). London, England (July 2000)
38. Monteiro L., and Moniz Pereira L. Aspectos Cibernéticos da Epistemologia. Novas Perspectivas das Ciênciasdo Homem. Biblioteca de Ciências Humanas 4 (1970), Editorial Presença, Lisboa 13-27
39. Nagel T. The Last Word (1997), Oxford University Press
40. Isaac Newton, Philosophiœ Naturalis Principia Mathematica Editio tertia & aucta emendata. Apud Guil & Joh. Innys, Regi{high symbol} Societatis typographos, 1726. Original quotation: Corpus omne perseverare in statu suo quiescendi vel movendi uniformiter in directum nisi quatenus illud a viribus impressis cogitur statum suum mutare.
41. Moniz Pereira L. Inteligência Artificial: mito e ciêcia. Revista Colóquio-Ciência 3 (October 1988), Fundação Calouste Gulbenkian, Lisboa 1-13
42. Moniz Pereira L. The logical impingement of artificial intelligence. Grazer Philosophische Studien vol. 56 (1999), Internationale Zeitschrift Für Analytische Philosophie, Amsterdam/Atlanta 183-204
43. Pinker S. How the Mind Works (1997), W.W.Norton
44. Quaresma P., and Moniz Pereira L. Modelling agent interaction in logic programming. In: Barenstein O. (Ed). Procs. of the 11th Int. Conf. on Applications of Prolog (INAP'98). Tokyo Japan (September 1998)
45. Quaresma P., and Rodrigues I.P. A collaborative legal information retrieval system using dynamic logic programming. Procs. 7th Int. Conf. on AI and Law (ICAIL-99) (1999), ACM SIGART, ACM Press 190-191