Online justification for tabled logic programs

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Original language	English
Pages (from-to)	500-501
Number of pages	2
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2916
DOIs	https://doi.org/10.1007/978-3-540-24599-5_42
State	Published - 2003

Access to Document

@article{6087eb457c6147609a4c63dd2b8714cf,

title = "Online justification for tabled logic programs",

author = "Giridhar Pemmasani and Guo, \{Hai Feng\} and Yifei Dong and Ramakrishnan, \{C. R.\} and Ramakrishnan, \{I. V.\}",

year = "2003",

doi = "10.1007/978-3-540-24599-5\_42",

language = "English",

volume = "2916",

pages = "500--501",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

}

TY - JOUR

T1 - Online justification for tabled logic programs

AU - Pemmasani, Giridhar

AU - Guo, Hai Feng

AU - Dong, Yifei

AU - Ramakrishnan, C. R.

AU - Ramakrishnan, I. V.

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/0346895296

U2 - 10.1007/978-3-540-24599-5_42

DO - 10.1007/978-3-540-24599-5_42

M3 - Article

AN - SCOPUS:0346895296

SN - 0302-9743

VL - 2916

SP - 500

EP - 501

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -