Publicações

Incremental Tabling for Query-Driven Propagation of Logic Program Updates

AuthID
P-009-5J6

Author(s)

Saptawijaya, A

Pereira, LM

Editor(es)

Kenneth L. McMillan; Aart Middeldorp; Andrei Voronkov

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

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, Páginas: 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