Disjunctive LP+integrity constraints= stable model semantics-Reference-Cited by-同舟云学术

Disjunctive LP+integrity constraints= stable model semantics

Published:1993-09 Issue:3-4 Volume:8 Page:449-474
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Fern�ndez Jos� Alberto,Lobo Jorge,Minker Jack,Subrahmanian V. S.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/article/10.1007/BF01530802/fulltext.html

Reference20 articles.

1. K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufmann, Washington, D.C., 1988) pp. 89?148.

2. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian, Computation and implementation of non-monotonic deductive databases, Technical Report CS-TR-2801, University of Maryland (1991). Submitted for journal publication.

3. J. Cuadrado and S. Pimentel, A truth maintenance system based on stable models, in:Proc. 1989 North American Conf. on Logic Programming (1989) pp. 274?290.

4. J.A. Fernández and J. Minker, Bottom-up evaluation of disjunctive deductive databases, Technical Report, Computer Science Department, University of Maryland (1991), in preparation.

5. J.A. Fernández and J. Minker, Bottom-up evaluation of hierarchical disjunctive deductive databases, in:Proc. 8th Int. Conf. on Logic Programming, ed. K. Furukawa (MIT Press, 1991).

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

1. Answer Set Programming Made Easy;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023

2. Logic programming in tensor spaces;Annals of Mathematics and Artificial Intelligence;2021-08-16

3. Linear Algebraic Characterization of Logic Programs;Knowledge Science, Engineering and Management;2017

4. A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics;2012 IEEE 24th International Conference on Tools with Artificial Intelligence;2012-11

5. Model and Fixpoint Semantics for Fuzzy Disjunctive Programs with Weak Similarity;Innovations in Intelligent Systems;2004