KRR-lab

“When we say logic programming, we still mean static knowledge. However, the agent paradigm is an environment typically more open and dynamic. Thus, we need ways to represent and integrate knowledge from different sources that may evolve in time.”

J. Guadarrama, AIA’2003

This section consists of a list of relevant solvers and applications to my proposal, no particular order, with their respective links to their implementations. Some of them were adapted by myself in order to have a classical web-interface to run the original untouched engine online, with the obvious advantages.

Evolving Knowledge

• TU-Wien Updates of Programs for the web

• ODLP for Updates of Pairs of Programs

• Sequenced Generalised Updates of Programs

• Iterated Minimal Generalised Updates of Programs

• Meta-interpretation in Answer Set Programming —COMING SOON!

• PolicyUpdater

Base-systems with web-interface

• PSMODELS

• DLV

• SMODELS

Other Useful Tools

• Logic Programs to LaTeX commands

• Common LISP