Logic Programming and Nonmonotonic Reasoning

DOI10.1007/11546207zbMATH Open1152.68404OpenAlexW4376598721MaRDI QIDQ5473995FDOQ5473995

Patrick Traxler, Wolfgang Faber, Thomas Eiter

Publication date: 23 June 2006

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (3)

• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
• Strongly Equivalent Temporal Logic Programs

Uses Software

• Datalog

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 Q5473995)