Parsing as non-Horn deduction
From MaRDI portal
Publication:688151
DOI10.1016/0004-3702(93)90018-7zbMATH Open0809.68080OpenAlexW2089338354MaRDI QIDQ688151FDOQ688151
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
Artificial intelligence (68T99) Theory of compilers and interpreters (68N20) Natural language processing (68T50)
Cites Work
- HORNLOG: A graph-based interpreter for general Horn clauses
- Consistency in networks of relations
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Machine-Oriented Logic Based on the Resolution Principle
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic Theorem Proving With Renamable and Semantic Resolution
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deduction in non-Horn databases
- Title not available (Why is that?)
- The logic of constraint satisfaction
- Title not available (Why is that?)
- 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
- Semantics of Horn and disjunctive logic programs
- Inferring negative information from disjunctive databases
- Weak generalized closed world assumption
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Extracting Information from Logical Proofs
- Title not available (Why is that?)
- Theorem-Proving for Computers: Some Results on Resolution and Renaming
- Title not available (Why is that?)
- Near-Horn prolog and beyond
Cited In (5)
Uses Software
Recommendations
- A formal grammatical model of the resolution method for the propositional calculus π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- Title not available (Why is that?) π π
- 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 π π
- Title not available (Why is that?) π π
- An overview of nonmonotonic reasoning and logic programming π π
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)