ML Anthology

Formal Grammars as Models of Logic Derivations

Sharon Sickel
IJCAI 1977 pp. 544-551
/ijcai/1977/sickel1977ijcai-formal/

Abstract

Context-free attribute grammars are proposed as derivational models for proofs in the predicate calculus. The new representation is developed and its correspondence to resolution-based clause interconnectivity graphs is established. The new representation may be used to transform a predicate calculus characterization of a problem into a regular algebra characterization of the solutions.

PDF Semantic Scholar

Cite

Text

Sickel. "Formal Grammars as Models of Logic Derivations." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Sickel. "Formal Grammars as Models of Logic Derivations." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/sickel1977ijcai-formal/)

BibTeX

@inproceedings{sickel1977ijcai-formal,
  title     = {{Formal Grammars as Models of Logic Derivations}},
  author    = {Sickel, Sharon},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {544-551},
  url       = {https://mlanthology.org/ijcai/1977/sickel1977ijcai-formal/}
}