An Alternative Proof Method for Possibilistic Logic and Its Application to Terminological Logics

Hollunder. "An Alternative Proof Method for Possibilistic Logic and Its Application to Terminological Logics." Conference on Uncertainty in Artificial Intelligence, 1994. doi:10.1016/0888-613X(94)00015-U

[Hollunder. "An Alternative Proof Method for Possibilistic Logic and Its Application to Terminological Logics." Conference on Uncertainty in Artificial Intelligence, 1994.](https://mlanthology.org/uai/1994/hollunder1994uai-alternative/) doi:10.1016/0888-613X(94)00015-U

@inproceedings{hollunder1994uai-alternative,
  title     = {{An Alternative Proof Method for Possibilistic Logic and Its Application to Terminological Logics}},
  author    = {Hollunder, Bernhard},
  booktitle = {Conference on Uncertainty in Artificial Intelligence},
  year      = {1994},
  pages     = {327-335},
  doi       = {10.1016/0888-613X(94)00015-U},
  url       = {https://mlanthology.org/uai/1994/hollunder1994uai-alternative/}
}