A Tabulation Proof Procedure for Residuated Logic Programming

AuthID
P-000-CKV
3
Author(s)
Medina, J
·
Ojeda Aciego, M
2
Editor(es)
LopezdeMantaras, R; Saitta, L
Tipo de Documento
Proceedings Paper
Year published
2004
Publicado
in ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS in FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, ISSN: 0922-6389
Volume: 110, Páginas: 808-812 (5)
Conference
16Th European Conference on Artificial Intelligence, Date: AUG 22-27, 2004, Location: Valencia, SPAIN, Patrocinadores: European Coordinating Comm Artificial Intelligence, Asoc Espanola Inteligencia Artificial, Assoc Catalana Intelligencia Artificial, Univ Politecn Valencia, Grp Tecnol Informat
Indexing
Publication Identifiers
Wos: WOS:000225505100156
Source Identifiers
ISSN: 0922-6389
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.