G. M. Kuper
- AU79.A V Aho and J D UUman Umversahty of data retrieval languages In Conference Record of the Ssxth Annual A CM Symposzum on Pmnczples of Programmzng Languages, pages 110 120, 1979 Google Scholar
Digital Library
- AvE82.K 1L Apt and M H van Emden Contributions to the theory of logic programming Journal of the A CM, 29(3) 841-862, 1982 Google ScholarDigital Library
- BK86.F Bancllhon and S Khoshatian A calculus for complex objects In Proc Fzfth Annual A CM Sympomum on Pmnczples of Database Systems, pages 53-59, ACM, Cambridge, Mass, 1986 Google ScholarDigital Library
- BMSU86.F Bancllhon, D Maaer, Y Saglv, and J D Ullman Magic sets and other strange ways to implement logic programs. In Proc Fzfth Annual A CM Symposmm on Pmnczples of Database Systems, pages 1-15, ACM, Cambridge, Mass, 1986 Google ScholarDigital Library
- BNR*86.Catrml Been, Shanum Naqvl, Raghu Ramaknshnan, Oded Shmueh, and Shalom Tsur Sets and Negatzon zn a Logzc Database Language (LDL1) Technical Report DB-375-86, MCC, 1986Google Scholar
- DB82.U Dayal and P A Bernstem On the correct translatmn of update operations on relational vmws ACM 7Yunsactzons on Database Systems, 7(3) 381-416, 1982 Google ScholarDigital Library
- FK77.A L I~rtado and L Kerschberg An algebra of quotmnt relations In Proc ACM Int'l Cony on Management of Data, pages 1-8, ACM, Toronto, Ontario, 1977 Google ScholarDigital Library
- GM78.H. Gallalre and J Mmker Logzc and Databases Plenum Press, NY, 1978 Google ScholarDigital Library
- Gra79.M H Graham NETS operatmns and logic In F H Lochovsky, editor, A Panache of DBMS Ideas II, pages 152-179, Tech Report CSttG- 101, Computer Systems Research Group, Umver~sty of Toronto, 1979Google Scholar
- HN84.L J Henschen and S A Naxlw On comp~hng querms ~n recurs~ve first-order databases Journal of the ACM, 31(1) 47-85, 1984 Google ScholarDigital Library
- HY82.tt Hull and C K Yap The format model: A theory of database orgamzahon In Proc. Fsrst Annual A CM Symposmm on Pr, ncsples of Database Systems, pages 205-211, ACM, Los Angeles, CA, 1982 Google ScholarDigital Library
- JS82.G Jaeschke mad H-J. Schek Remarks on the algebra of non first norreal form relations In Proc First Annual A GM Symposmm on Pr, netples of Database Systems, pages 124- 138, ACM, Los Angeles, CA, 1982 Google ScholarDigital Library
- Kow79.R Kowalsh Logic for Problem Solving North Holland, Amsterdam, 1979 Google ScholarDigital Library
- Kup.G M. Kuper. LPS a logic programmmg language for nested relatmns To appearGoogle Scholar
- KV84.G M Kuper and M Y Verdi A new approach to database logic In Proe Thsrd Annual A CM Symposmm on Prmcsples of Database Systems, pages 86-96, ACM, Waterloo, Ontario, 1984 Google ScholarDigital Library
- LT84.J W Lloyd and R W. Topor Making PROLOG more expressive Journal of Logzc Programming, 1(3)225- 240, October 1984Google ScholarCross Ref
- MP82.F Manolaand A Pirotte CQLF--A query language for CODASYL-type databases in Proc A CM Int 'l Con}' on Management of Data, pages 94- 103, ACM, Orlando, FL, 1982. Google ScholarDigital Library
- Nai83.L Naash Automatsc Genemtton of Control for Logic Programs Technical Report TR 83/6, University of Melbourne, 1983Google Scholar
- OY85.Z M Ozsoyoglu and L-Y Yuan. A normal form for nested relatmns In Proc Fourth Annual A CM Symposzum on Principles of Database Systems, pages 251-260, ACM, Portland, OR, 1985 Google ScholarDigital Library
- Rei78.R Relter Deductive question answering in relatmnM d,ttabasos In II Gallaare and J Mll~kel, e(litor~, Logtc and Databases, pages 1,17-177, Plenum Press, 1978Google Scholar
- RR83.M ttafanelh and F L Race1 A Data Definttson Language for a Stattstzcal Database Techmcal Report TR-62, IASI-CNR, July 1983Google Scholar
- SP82.H.-J Scheck and P P1stor Data structures for an integrated data base management and informatmn retrieval system In Proc Fourth Intl Conf on Very Large Data Bases, IEEE, 1982 Google ScholarDigital Library
- SS77.J M Srmth and D C P Smith Database abstractmns Aggregation and generalizatmn A CM 7bansactwns on Database Systems, 2(2) 105- 133, 1977. Google ScholarDigital Library
- TZ86.S Tsur and C Zamolo LDL A logm-based data-language In Proc Twelfth Intl Conf on Very Large Data Bases, pages 33-41, IEEE, Kyoto, Japan, 1986 Google ScholarDigital Library
- Ull85.J.D. Ullman implementation of logical query languages for databases In Proc. A CM Int'i Conf on Management of Data, ACM, Austin, TX, 1985 Google ScholarCross Ref
- vEK76.M II van Emden and R A Kowalski. The semantics of predicate logic as a proga,~mrmng language Journal of the ACM, 23(4) 733-742, 1976 Google ScholarDigital Library
Index Terms
- Logic programming with sets
Recommendations
From answer set logic programming to circumscription via logic of GK
We first embed Pearce's equilibrium logic and Ferraris's propositional general logic programs in Lin and Shoham's logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter's default logic in the propositional ...
Comments