A first-order theory of communicating first-order formulas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationNinth international conference on knowledge representation and reasoning
Pages235-245
StatePublished - 2004

Cite this

Davis, E. (2004). A first-order theory of communicating first-order formulas. In Ninth international conference on knowledge representation and reasoning (pp. 235-245)