A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
An overview of nonmonotonic reasoning and logic programming

1993
*
The Journal of Logic Programming
*

Work

doi:10.1016/0743-1066(93)90028-f
fatcat:zs5h4ximffdfvapevyr6rvs4fm
*in**logic**programming**and**nonmonotonic**reasoning*deals with the handling of*negation*. We consider two types of*negation**in**logic**programs*:*negation*by rules of default*and**logical**negation*. ... I then provide a summary which includes an assessment of the field*and*what must be done to further research*in**nonmonotonic**reasoning**and**logic**programming*. a INTRODUCTION*Classical**logic*has played ...##
###
Guest editor's introduction

1993
*
The Journal of Logic Programming
*

*Logic*

*programs*, however, do not use

*classical*

*logical*

*negation*, but instead rely on a

*nonmonotonic*operator, often referred to as

*negation*by failure or

*negation*by default. ...

*nonmonotonic*

*reasoning*,

*and*hopefully, towards the eventual discovery of deeper underlying principles of

*nonmonotonic*

*reasoning*

*and*

*logic*

*programming*. ...

##
###
Answer Set Programming and S4
[chapter]

2004
*
Lecture Notes in Computer Science
*

We even consider the use of multimodal

doi:10.1007/978-3-540-30498-2_36
fatcat:nhebklhqrzdnjbfppy6jj6uz7q
*logics**in*order to model a scenario where several agents can*reason*about the knowledge*and*beliefs of each other. ... We present a proposal on how to develop*nonmonotonic**reasoning*based on the modal*logic*S4. ... Restoring*Classical**Negation*We will now show how to restore the use of*classical**negation**in*our*logic**programs*. ...##
###
Page 5538 of Mathematical Reviews Vol. , Issue 95i
[page]

1995
*
Mathematical Reviews
*

Shvarts [

*in**Logic**programming**and**nonmonotonic**reasoning*(Lisbon, 1993 ), 101-114, MIT Press, Cambridge, MA, 1993; MR 95i:68022]*and*V. Marek*and*M. ... When Gelfond*and*Lifs- chitz extended this work to*programs*with*classical**negation*, they used default*logic*, because it was not clear whether autoepistemic*logic*could be applied*in*that wider domain. ...##
###
Page 2750 of Mathematical Reviews Vol. , Issue 99d
[page]

1991
*
Mathematical Reviews
*

”

*negation**in**nonmonotonic**reasoning**and**logic**programming*. ... Summary: “Gelfond*and*Lifschitz were the first to point out the need for a symmetric*negation**in**logic**programming**and*they also proposed a specific semantics for such*negation*for*logic**programs*with ...##
###
Page 448 of Mathematical Reviews Vol. , Issue 92a
[page]

1992
*
Mathematical Reviews
*

*Logic*

*programming*handles

*negation*through the so-called ‘

*negation*as failure’ inference principle, which is rather unconventional from the viewpoint of

*classical*

*logic*. ... {For the entire collection see MR 91k:68012.} 92a:68136 68T27 68Q55 Marek, Wiktor (1-K Y-C); Subrahmanian, V.S. (1-SRCS-C) The relationship between

*logic*

*program*semantics

*and*

*nonmonotonic*

*reasoning*. ...

##
###
Stable inference as intuitionistic validity

1999
*
The Journal of Logic Programming
*

The paper characterises the

