Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792MaRDI QIDQ5424892zbMATH OpenOpenAlexFDO

Authors Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran

Publication date 7 November 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94792

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• An approach to natural-language semantics in logic programming
• A framework for linguistic logic programming
• scientific article; zbMATH DE number 752501
• Possibilistic nested logic programs
• scientific article; zbMATH DE number 826299
• Nested expressions in logic programs
• Natural Language Processing Using Lexical and Logical Combinators
• scientific article; zbMATH DE number 43016

Cited in

(6)

• scientific article; zbMATH DE number 2090542 (Why is no real title available?)
• Normal form nested programs
• Normal Form Nested Programs
• scientific article; zbMATH DE number 782027 (Why is no real title available?)
• Equilibrium logic
• Possibilistic nested logic programs and strong equivalence

Describes a project that uses

Uses Software

• GNT

This page was built for publication: Logic Programming and Nonmonotonic Reasoning

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