A Tabulation Proof Procedure for Residuated Logic Programming

AuthID
P-000-CKV
3
Author(s)
Medina, J
·
Ojeda Aciego, M
2
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
Publication Identifiers
Wos: WOS:000225505100156
Source Identifiers
ISSN: 0922-6389
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.