Philosophical incidence of logic programming

We address the import of AI for philosophical logic and examine the requirements posed by knowledge representation and reasoning is-sues which has addressed, most especially through its logic program-ming field (LP), to more dynamic forms of logic, in order to deal with knowledge in flux. In the process, we consider its encroachments on the philosophy of knowledge. Our aim is to entice the philosophically inclined reader, but also the LP veteran, to the emerging territories recently demarcated by ongoing research in LP knowledge representation and reasoning, by providing a personal bird’s eye view of the region, and the flavour of a synthesis. The more technical parts of the exposition remain rather simple, and aim at an intuitive understanding, by means of motivating examples, of the general issues, how they are approached, and surmounted. The full-fledged technicalities are to be found in the references.