DMCA
Paraconsistent Declarative Semantics for Extended Logic Programs (2002)
Cached
Download Links
- [www.cs.kuleuven.ac.be]
- [www.cs.kuleuven.be]
- [www.cs.kuleuven.ac.be]
- DBLP
Other Repositories/Bibliography
by
Ofer Arieli
| Venue: | Annals of Mathematics and Artificial Intelligence |
| Citations: | 20 - 3 self |
BibTeX
@ARTICLE{Arieli02paraconsistentdeclarative,
author = {Ofer Arieli},
title = {Paraconsistent Declarative Semantics for Extended Logic Programs},
journal = {Annals of Mathematics and Artificial Intelligence},
year = {2002},
volume = {36},
pages = {381--417}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We introduce a fixpoint semantics for logic programs with two kinds of negation:...
