We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guarding knowledge representation mechanisms such as negation as failure and inequalities. Reasoning with the resulting extende
The semantics of answer literals
โ Scribed by Kenneth Kunen
- Publisher
- Springer Netherlands
- Year
- 1996
- Tongue
- English
- Weight
- 696 KB
- Volume
- 17
- Category
- Article
- ISSN
- 0168-7433
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The Semantic Web lacks support for explaining answers from web applications. When applications return answers, many users do not know what information sources were used, when they were updated, how reliable the source was, or what information was looked up versus derived. Many users also do not know
As the Internet grows, it becomes essential to find efficient tools to deal with all the available information. Question answering (QA) and text summarization (TS) research fields focus on presenting the information requested by users in a more concise way. In this paper, the appropriateness and ben
This paper discusses the issues involved in designing a query language for the Semantic Web and presents the OWL query language (OWL-QL) as a candidate standard language and protocol for query-answering dialogues among Semantic Web computational agents using knowledge represented in the W3Cs ontolog
The battle is still raging, and it's out-and-out war. Jake and the other Animorphs have found a way to slow the Yeerks down, but now the Yeerks have decided the best way to win is to just destroy everything and everyone who gets in their way. Just when things look hopeless, Jake and the others dis