Embedding negation as failure into a model generation theorem prover-Reference-Cited by-同舟云学术

Embedding negation as failure into a model generation theorem prover

Published:1992 Issue: Volume: Page:400-415
ISSN:0302-9743
Container-title:Automated Deduction—CADE-11
language:
Short-container-title:

Author:

Inoue Katsumi,Koshimura Miyuki,Hasegawa Ryuzo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55602-8_180.pdf

Reference22 articles.

1. G. Bossu and P. Siegel, Saturation, nonmonotonic reasoning, and the closed-world assumption, Artificial Intelligence 25 (1985) 23–67.

2. K. Eshghi, Computing stable models by using the ATMS, in: Proceedings of AAAI-90, Boston, MA (1990) 272–277.

3. K. Eshghi and R.A. Kowalski, Abduction compared with negation by failure, in: Proceedings of the Sixth International Conference on Logic Programming, Lisbon, Portugal (1989) 234–254.

4. J.A. Fernández and J. Minker, Bottom-up evaluation of hierarchical disjunctive deductive databases, in: Proceedings of the Eighth International Conference on Logic Programming, Paris, France (1991) 660–675.

5. H. Fujita and R. Hasegawa, A model generation theorem prover in KL1 using a ramifiedstack algorithm, in: Proceedings of the Eighth International Conference on Logic Programming, Paris, France (1991) 535–548.

Cited by 29 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disjunctive Abduction;New Generation Computing;2019-04

2. Resolving conflicts in knowledge for ambient intelligence;The Knowledge Engineering Review;2015-10-30

3. Answer Set Solving in Practice;Synthesis Lectures on Artificial Intelligence and Machine Learning;2012-12-15

4. Platypus: A Platform for Distributed Answer Set Solving;Logic Programming and Nonmonotonic Reasoning;2005

5. A Model Generation Based Theorem Prover MGTP for First-Order Logic;Computational Logic: Logic Programming and Beyond;2002