Speed-Up Techniques for Negation in Grounding
From MaRDI portal
Publication:3066087
DOI10.1007/978-3-642-17511-4_2zbMath1253.68289OpenAlexW1498837330MaRDI QIDQ3066087
Eugenia Ternovska, David G. Mitchell, Amir Aavani, Gulay Unel, Shahab Tasharrofi
Publication date: 7 January 2011
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_2
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Uses Software
This page was built for publication: Speed-Up Techniques for Negation in Grounding