Sammut, Claude University of New South Wales - Machine learning, logic programming , and knowledge based systems.
Mozart Programming System Free major development platform for open, fault-tolerant, distributed, constraint and logic programming applications: full development environment, tools, documentation, tutorials, source code. Applications developed: realtime bus scheduler, configuration tool, collaborative graphic editor, corpus browser, and extended ICQ.
The World Wide Web Virtual Library: Logic Programming Affiliated with the comp.lang.prolog newsgroup this repository includes general information, Prolog, Window system interfaces, other logic - programming systems, meetings, books and related information.
Ai on the Web Lots and lots of pointers to AI resources: intelligent agents, search and game playing, logic and knowledge representation, planning, reasoning with uncertainty, machine learning, natural language processing, perception and robotics, philosophy and the future, AI programming .
DBLP: Logic Programming A bibliography on logic programming is supplemented with a survey of conferences, journals, series of books, organizations and related subjects.