ML Anthology

Decidability of Contextual Reasoning

Vanja Buvac
AAAI 1994 pp. 1430
/aaai/1994/buvac1994aaai-decidability/

Abstract

this paper is to show that propositional contextual reasoning is decidable. Propositional logic of context extends classical propositional logic with a new modality, ist(c; OE), used to express that the sentence, OE, is true in the context

PDF AAAI Semantic Scholar

Cite

Text

Buvac. "Decidability of Contextual Reasoning." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Buvac. "Decidability of Contextual Reasoning." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/buvac1994aaai-decidability/)

BibTeX

@inproceedings{buvac1994aaai-decidability,
  title     = {{Decidability of Contextual Reasoning}},
  author    = {Buvac, Vanja},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {1430},
  url       = {https://mlanthology.org/aaai/1994/buvac1994aaai-decidability/}
}