The 7th International Conference on Logic Programming and Nonmonotonic Reasoning is held in Fort Lauderdale, Florida, Jan 6-8, 2004.

LPNMR-7 is co-located with

  • AIMATH - 8th International Symposium on Artificial Intelligence and Mathematics
  • CLIMA IV - 4th International Workshop on Computational Logic in Multi-Agent Systems
LPNMR-7 has been sponsored by the Association for Logic Programming and WASP ("Working group on Answer Set Programming" funded by the European commission, FET "Future Emerging Technologies" initiative).


The Proceedings of LPNMR-7 published by Springer (LNAI 2923) are now available online. You can find information on the proceedings here or access the online version here.

A comment on the acronym: LPNMR-7 could also be called LPNMR 2003 (LPNMR'03) because of the biannual schedule of the LPNMR conferences with the previous one held in Vienna in 2001. It could be called also LPNMR 2004 (LPNMR'04) because it takes place in the beginning of Jan 2004.