Sciweavers

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

4

ECAI
2004
Springer

favoriteEmaildiscussreport

77views Artificial Intelligence» more ECAI 2004»

A Tabulation Proof Procedure for Residuated Logic Programming

13 years 10 months ago

A Tabulation Proof Procedure for Residuated Logic Programming

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,

Real-time Traffic

Artificial Intelligence | ECAI 2004 |

claim paper

Related Content

» Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

» The CIFF Proof Procedure for Abductive Logic Programming with Constraints

» Negative Ordered HyperResolution as a Proof Procedure for Disjunctive Logic Programming

» Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

» Recursive proofs for inductive tree datastructures

» Procedural Representation of CIC Proof Terms

» Logic Program Specialisation With Deletion of Useless Clauses

» Interpolation and FEP for logics of residuated algebras

» Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ECAI
Authors	Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

Comments (0)