Non-standard logics for automated reasoning

@inproceedings{Smets1988NonstandardLF,
  title={Non-standard logics for automated reasoning},
  author={Philippe Smets},
  year={1988}
}
A critical presentation providing depth and breadth of insight into the applicability of non-standard or exotic logics for the computational encoding of commonsense knowledge and inference logics. Three appendices provide short tutorials on classical logic and modal logics, and give a brief introdu 

Citations

Publications citing this paper.
SHOWING 1-10 OF 132 CITATIONS, ESTIMATED 91% COVERAGE

Generalized Dempster–Shafer Structures

  • IEEE Transactions on Fuzzy Systems
  • 2019
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Maxitive Belief Structures and Imprecise Possibility Distributions

  • IEEE Transactions on Fuzzy Systems
  • 2017
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Using Dempster-Shafer Theory to Fuse Multiple Information Sources in Region-Based Segmentation

  • 2007 IEEE International Conference on Image Processing
  • 2007
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On the complexity of belief network synthesis and refinement

  • Int. J. Approx. Reasoning
  • 1992
VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Inexpensive Fusion Methods for Enhancing Feature Detection

  • 2007 International Workshop on Content-Based Multimedia Indexing
  • 2007
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Inexpensive fusion methods for enhancing feature detection

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Organising a photograph collection based on human appearance

VIEW 4 EXCERPTS
CITES METHODS & RESULTS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1989
2019

CITATION STATISTICS

  • 13 Highly Influenced Citations