Taxonomic Syntax for First Order Inference
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

David A. McAllester, Robert Givan, Tanveer Fatima
Taxonomic Syntax for First Order Inference
KR, 1989.

KR 1989
DBLP
Scholar
Full names Links ISxN
@inproceedings{KR-1989-McAllesterGF,
	author        = "David A. McAllester and Robert Givan and Tanveer Fatima",
	booktitle     = "{Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning}",
	isbn          = "1-55860-032-9",
	pages         = "289--300",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Taxonomic Syntax for First Order Inference}",
	year          = 1989,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.