An Operational Semantics for Knowledge Bases

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

AAAI 1994 pp. 1142-1147

/aaai/1994/fagin1994aaai-operational/

Cite

Text

Fagin et al. "An Operational Semantics for Knowledge Bases." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Fagin et al. "An Operational Semantics for Knowledge Bases." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/fagin1994aaai-operational/)

BibTeX

@inproceedings{fagin1994aaai-operational,
  title     = {{An Operational Semantics for Knowledge Bases}},
  author    = {Fagin, Ronald and Halpern, Joseph Y. and Moses, Yoram and Vardi, Moshe Y.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {1142-1147},
  url       = {https://mlanthology.org/aaai/1994/fagin1994aaai-operational/}
}