Props for Thesis

Exploring CHR implementation event calculus

• What's CHR?
• What's Event Calculus?

Papers to read

• A Logic-Based, Reactive Calculus of Events
• Event Calculus with Explicit Quantifiers
• Shananan - Some Alternative Formulations of the Event Calculus
• Kowalski- A Logic-based Calculus of Events
• Shananan - The Event Calculus Explained
• Thom Fruhwirth - Constraint Handling Rules - The Story So Far

Stuff

• Github Repo
• Info Unibo Latex template
• Info Unibo Tesi
• Overleaf - Draft latex

Resources

• Constraint Handling Rules Slides
• SWI-Prolog CHR section
• K.U.Leuven webapge
• Constraint handling rules webpage
• CHR old website
• Some interesing code clpfd and CHR

Key Links

• metalevel.at - DCG, Theorem Proving, E.g.
• Teorem provers museum
• Prolog Interactive Lab Examples
• Prolog :- Tutorial
• Prolog :- Tutorial new
• The public-domain Prolog library
• Building Expert Systems in Prolog

Papers 2 look @

• Using a Theorem Prover for Reasoning on Constraint Problems
• Project Theorema, Automated reasoning
• Fifty Years of Prolog and Beyond
• Rethinking Logic Programming
• Automated Theorem Proving: Mapping Logic Into AI
• Applications of Inductive Logic Programming
• Natural Language Processing Techniques in Prolog
• Constraint Logic Programming
• Inductive logic programming at 30

Projects 2 look @

• Popper
• Metagol
• Wumpus
• Awesome prolog
• P99
• Mathematical sintax parser