Succinct model semantics: a simple model for inclusive interpretations

Authors:
Sei Chun;Huizhu Lu;Jonghoon Chun
Affiliations:
Department of Computer Engineering, Myong Ji University, Yongin, Kyongki-Do, Korea;-;-
Venue:
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Year:
1998

Citing 8
Cited 1

Inferring negative information from disjunctive databases

Journal of Automated Reasoning
On the declarative semantics of deductive databases and logic programs

Foundations of deductive databases and logic programming
A fixpoint semantics for disjunctive logic programs

Journal of Logic Programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
The indefinite closed world assumption

Data & Knowledge Engineering
Unfounded sets and well-founded semantics for general logic programs

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Indefinite Databases and the Closed World Assumption

Proceedings of the 6th Conference on Automated Deduction
Automated theorem proving: A logical basis (Fundamental studies in computer science)

Automated theorem proving: A logical basis (Fundamental studies in computer science)

Providing semantics for indefinite deductive databases

Proceedings of the seventh international conference on Information and knowledge management

Quantified Score

Hi-index	0.00

Visualization

Abstract