Article,
An ASP Approach to Query Completeness Reasoning.
W. Nutt, S. Paramonov, and O. Savkovic.Theory Pract. Log. Program., (2013)
Meta data
- BibTeX key
- journals/tplp/NuttPS13
- entry type
- article
- year
- 2013
- journal
- Theory Pract. Log. Program.
- number
- 4-5-Online-Supplement
- volume
- 13
- ee
- http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013005.pdf
- url
- http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#NuttPS13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/tplp/NuttPS13
%A Nutt, Werner
%A Paramonov, Sergey
%A Savkovic, Ognjen
%D 2013
%J Theory Pract. Log. Program.
%K dblp
%N 4-5-Online-Supplement
%T An ASP Approach to Query Completeness Reasoning.
%U http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#NuttPS13
%V 13
@article{journals/tplp/NuttPS13,
added-at = {2020-02-13T00:00:00.000+0100},
author = {Nutt, Werner and Paramonov, Sergey and Savkovic, Ognjen},
biburl = {https://www.bibsonomy.org/bibtex/2b8ff98b65aa7b38934d5d0c9e0519f80/dblp},
ee = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013005.pdf},
interhash = {10ffeaabe2d73cc850cb8b2fc8e4cc5e},
intrahash = {b8ff98b65aa7b38934d5d0c9e0519f80},
journal = {Theory Pract. Log. Program.},
keywords = {dblp},
number = {4-5-Online-Supplement},
timestamp = {2020-02-14T11:43:39.000+0100},
title = {An ASP Approach to Query Completeness Reasoning.},
url = {http://dblp.uni-trier.de/db/journals/tplp/tplp13.html#NuttPS13},
volume = 13,
year = 2013
}