FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

doi:10.1145/1656242.1656249

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols

Full Text:

PDF

Buy this Article

see source materials below for more options

Authors:	Thomas Eiter	Technische Universität Wien, Vienna, Austria
	Mantas Šimkus	Technische Universität Wien, Vienna, Austria

Published in:

	· Journal
	ACM Transactions on Computational Logic (TOCL) TOCL Homepage archive
	Volume 11 Issue 2, January 2010 Article No. 14 ACM New York, NY, USA table of contents doi>10.1145/1656242.1656249

	2010 Article Research Refereed
Bibliometrics
· Downloads (6 Weeks): 1 · Downloads (12 Months): 25 · Downloads (cumulative): 175 · Citation Count: 9

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Tags: answer set programming answer/reason extraction computational complexity computational logic description logics function symbols inference engines knowledge compilation languages logic programming nonmonotonic logic programs nonmonotonic reasoning and belief revision predicate logic reasoning about actions representation languages theory

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player