Publication
Detail
Publication date: 01/09/2013Towards Practical Tabled Abduction in Logic Programs
URL | http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20 |
---|---|
Publisher | Springer |
Series | LNAI |
Volume | 8154 |
ISBN | 978-3-642-40668-3 |
Address | http://www.springer.com/computer/ai/book/978-3-642-40668-3 |
URL | http://link.springer.com/chapter/10.1007%2F978-3-642-40669-0_20 |
Publisher | Springer |
Series | LNAI |
Volume | 8154 |
ISBN | 978-3-642-40668-3 |
Address | http://www.springer.com/computer/ai/book/978-3-642-40668-3 |