Philosophical incidence of logic programming

[1]  Luís Moniz Pereira,et al.  Monotonic and Residuated Logic Programs , 2001, ECSQARU.

[2]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Knowledge Representation , 2001, LPNMR.

[3]  C. Damásio,et al.  Antitonic Logic Programs , 2001, LPNMR.

[4]  José Júlio Alferes,et al.  MINERVA - A Dynamic Logic Programming Agent Architecture , 2001, ATAL.

[5]  Luís Moniz Pereira,et al.  Preferring and Updating in Abductive Multi-agent Systems , 2001, ESAW.

[6]  Luís Moniz Pereira,et al.  Belief Revision by Lamarckian Evolution , 2001, EvoWorkshops.

[7]  Luís Moniz Pereira,et al.  Hybrid Probabilistic Logic Programs as Residuated Logic Programs , 2000, Stud Logica.

[8]  José Júlio Alferes,et al.  Updates plus Preferences , 2000, JELIA.

[9]  José Júlio Alferes,et al.  Dynamic Knowledge Representation and Its Applications , 2000, AIMSA.

[10]  José Júlio Alferes,et al.  Dynamic updates of non-monotonic knowledge bases , 2000, J. Log. Program..

[11]  Luís Moniz Pereira,et al.  Psychiatric Diagnosis from the Viewpoint of Computational Logic , 2000, Computational Logic.

[12]  José Júlio Alferes,et al.  LUPSA language for updating logic programs , 1999, Artif. Intell..

[13]  Luís Moniz Pereira,et al.  Coherent Well-founded Annotated Logic Programs , 1999, LPNMR.

[14]  José Júlio Alferes,et al.  Well-founded Abduction via Tabled Dual Programs , 1999, ICLP.

[15]  Paulo Quaresma,et al.  A collaborative legal information retrieval system using dynamic logic programming , 1999, ICAIL '99.

[16]  Luís Moniz Pereira,et al.  Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks , 1999, Applied Intelligence.

[17]  S. Pinker.  How the Mind Works , 1999, Philosophy after Darwin.

[18]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[19]  José Júlio Alferes,et al.  'Classical' Negation in Nonmonotonic Reasoning and Logic Programming , 1998, Journal of Automated Reasoning.

[20]  Luíz Moniz Pereira,et al.  The Logical Impingement of Artifical Intelligence , 1998 .

[21]  Luís Moniz Pereira,et al.  Generalizing Updates: From Models to Programs , 1997, LPKR.

[22]  José Júlio Alferes,et al.  Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[23]  J. Barth,et al.  On with the Story , 1995 .

[24]  Luís Moniz Pereira,et al.  Model-based diagnosis preferences and strategies representation with logic meta-programming , 1995 .

[25]  Franco Turini,et al.  Meta-logics and logic programming , 1995 .

[26]  José Júlio Alferes,et al.  A logic programming system for nonmonotonic reasoning , 1995, Journal of Automated Reasoning.

[27]  A. Kakas,et al.  Abductive Logic Programming , 1992, LPNMR.

[28]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[29]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[30]  Luís Moniz Pereira,et al.  Strategies in Combined Learning via Logic Programs , 2004, Machine Learning.

[31]  Rolf Drechsler,et al.  Applications of Evolutionary Computing , 2004, Lecture Notes in Computer Science.

[32]  Ofer Arieli,et al.  Paraconsistent Semantics for Extended Logic Programs , 2002, IC-AI.

[33]  José Júlio Alferes,et al.  Planning as Abductive Updating , 2001 .

[34]  José Júlio Alferes,et al.  Multi-dimensional Dynamic Logic Programming , 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

[35]  José Júlio Alferes,et al.  Dynamic Logic Programming , 1998, APPIA-GULP-PRODE.