doi:10.1016/s0743-1066(98)10015-8
fatcat:yn4usv7conburpzrwgni7ta5si
*nonmonotonic*inference relation associated with the stable model semantics for*logic**programs*as follows: a formula is entailed by a*program**in*the stable model semantics if ...*and*only if it belongs to every intuitionisticaily complete*and*consistent extension of the*program*formed by adding only*negated*atoms. ... It has been shown to be closely related to Reiter's default*logic*[8] , to Moore's autoepistemic*logic**and*to other systems of*nonmonotonic**reasoning*(see e.g. ...##
###
Page 1471 of Mathematical Reviews Vol. , Issue 2001C
[page]

2001
*
Mathematical Reviews
*

Makinson,

*in*Hand- book of*logic**in*artificial intelligence*and**logic**programming*, Vol. 3, 35-110, Oxford Univ. Press, New York, 1994; MR 95i:68124]*and**classical*default*logic**in*particular [D. L. ... “This work extends*and*complements other handbook articles on*nonmonotonic**reasoning**in*general [D. ...##
###
Page 6975 of Mathematical Reviews Vol. , Issue 96k
[page]

1996
*
Mathematical Reviews
*

Extended

*logic**programs**and*related*nonmonotonic*formalisms. (English summary)*Logic**programming**and**nonmonotonic**reasoning*(Lisbon, 1993), 457-475, MIT Press, Cambridge, MA, 1993. ...*In*addition, we use this result to relate answer sets to two of the best-known*nonmonotonic*formalisms developed*in*AI, namely default theory*and**nonmonotonic*modal*logic*. ...##
###
Belief, provability, and logic programs

1995
*
Journal of Applied Non-Classical Logics
*

*In*particular we present here, for the first time, embeddings into epistemic

*logic*of

*logic*

*programs*extended with a second kind of

*negation*under the wellfounded semantics,

*and*contrast them to the recent ... The main goal of this paper is to establish a

*nonmonotonic*epistemic

*logic*with two modalities -provability

*and*belief -capable of expressing

*and*comparing a variety of known semantics for extended

*logic*... Acknowledgments We acknowledge Esprit BRA Compulog 2 (no. 6810),

*and*JNICT -Portugal for their support. Thanks to Carlos Damásio

*and*Teodor Przymusinski for helpful discussions. ...

##
###
Page 3856 of Mathematical Reviews Vol. , Issue 98F
[page]

1998
*
Mathematical Reviews
*

The example

*program*uses*negation*as failure*and*backtracking*in*a non-trivial way*and*is therefore a typical Prolog*program*.” ... Such an observation is signifi- cant for*nonmonotonic**reasoning*, but none of the major current semantics for disjunctive*logic**programs*is able to support it be- cause they are all based on*classical*first-order ...##
###
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
[article]

2011
*
arXiv
*
pre-print

*logic*

*programming*. ... We discuss the evolution of aspects of

*nonmonotonic*

*reasoning*towards the computational paradigm of answer-set

*programming*(ASP). ... This

*nonmonotonic*aspect of the

*negation*operator

*in*

*logic*

*programming*was also a complicating factor

*in*the effort to find a single intended model of

*logic*

*programs*with

*negation*. ...

##
###
Nonmonotonic Reasoning in FLORA-2
[chapter]

2005
*
Lecture Notes in Computer Science
*

*In*this paper we give an overview of the theoretical foundations of the system

*and*of some of the aspects of

*nonmonotonic*

*reasoning*

*in*FLORA-2. ... F-

*logic*comes

*in*two flavors: the firstorder flavor

*and*the

*logic*

*programming*flavor. The first-order flavor of F-

*logic*can be viewed as a syntactic variant of

*classical*

*logic*[20] . ... Database Dynamics

*and*

*Nonmonotonicity*

*In*[5] , a generalization of the perfect-model semantics was defined for Transaction

*Logic*

*programs*with

*negation*

*in*the rule body. ...

##
###
Page 401 of Mathematical Reviews Vol. , Issue 93a
[page]

1993
*
Mathematical Reviews
*

It is shown that the principle not only enables us to represent

*classical**negation**in*the spirit of Minker’s disjunctive*logic**programming*paradigm, but it also allows us to represent*and**reason*directly ... “*Classical**logic**programs*with*negation*by failure are special cases of OL theories. ...##
###
Page 6223 of Mathematical Reviews Vol. , Issue 95j
[page]

1995
*
Mathematical Reviews
*

M. (4-LNDIC; London)

*Classical*vs. non-*classical**logics*(the universality of*classical**logic*). Handbook of*logic**in*artificial intelligence*and**logic**programming*, Vol. 2, 359-500, Oxford Sci. ... Handbook of*logic**in*artificial intelligence*and**logic**programming*, Vol. 3, 111-187, Oxford Sci. Publ., Oxford Univ. Press, New York, 1994. ...
« Previous

*Showing results 1 — 15 out of 2,083 results*