External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Tabulation Proof Procedure for Residuated Logic Programming

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego. A Tabulation Proof Procedure for Residuated Logic Programming. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 808-812, IOS Press, 2004.

Authors

Carlos Viegas Damásio

This author has not been identified. Look up 'Carlos Viegas Damásio' in Google

Jesús Medina

This author has not been identified. Look up 'Jesús Medina' in Google

Manuel Ojeda-Aciego

This author has not been identified. Look up 'Manuel Ojeda-Aciego' in Google
runs on