A Decidable First-Order Logic for Knowledge Representation

IJCAI 1985 pp. 455-458

doi:10.1007/BF00244354 /ijcai/1985/patelschneider1985ijcai-decidable/

Cite

Text

Patel-Schneider. "A Decidable First-Order Logic for Knowledge Representation." International Joint Conference on Artificial Intelligence, 1985. doi:10.1007/BF00244354

Markdown

[Patel-Schneider. "A Decidable First-Order Logic for Knowledge Representation." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/patelschneider1985ijcai-decidable/) doi:10.1007/BF00244354

BibTeX

@inproceedings{patelschneider1985ijcai-decidable,
  title     = {{A Decidable First-Order Logic for Knowledge Representation}},
  author    = {Patel-Schneider, Peter F.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {455-458},
  doi       = {10.1007/BF00244354},
  url       = {https://mlanthology.org/ijcai/1985/patelschneider1985ijcai-decidable/}
}