About: Reference: first-order inference rules
Metadata
| Name: | Reference: first-order inference rules |
| ID: | m11046 |
| Language: | English (en) |
| Summary: | |
| Subject: | Science and Technology |
| Keywords: | |
| Document Type: | -//CNX//DTD CNXML 0.5 plus MathML//EN |
| License: | Creative Commons Attribution License CC-BY 1.0 |
|
|
|
| Authors: | John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Copyright Holders: | John Greiner (greiner@cs.rice.edu), Phokion Kolaitis (kolaitis@cse.ucsc.edu), Moshe Vardi (vardi@cs.rice.edu), Matthias Felleisen (matthias@ccs.neu.edu) |
| Maintainers: | Ian Barland (ibarland@radford.edu), John Greiner (greiner@cs.rice.edu) |
|
|
|
| Latest version: | 2.18 (history) |
| First publication date: | Feb 11, 2003 12:00 am US/Central |
| Last revision to module: | Feb 9, 2006 2:41 pm US/Central |
|
|
|
| Module XML: | m11046_2.18.cnxml |
Version History
| Version: | 2.18 Feb 9, 2006 2:41 pm US/Central by John Greiner |
| Changes: | Changed substitution notation. |
|
|
|
| Version: | 2.17 Mar 10, 2005 4:04 pm US/Central by Ian Barland |
| Changes: | Updated roles, metadata. |
|
|
|
| Version: | 2.16 Feb 11, 2005 2:01 am US/Central by Ian Barland |
| Changes: | patched def'n of arbitrary |
|
|
|
| Version: | 2.15 Aug 11, 2004 11:04 am GMT-5 by Sarah Trowbridge |
| Changes: | uploaded correct copy |
|
|
|
| Version: | 2.14 Aug 9, 2004 3:22 pm GMT-5 by Sarah Trowbridge |
| Changes: | updating tables |
|
|
|
| Version: | 2.13 Aug 9, 2004 3:11 pm GMT-5 by Fuching Chi |
| Changes: | final publish |
|
|
|
| Version: | 2.12 Aug 3, 2004 11:47 am GMT-5 by Sarah Trowbridge |
| Changes: | new name |
|
|
|
| Version: | 2.11 Aug 2, 2004 11:39 am GMT-5 by Sarah Trowbridge |
| Changes: | reorganization |
|
|
|
| Version: | 2.10 May 28, 2004 1:47 pm GMT-5 by Ian Barland |
| Changes: | Added Bryan Cash as a maintainer. |
|
|
|
| Version: | 2.9 May 14, 2004 1:45 pm GMT-5 by Ian Barland |
| Changes: | Sarah added as maintainer |
|
|
|
| Version: | 2.8 Mar 15, 2004 3:52 pm US/Central by Ian Barland |
| Changes: | updated roles |
|
|
|
| Version: | 2.7 Feb 25, 2004 12:41 am US/Central by Ian Barland |
| Changes: | Clarified some rules; added link. |
|
|
|
| Version: | 2.6 Feb 3, 2004 9:53 am US/Central by Ian Barland |
| Changes: | 2004.spring change "exists" to &exists; |
|
|
|
| Version: | 2.5 Feb 3, 2004 9:49 am US/Central by Ian Barland |
| Changes: | Updated for 2004.spring (possibly no changes.) |
|
|
|
| Version: | 2.4 Mar 20, 2003 12:00 am US/Central by Justin Garcia |
| Changes: | Sample text |
|
|
|
| Version: | 2.3 Mar 20, 2003 12:00 am US/Central by Justin Garcia |
| Changes: | Sample text |
|
|
|
| Version: | 2.2 Mar 16, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.1 Feb 13, 2003 12:00 am US/Central by Ian Barland |
| Changes: | Sample text |
|
|
|
| Version: | 2.0 Feb 11, 2003 12:00 am US/Central by Ian Barland |
| Changes: | removed m:apply of quantifiers :-( |
How to Reuse and Attribute This Content
If you derive a copy of this content using a Connexions account and publish your version, proper attribution of the original work will be automatically done for you.
If you reuse this work elsewhere, in order to comply with the attribution requirements of the license (CC-BY 1.0), you must include
- the authors' names: John Greiner, Phokion Kolaitis, Moshe Vardi, Matthias Felleisen
- the title of the work: Reference: first-order inference rules
- the Connexions URL where the work can be found: http://cnx.org/content/m11046/2.18/
See the citation section below for examples you can copy.
How to Cite and Attribute This Content
The following citation styles comply with the attribution requirements for the license (CC-BY 1.0) of this work:
American Chemical Society (ACS) Style Guide:
Greiner, J.; Kolaitis, P.; Vardi, M.; Felleisen, M. Reference: first-order inference rules, Connexions Web site. http://cnx.org/content/m11046/2.18/, Feb 9, 2006.
American Medical Assocation (AMA) Manual of Style:
Greiner J, Kolaitis P, Vardi M, Felleisen M. Reference: first-order inference rules [Connexions Web site]. February 9, 2006. Available at: http://cnx.org/content/m11046/2.18/.
American Psychological Assocation (APA) Publication Manual:
Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. (2006, February 9). Reference: first-order inference rules. Retrieved from the Connexions Web site: http://cnx.org/content/m11046/2.18/
Chicago Manual of Style (Bibliography):
Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. "Reference: first-order inference rules." Connexions. February 9, 2006. http://cnx.org/content/m11046/2.18/.
Chicago Manual of Style (Note):
John Greiner and others, "Reference: first-order inference rules," Connexions, February 9, 2006, http://cnx.org/content/m11046/2.18/.
Chicago Manual of Style (Reference, in Author-Date style):
Greiner, J., Kolaitis, P., Vardi, M., & Felleisen, M. 2006. Reference: first-order inference rules. Connexions, February 9, 2006. http://cnx.org/content/m11046/2.18/.
Modern Languages Association (MLA) Style Manual:
Greiner, John, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen. Reference: first-order inference rules. Connexions. 9 Feb. 2006 <http://cnx.org/content/m11046/2.18/>.
Footer
More about this content: Metadata | Version History
This work is licensed by John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0), and is an Open Educational Resource.
Last edited by John Greiner on Feb 9, 2006 2:41 pm US/Central.