## Logic Programming and Knowledge Representation (1994)

### Cached

### Download Links

- [ebusiness.mit.edu]
- [www.cs.utep.edu]
- [ftp.ms.uky.edu]
- [cs.utep.edu]
- DBLP

### Other Repositories/Bibliography

by
Chitta Baral
,
Michael Gelfond

Venue: | Journal of Logic Programming |

Citations: | 224 - 21 self |

### BibTeX

@ARTICLE{Baral94logicprogramming,

author = {Chitta Baral and Michael Gelfond},

title = {Logic Programming and Knowledge Representation},

journal = {Journal of Logic Programming},

year = {1994},

volume = {19},

pages = {73--148}

}

### Years of Citing Articles

### OpenURL

### Abstract

In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten- sions of the language of definite logic programs by classical (strong) negation, disjunc- tion, and some modal operators and show how each of the added features extends the representational power of the language.