1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

Planner

Planner is a hybrid between procedural and logical languages. It gives a procedural interpretation to logical sentences where implications are interpreted with pattern-directed inference.

Sort By:
Title
Replies Views
Last Message ↓
  1. There are no threads to display.

Thread Display Options

Loading...