Logic Programming and Nonmonotonic Reasoning

DOI10.1007/B94792zbMATH Open1122.68390OpenAlexW4214677882MaRDI QIDQ5424892FDOQ5424892

Stefan Woltran, Torsten Schaub, Vladimir Sarsakov, Hans Tompits

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)

Cited In (3)

• Possibilistic nested logic programs and strong equivalence
• Equilibrium logic
• Title not available (Why is that?)

Uses Software

• GNT

Recommendations

• Nested expressions in logic programs 👍 👎
• A framework for linguistic logic programming 👍 👎
• An approach to natural-language semantics in logic programming 👍 👎
• Natural Language Processing Using Lexical and Logical Combinators 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)