Open AccessProceedings Article
Logic programs with classical negation
Michael Gelfond,Vladimir Lifschitz +1 more
- pp 579-597
Reads0
Chats0
About:
This article is published in International Conference on Lightning Protection.The article was published on 1990-05-01 and is currently open access. It has received 602 citations till now. The article focuses on the topics: Negation & Predicate functor logic.read more
Citations
More filters
Posted Content
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
TL;DR: In this paper, the authors describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior.
Journal ArticleDOI
On Resolving Ambiguous Anaphoric Expressions in Imperative Discourse.
Vasanth Sarathy,Matthias Scheutz +1 more
TL;DR: A general class of situated anaphora resolution problems are introduced, a proof-of-concept system for disambiguating situated pronouns is proposed, and some general types of reasoning that might be needed are discussed.
Book ChapterDOI
A Granularity-Based Framework of Reasoning
TL;DR: This chapter presents a granularity-based framework of deduction, induction, and abduction using variable precision rough set models proposed by Ziarko and measure-based semantics for modal logic proposed by Murai et al.
Journal ArticleDOI
Extended RDF as a Semantic Foundation of Rule Markup Languages
TL;DR: In this paper, the authors extend RDF graphs with weak and strong negation, as well as derivation rules, and define the ERDF stable model semantics of the extended framework (Extended RDF).