Taxonomic syntax for first order inference

DOI10.1145/151261.151264MaRDI QIDQ5286163zbMATH OpenOpenAlexFDO

Authors David Allen McAllester, Robert L. Givan

Publication date 29 June 1993

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1721.1/6507

zbMATH Keywords

automated reasoningcomputational logicdeductioninference rulesmachine inferencemechanical theorem provingmechanical verificationpolynomial time algorithmsproof systemsproof theory

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4166926
• Natural language syntax and first-order inference
• A first-order inquisitive semantics
• Inductive inference in the limit for first-order sentences
• First order languages: further syntax and semantics
• scientific article; zbMATH DE number 67794

Cited in

(8)

• Set containment inference and syllogisms
• Natural language syntax and first-order inference
• Limited reasoning in first-order knowledge bases
• Tarskian set constraints
• scientific article; zbMATH DE number 4166926 (Why is no real title available?)
• Socratic trees
• Inferring program specifications in polynomial-time
• Automatic recognition of tractability in inference relations

This page was built for publication: Taxonomic syntax for first order inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5286163)