A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritization, pruning and parameter training. Compiles into fast, handy C++ classes. Developed within an open-source project.
This web page of conferences and workshops that have an overlap with logic in computer science is maintained by the LICS organization. The first half of the page is an incomplete list of dates, some tentative and some fixed, for upcoming meetings of some logic-related conferences. The second half is a list of logic-related conferences and associations.
Department of Computing, Imperial College of Science, Technology and Medicine, University of London: research group on logic and artificial intelligence focusing on communicating agents, computational logic and computational bioinformatics. Faculty home pages and departmental technical reports provide documentation on (the evolution) of logic programming.