Publications

Program Updating by Incremental and Answer Subsumption Tabling

AuthID
P-008-F7F

Author(s)

Saptawijaya, A

Pereira, LM

Editor(s)

Pedro Cabalar; Tran Cao Son

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: 8148 LNAI, Pages: 479-484

Conference

12Th International Conference on Logic Programming and Nonmonotonic Reasoning, Lpnmr 2013, Date: 15 September 2013 through 19 September 2013, Location: Corunna, Sponsors: Artificial Intelligence Journal;Assocation of Logic Programming (ALP);Red IEMath-Galicia;CITIC Research Center;Spanish Association for Artificial Intelligence (AEPIA)

Indexing