Publications

A Tabulation Proof Procedure for Residuated Logic Programming

AuthID
P-000-CKV

Author(s)

Damasio, CV

Medina, J

Ojeda Aciego, M

Editor(s)

LopezdeMantaras, R; Saitta, L

Document Type

Proceedings Paper

Year published

2004

Published

in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS in FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, ISSN: 0922-6389

Volume: 110, Pages: 808-812 (5)

Conference

16Th European Conference on Artificial Intelligence, Date: AUG 22-27, 2004, Location: Valencia, SPAIN, Sponsors: European Coordinating Comm Artificial Intelligence, Asoc Espanola Inteligencia Artificial, Assoc Catalana Intelligencia Artificial, Univ Politecn Valencia, Grp Tecnol Informat

Indexing