Recent Changes - Search:


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes

edit SideBar

FP /


Exploring First-Order Models

Many automated reasoning tools for first-order logic produce interpretations of first-order signatures (i.e. "implementations" of functions and predicates). These interpretations can be rather large. Build a tool with which a first-order interpretation can be explored interactively, perhaps using a graph drawing tool such as Dot. This tool could be used for research purposes as well as educational purposes (when teaching people about logic).

Background: Intro.FP, Datastructures, First-order logic. Number of people: 1. Contact person: Koen

Edit - History - Print - Recent Changes - Search
Page last modified on November 24, 2008, at 09:03 AM