ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights.

Didier Dubois, Jérôme Lang, Henri Prade: Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights. IEEE Trans. Knowl. Data Eng. 6(1): 64-71(1994)
@article{DBLP:journals/tkde/DuboisLP94,
  author    = {Didier Dubois and
               J{\'e}r{\^o}me Lang and
               Henri Prade},
  title     = {Automated Reasoning Using Possibilistic Logic: Semantics, Belief
               Revision, and Variable Certainty Weights},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {1},
  year      = {1994},
  pages     = {64-71},
  ee        = {db/journals/tkde/DuboisLP94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

[1]
...
[2]
Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX
[3]
...
[4]
Didier Dubois, Jérôme Lang, Henri Prade: Theorem Proving Under Uncertainty - A Possibility Theory-based Approach. IJCAI 1987: 984-986 BibTeX
[5]
Didier Dubois, Jérôme Lang, Henri Prade: Towards Possibilistic Logic Programming. ICLP 1991: 581-595 BibTeX
[6]
...
[7]
...
[8]
...
[9]
...
[10]
...
[11]
...
[12]
Didier Dubois, Henri Prade: Epistemic Entrenchment and Possibilistic Logic. Artif. Intell. 50(2): 223-239(1991) BibTeX
[13]
Didier Dubois, Henri Prade: Possibilistic Logic, Preferential Models, Non-monotonicity and Related Issues. IJCAI 1991: 419-425 BibTeX
[14]
Didier Dubois, Henri Prade, Claudette Testemale: In Search of a Modal System for Possibility Theory. ECAI 1988: 501-506 BibTeX
[15]
...
[16]
...
[17]
...
[18]
...
[19]
Chris J. Hinde: Fuzzy Prolog. International Journal of Man-Machine Studies 24(6): 569-595(1986) BibTeX
[20]
Mitsuru Ishizuka, Naoki Kanai: Prolog-ELF Incorporating Fuzzy Logic. IJCAI 1985: 701-703 BibTeX
[21]
...
[22]
...
[23]
Richard C. T. Lee: Fuzzy Logic and the Resolution Principle. J. ACM 19(1): 109-119(1972) BibTeX
[24]
...
[25]
...
[26]
Nils J. Nilsson: Probabilistic Logic. Artif. Intell. 28(1): 71-87(1986) BibTeX
[27]
...
[28]
...
[29]
Ehud Y. Shapiro: Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. IJCAI 1983: 529-532 BibTeX
[30]
...
[31]
...
[32]
...
[33]
Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3(1): 37-53(1986) BibTeX
[34]
...
[35]
...
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:58 2009