Jump to content

User:Robert Kowalski

From Wikipedia, the free encyclopedia

I have been editing Wikipedia pages since around 2006, but without a user page, focussing mainly on articles related to logic programming. I have an entry on Wikipedia (Robert Kowalski), which I try to keep my hands off of, to avoid the appearance of self-promotion.

I have also tried to engage the logic programming community in improving the Wikipedia articles, mainly through the Association for Logic Programming, most recently at the International Conference on Logic Programming, held at Imperial College this summer in July 2023. I am hoping this user page and the associated sandbox will help that effort.

Recent Edits

[edit]

More detail here: https://en.wikipedia.org/wiki/Special:Contributions/Robert_Kowalski

To do

[edit]
  • Constraint logic programming. Non-standard syntax, and poor,confusing introductory example. Only operational semantics. No model theoretic semantics.
  • Links to Levesque Prolog Book: Levesque, H.J., 2012. Thinking as computation: A first course. MIT Press.
[edit]