SIGN IN
SIGN UP
The DLV system for knowledge representation and reasoning
Full Text:
PDF
Buy this Article
Authors:
Nicola Leone
University of Calabria, Rende (CS), Italy
Gerald Pfeifer
Technische Universität Wien, Vienna, Austria
Wolfgang Faber
Technische Universität Wien, Vienna, Austria
Thomas Eiter
Technische Universität Wien, Vienna, Austria
Georg Gottlob
Technische Universität Wien, Vienna, Austria
Simona Perri
University of Calabria, Rende (CS), Italy
Francesco Scarcello
University of Calabria, Rende (CS), Italy
2006 Article
Bibliometrics
· Downloads (6 Weeks): 14
· Downloads (12 Months): 167
· Citation Count: 209
Published in:
· Journal
ACM Transactions on Computational Logic (TOCL)
TOCL Homepage
archive
Volume 7 Issue 3, July 2006
ACM
New York, NY
, USA
table of contents
doi>
10.1145/1149114.1149117
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
algorithms
answer sets
computational complexity
implementation
knowledge representation
nonmonotonic reasoning
nonmonotonic reasoning and belief revision
performance
representation languages
representations
stable models
theory
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder