Imperial College London
Dr Fariba Sadri

DrFaribaSadri

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Kowalski:1991:10.1007/BF03037170,
author = {Kowalski, RA and Sadri, F},
doi = {10.1007/BF03037170},
journal = {New Generation Computing},
pages = {387--400},
title = {Logic programs with exceptions},
url = {http://dx.doi.org/10.1007/BF03037170},
volume = {9},
year = {1991}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We extend logic programming to deal with default reasoning by allowing the explicit representation of exceptions in addition to general rules. To formalise this extension, we modify the answer set semantics of Gelfond and Lifschitz, which allows both classical negation and negation as failure. We also propose a transformation which eliminates exceptions by using negation by failure. The transformed program can be implemented by standard logic programming methods, such as SLDNF. The explicit representation of rules and exceptions has the virtue of greater naturalness of expression. The transformed program, however, is easier to implement. © 1991 Ohmsha, Ltd. and Springer.
AU  - Kowalski,RA
AU  - Sadri,F
DO  - 10.1007/BF03037170
EP  - 400
PY  - 1991///
SN  - 0288-3635
SP  - 387
TI  - Logic programs with exceptions
T2  - New Generation Computing
UR  - http://dx.doi.org/10.1007/BF03037170
VL  - 9
ER  -
Download