Parsing as non-Horn deduction

DOI10.1016/0004-3702(93)90018-7MaRDI QIDQ688151zbMATH OpenOpenAlexFDO

Authors Edward P. jun. Stabler

Publication date 20 December 1993

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(93)90018-7

zbMATH Keywords

Horn clauselogic programming techniques

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of compilers and interpreters (68N20) Natural language processing (68T50)

Recommendations

• A formal grammatical model of the resolution method for the propositional calculus
• scientific article; zbMATH DE number 1292286
• scientific article; zbMATH DE number 4092826
• scientific article; zbMATH DE number 1090102
• Negation and minimality in disjunctive databases
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Intelligent Backtracking in Plan-Based Deduction
• My work with Victor Marek: a mathematician looks at answer set programming
• scientific article; zbMATH DE number 1200168
• An overview of nonmonotonic reasoning and logic programming

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3986671 (Why is no real title available?)
• scientific article; zbMATH DE number 4061192 (Why is no real title available?)
• scientific article; zbMATH DE number 4092826 (Why is no real title available?)
• scientific article; zbMATH DE number 4092827 (Why is no real title available?)
• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3615891 (Why is no real title available?)
• scientific article; zbMATH DE number 494927 (Why is no real title available?)
• scientific article; zbMATH DE number 194631 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3257407 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Automatic Theorem Proving With Renamable and Semantic Resolution
• Consistency in networks of relations
• Deduction in non-Horn databases
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• Equality and Domain Closure in First-Order Databases
• Extracting Information from Logical Proofs
• HORNLOG: A graph-based interpreter for general Horn clauses
• Inferring negative information from disjunctive databases
• Near-Horn prolog and beyond
• Semantics of Horn and disjunctive logic programs
• The logic of constraint satisfaction
• Theorem-Proving for Computers: Some Results on Resolution and Renaming
• Weak generalized closed world assumption

Cited in

(7)

• Applying SLD-Resolution to a Class of Non-Horn Logic Programs
• Parsing with derivatives
• scientific article; zbMATH DE number 4092826 (Why is no real title available?)
• Non-Horn clause logic programming
• Parsing MELL proof nets
• An unrealistic parser
• Deduction in non-Horn databases

Describes a project that uses

Uses Software

• Hornlog

This page was built for publication: Parsing as non-Horn deduction

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