{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T17:26:18Z","timestamp":1778520378377,"version":"3.51.4"},"publisher-location":"Boston, MA","reference-count":16,"publisher":"Springer US","isbn-type":[{"value":"9781468433869","type":"print"},{"value":"9781468433845","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_11","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"293-322","source":"Crossref","is-referenced-by-count":662,"title":["Negation as Failure"],"prefix":"10.1007","author":[{"given":"Keith L.","family":"Clark","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"101","volume-title":"Machine Intelligence 7","author":"RS Boyer","year":"1972","unstructured":"Boyer, R.S. and Moore, J.S. [1972] The Sharing of Structure in Theorem Proving Programs. In Machine Intelligence 7 (B. Meltzer and D. Michie, Eds.), Edinburgh University Press, 101\u2013116."},{"key":"11_CR2","first-page":"1973","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"CL Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R.C.T. [1973] Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"issue":"6","key":"11_CR3","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E. F. [1970] A Relational Model for Large Shared Data Banks, CACM\n                13, 6 (June, 1970), 377\u2013387.","journal-title":"CACM"},{"key":"11_CR4","first-page":"65","volume-title":"Data Base Systems","author":"EF Codd","year":"1972","unstructured":"Codd, E. F. [1972] Relational Completeness of Data Base Sublanguages, In Data Base Systems (R. Rustin, Ed.), Prentice-Hall, 65\u201398."},{"key":"11_CR5","unstructured":"Hewitt, C. [1972] Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot, A. I. Memo No. 251, MIT Project MAC., 1972."},{"key":"11_CR6","series-title":"DCL Memo","volume-title":"Lush-Resolution and Its Completeness","author":"R Hill","year":"1974","unstructured":"Hill, R. [1974] Lush-Resolution and Its Completeness, DCL Memo No. 78, Department of Artificial Intelligence, Edinburgh University, 1974."},{"key":"11_CR7","volume-title":"Fundamental Algorithms, The Art of Computer Programming, Vol. 1","author":"D Knuth","year":"1968","unstructured":"Knuth, D. [1968] Fundamental Algorithms, The Art of Computer Programming, Vol. 1, Addison-Wesley, Reading, Mass, 1968."},{"issue":"3\/4","key":"11_CR8","first-page":"221","volume":"2","author":"R Kowalski","year":"1971","unstructured":"Kowalski, R. and Kuehner, D. [1971] Linear Resolution with Selection Function, Artificial Intelligence\n                2, 3\/4 (1971), 221\u2013260.","journal-title":"Artificial Intelligence"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-1-4684-3384-5_4","volume-title":"Logic and Data Bases","author":"R Kowalski","year":"1978","unstructured":"Kowalski, R. [1978] Logic for Data Description, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 77\u2013103."},{"key":"11_CR10","first-page":"53","volume-title":"Proceedings IJCAI","author":"I Kramosil","year":"1975","unstructured":"Kramosil, I. [1975] A Note on Deduction Rules with Negative Premises, Proceedings IJCAI\n                4, Tbilisi, USSR, 1975, 53\u201356."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-1-4684-3384-5_2","volume-title":"Logic and Data Bases","author":"JM Nicolas","year":"1978","unstructured":"Nicolas, J. M. and Gallaire, H. [1978] Data Bases: Theory vs. Interpretation, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 33\u201354."},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-1-4684-3384-5_3","volume-title":"Logic and Data Bases","author":"R Reiter","year":"1978","unstructured":"Reiter, R. [1978] On Closed World Data Bases, In Logic and Data Bases (H. Gallaire and J. Minker, Eds.), Plenum Press, New York, N.Y., 1978, 55\u201376."},{"key":"11_CR13","series-title":"BBN Report","doi-asserted-by":"crossref","DOI":"10.21236\/ADA046550","volume-title":"An Approach to Deductive Question-Answering","author":"R Reiter","year":"1977","unstructured":"Reiter, R. [1977] An Approach to Deductive Question-Answering, BBN Report No. 3649, Bolt, Beranek and Newman, Cambridge, Mass., 1977."},{"key":"11_CR14","series-title":"Rapport Interne, G.I.A., UER de LUMINY","volume-title":"PROLOG: Manual dutilisation","author":"P Roussel","year":"1975","unstructured":"Roussel, P. [1975] PROLOG: Manual dutilisation, Rapport Interne, G.I.A., UER de LUMINY, Universite d\u2019Aix-Marseille, 1975."},{"key":"11_CR15","volume-title":"Formal Description of Programming Concepts","author":"M Emden van","year":"1978","unstructured":"van Emden, M. [1978] Computation and Deductive Information Retrieval, In Formal Description of Programming Concepts, (E. Neuhold, Ed.), North-Holland, 1978."},{"key":"11_CR16","volume-title":"PROLOG \u2014 The Language and Its Implementation Compared with LISP","author":"D Warren","year":"1977","unstructured":"Warren, D., Pereira, L. and Pereira, F. [1977] PROLOG \u2014 The Language and Its Implementation Compared with LISP, Proceedings of SIGART\/SIGPLAN Conference on Programming Languages, Rochester, New York, 1977."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:12Z","timestamp":1619873412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_11","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}