ML Anthology

Axiom Schemata as Metalevel Axioms: Model Theory

Timothy L. Hinrichs, Michael R. Genesereth
AAAI 2005 pp. 294-299
/aaai/2005/hinrichs2005aaai-axiom/
PDF AAAI Semantic Scholar

Cite

Text

Hinrichs and Genesereth. "Axiom Schemata as Metalevel Axioms: Model Theory." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Hinrichs and Genesereth. "Axiom Schemata as Metalevel Axioms: Model Theory." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/hinrichs2005aaai-axiom/)

BibTeX

@inproceedings{hinrichs2005aaai-axiom,
  title     = {{Axiom Schemata as Metalevel Axioms: Model Theory}},
  author    = {Hinrichs, Timothy L. and Genesereth, Michael R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {294-299},
  url       = {https://mlanthology.org/aaai/2005/hinrichs2005aaai-axiom/}
}