Embedding negation as failure into a model generation theorem prover

DOI10.1007/3-540-55602-8_180MaRDI QIDQ4264729zbMATH OpenFDO

Authors Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa

Publication date 10 October 1999

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

Full work available at URL https://doi.org/10.1007/3-540-55602-8_180

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited in

(5)

• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• MGTP: a model generation theorem prover. Its advanced features and applications
• Minimal model generation with positive unit hyper-resolution tableaux
• A tableau calculus for minimal model reasoning
• Prolegomena to logic programming for non-monotonic reasoning

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: Embedding negation as failure into a model generation theorem prover

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