| 1983 | An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling. | Igor Mozetic, Ivan Bratko, Nada Lavrac |
| 1983 | Computing with Sequences. | Christopher D. S. Moss |
| 1983 | Issues in Developing Expert Systems. | Jack Minker |
| 1983 | Intelligent Backtracking for Automated Deduction in FOL. | Stan Matwin, Tomasz Pietrzykowski |
| 1983 | A Note on Computational Complexity of Logic Programs. | Andrzej Lingas |
| 1983 | Control of Logic Prosrams Using Integrity Constraints. | Madhur Kohli, Jack Minker |
| 1983 | PRISM - A Parallel Inference System for Problem Solving. | Simon Kasif, Madhur Kohli, Jack Minker |
| 1983 | Evaluation of Logic Programs Based on Natural Deduction (DRAFT). | Seif Haridi, Dan Sahlin |
| 1983 | An Or-Parallel Token Machine. | Seif Haridi, Andrzej Ciepielewski |
| 1983 | Logical Data Bases vs Deductive Data Bases. | Herv Gallaire |
| 1983 | Relational Data Bases ' la carte'. | Miguel Filgueiras, Lus Moniz Pereira |
| 1983 | A Kernel for a General Natural Language Interface. | Miguel Filgueiras |
| 1983 | On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. | Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |
| 1983 | The Pragmatics of Prolog: Some Comments. | Edward W. Elcock |
| 1983 | An Operational Algebraic Semantics of Prolog Programs. | Pierre Deransart |
| 1983 | A First Order Semantics of a Connective Suitable to Express Concurrency. | Pierpaolo Degano, Stefano Diomedi |
| 1983 | A Logic-Based Expert System for Model Building in Regression Analysis. | Ferenc Darvas, Kornl Bein, Zoltn Gabmnyi |
| 1983 | Current Trends in Logic Grammars. | Vernica Dahl |
| 1983 | Control of Activities in the Or-Parallel Token Machine (Abstract). | Andrzej Ciepielewski, Seif Haridi |
| 1983 | A Data Base Support System for Prolog. | Jan Chomicki, Wlodzimierz Grudzinski |
| 1983 | Some Reflexions on Implementation Issues of Prolog. | Maurice Bruynooghe |
| 1983 | A Portable Prolog Compiler. | D. L. Bowen, L. M. Byrd, W. F. Clocksin |
| 1983 | On Compiling Prolog Programs on Demand Driven Architectures. | Marco Bellia, Giorgio Levi, Maurizio Martelli |
| 1983 | A Virtual Machine to Implement Prolog. | Grard Ballieu |
| 1983 | Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Prosramming. | Ed Babb |