Detail

Publication date: 01/09/2013

Program Updating by Incremental and Answer Subsumption Tabling

Authors

Ari Saptawijaya, Pedro Cabalar, Luís Moniz Pereira, Tran Cao Son,

URL http://link.springer.com/chapter/10.1007/978-3-642-40564-8_47
Publisher Springer
Series LNAI
Volume 8148
ISBN 978-3-642-40563-1
Address http://www.springer.com/computer/ai/book/978-3-642-40563-1
URL http://link.springer.com/chapter/10.1007/978-3-642-40564-8_47
Publisher Springer
Series LNAI
Volume 8148
ISBN 978-3-642-40563-1
Address http://www.springer.com/computer/ai/book/978-3-642-40563-1