Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

IJCAI
1993

favoriteEmaildiscussreport

101views Artificial Intelligence» more IJCAI 1993»

A Language for Implementing Arbitrary Logics

13 years 5 months ago

A Language for Implementing Arbitrary Logics

Download ijcai.org

SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suffices for the construction of types for type checking and for the specification of arbitrary logics. Compilation techniques derived from both functional and logic programming are used to derive high-performance ATPs from these specifications.

Mark Tarver

Real-time Traffic

Arbitrary Logics | IJCAI 1993 | IJCAI 2007 | Sequent Calculus | Sequent Calculus Notation |

claim paper

Related Content

» Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains

» Probabilistic datalog Implementing logical information retrieval for advanced applications

» The design and implementation of a parallel array operator for the arbitrary remapping of ...

» Implementing logical connectives in constraint programming

» Combining Theorem Proving with Natural Language Processing

» Closures and Modules Within Linear Logic Concurrent Constraint Programming

» Just enough tabling

» Efficient Implementation of a Linear Logic Programming Language

» Implementing functional logic languages using multiple threads and stores

Post Info
More Details (n/a)

Added	02 Nov 2010
Updated	02 Nov 2010
Type	Conference
Year	1993
Where	IJCAI
Authors	Mark Tarver

Comments (0)