Publicações

Incremental Tabling for Query-Driven Propagation of Logic Program Updates

AuthID
P-009-5J6

Author(s)

Saptawijaya, A

Pereira, LM

Editor(s)

Kenneth L. McMillan; Aart Middeldorp; Andrei Voronkov

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8312 LNCS, Pages: 694-709

Conference

19Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lpar 2013, Date: 14 December 2013 through 19 December 2013, Location: Stellenbosch

Indexing