Search results for "GCWA"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Jianhua Chen 0003, Sukhamay Kundu	The Strong Semantics for Logic Programs.	ISMIS	1991	DBLP DOI BibTeX RDF	GCWA-property, logic program, declarative semantics, Derived rule
94	André Hernich	Answering non-monotonic queries in relational data exchange.	ICDT	2010	DBLP DOI BibTeX RDF	deductive database, core, closed world assumption, certain answers
47	Shan Chi, Lawrence J. Henschen	Recursive Query Answering with Non-Horn Clauses.	CADE	1988	DBLP DOI BibTeX RDF
37	Kewen Wang 0001, Lizhu Zhou	An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases.	J. Intell. Inf. Syst.	2001	DBLP DOI BibTeX RDF
37	Stefan Brass, Jürgen Dix	Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA.	J. Autom. Reason.	1998	DBLP DOI BibTeX RDF
37	Stefan Brass, Jürgen Dix	Characterizing D-WFS: Confluence and Iterated GCWA.	JELIA	1996	DBLP DOI BibTeX RDF
37	Lawrence J. Henschen, Hyung-Sik Park	Compiling the GCWA in Indefinite Deductive Databases.	Foundations of Deductive Databases and Logic Programming.	1988	DBLP DOI BibTeX RDF
37	Lawrence J. Henschen, Hyung-Sik Park	Indefinite and GCWA Inference in Indefinite Deductive Databases.	AAAI	1986	DBLP BibTeX RDF
33	Edward P. F. Chan	A Possible World Semantics for Disjunctive Databases.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	ground atom, disjunctive database, generalized closed world assumption, GCWA, disjunctive database rule, DDR, PWS, propositional databases, negative ground literal, co-NP-hard, knowledge based systems, database theory, deductive databases, database semantics, possible world semantics, negative information
23	Navin Viswanath, Rajshekhar Sunderraman	Degrees of Exclusivity in Disjunctive Databases.	ISMIS	2008	DBLP DOI BibTeX RDF
23	Teodor C. Przymusinski	Autoepistemic Logic of Minimal Beliefs.	JELIA	1994	DBLP DOI BibTeX RDF	Logics of Knowledge and Belief, Semantics of Logic Programs and Deductive Databases, Non-Monotonic Reasoning
23	Chitta Baral	Generalized Negation As Failure and Semantics of Normal Disjunctive Logic Programs.	LPAR	1992	DBLP DOI BibTeX RDF
23	Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang	A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming.	ICCI	1991	DBLP DOI BibTeX RDF
23	Stefan Brass	Beginnings of a Theory of General Database Completions.	ICDT	1990	DBLP DOI BibTeX RDF