A Machine-Oriented Logic Based on the Resolution Principle.

@article{DBLP:journals/jacm/Robinson65,
  author    = {John Alan Robinson},
  title     = {A Machine-Oriented Logic Based on the Resolution Principle},
  journal   = {J. ACM},
  volume    = {12},
  number    = {1},
  year      = {1965},
  pages     = {23-41},
  ee        = {db/journals/jacm/Robinson65.html, http://doi.acm.org/10.1145/321250.321253},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition

Referenced by

1. Joachim Biskup, Andreas Kluck: A New Approach to Inferences of Semantic Constraints. ADBIS 1997: 72-79
2. Peter Buneman, Atsushi Ohori: Polymorphism and Type Inference in Database Programming. ACM Trans. Database Syst. 21(1): 30-76(1996)
3. Mitch Cherniack, Stanley B. Zdonik: Rule Languages and Internal Algebras for Rule-Based Optimizers. SIGMOD Conference 1996: 401-412
4. Tanel Tammet: Using Resolution for Extending KL-ONE-type Languages. CIKM 1995: 326-332
5. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
6. Ke Wang, Li-Yan Yuan: First-Order Logic Characterization of Program Properties. IEEE Trans. Knowl. Data Eng. 6(4): 518-533(1994)
7. Cyril S. Ku, Heung D. Kim, Lawrence J. Henschen: An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. IEEE Trans. Knowl. Data Eng. 6(5): 713-722(1994)
8. Jun Gu: Global Optimization for Satisfiability (SAT) Problem. IEEE Trans. Knowl. Data Eng. 6(3): 361-381(1994)
9. Janice I. Glasgow, Michael A. Jenkins, Eli Blevis, Michel P. Féret: Logic Programming with Arrays. IEEE Trans. Knowl. Data Eng. 3(3): 307-319(1991)
10. Ke Wang, Li-Yan Yuan: First-Order Logic Reducible Programs. ICDE 1991: 746-755
11. Sang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah: Semantic Query Reformulation in Deductive Databases. ICDE 1991: 232-239
12. Carol Small, Alexandra Poulovassilis: An Overview of PFL. DBPL 1991: 96-110
13. Sang Ho Lee, Lawrence J. Henschen: Evaluation of Extended Recursive Queries in Deductive Databases. DASFAA 1991: 209-215
14. Jyrki Nummenmaa, Peter Thanisch: Conjectures and Refutations in Database Design and Dependency Theory. ICDT 1990: 215-228
15. Thomas Ludwig: A Brief Overview of LILOG-DB. ICDE 1990: 420-427
16. I-En Liao, Ming T. Liu: Incremental Protocol Verfication Using Deductive Database Systems. ICDE 1989: 216-223
17. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
18. Giuseppe Di Battista, Maurizio Lenzerini: Object Modeling Based on Logic. ER 1988: 207-225
19. Georg Gottlob: Computing Covers for Embedded Functional Dependencies. PODS 1987: 58-69
20. Paris C. Kanellakis, Peter Z. Revesz: On the Relationship of Congruence Closure and Unification. DBPL 1987: 23-41
21. Louiqa Raschid, Stanley Y. W. Su: A Parallel Processing Strategy for Evaluating Recursive Queries. VLDB 1986: 412-419
22. Yukihiro Morita, Haruo Yokota, Kenji Nishida, Hidenori Itoh: Retrieval-By-Unification Operation on a Relational Knowledge Base. VLDB 1986: 52-59
23. Paris C. Kanellakis: Logic Programming and Parallel Complexity. ICDT 1986: 1-30
24. Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235
25. Yannis E. Ioannidis: A Time Bound on the Materialization of some Recursively Defined Views. VLDB 1985: 219-226
26. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
27. Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
    Contents
28. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
29. David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
30. Yosihisa Udagawa, Tetsuo Mizoguchi: An Advanced Database System ADAM - Towards Integrated Management of Engineering Data. ICDE 1984: 3-11
31. Verónica Dahl: On Database Systems Development Through Logic. ACM Trans. Database Syst. 7(1): 102-123(1982)
32. David H. D. Warren: Efficient Processing of Interactive Relational Data Base Queries expressed in Logic. VLDB 1981: 272-281
33. Verónica Dahl: Logical Design of Deductive Natural Language Consultable Data Bases. VLDB 1979: 24-31
34. Jack Minker: Search Strategy and Selection Function for an Inferential Relational System. ACM Trans. Database Syst. 3(1): 1-31(1978)
35. Charles Kellogg, Philip Klahr, Larry Travis: A Deductive Capability for Data Management. VLDB 1976: 181-196