| 1983 | A Data Base Support System for Prolog. Jan Chomicki, Wlodzimierz Grudzinski |
| 1983 | A First Order Semantics of a Connective Suitable to Express Concurrency. Pierpaolo Degano, Stefano Diomedi |
| 1983 | A Kernel for a General Natural Language Interface. Miguel Filgueiras |
| 1983 | A Logic-Based Expert System for Model Building in Regression Analysis. Ferenc Darvas, Kornél Bein, Zoltán Gabmányi |
| 1983 | A Note on Computational Complexity of Logic Programs. Andrzej Lingas |
| 1983 | A Polymorphic Type System for Prolog. Alan Mycroft, Richard A. O'Keefe |
| 1983 | A Portable Prolog Compiler. D. L. Bowen, L. M. Byrd, W. F. Clocksin |
| 1983 | A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. Harvey Abramson |
| 1983 | A Virtual Machine to Implement Prolog. Gerard Ballieu |
| 1983 | An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling. Igor Mozetic, Ivan Bratko, Nada Lavrac |
| 1983 | An Operational Algebraic Semantics of Prolog Programs. Pierre Deransart |
| 1983 | An Or-Parallel Token Machine. Seif Haridi, Andrzej Ciepielewski |
| 1983 | Computing with Sequences. Christopher D. S. Moss |
| 1983 | Contextual Grammars in Prolog (ABSTRACT). Paul Sabatier |
| 1983 | Control of Activities in the Or-Parallel Token Machine (Abstract). Andrzej Ciepielewski, Seif Haridi |
| 1983 | Control of Logic Prosrams Using Integrity Constraints. Madhur Kohli, Jack Minker |
| 1983 | Current Trends in Logic Grammars. Verónica Dahl |
| 1983 | Data Base Manasement, Knowledge Base Management and Expert System Development in Prolog. Kamran Parsaye |
| 1983 | Developing Expert Systems Builders in Logic Programming. Eugénio Oliveira |
| 1983 | Evaluation of Logic Programs Based on Natural Deduction (DRAFT). Seif Haridi, Dan Sahlin |
| 1983 | Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Prosramming. Ed Babb |
| 1983 | Front matter (cover, title, foreword, contents). |
| 1983 | Intelligent Backtracking for Automated Deduction in FOL. Stan Matwin, Tomasz Pietrzykowski |
| 1983 | Interprocess Communication in Concurrent Prolog. Akikazu Takeuchi, Koichi Furukawa |
| 1983 | Issues in Developing Expert Systems. Jack Minker |
| 1983 | KBO1: A Knowledge Based Garden Store Assistant. Adrian Walker, António Porto |
| 1983 | Knowledge Representation in an Efficient Deductive Inference System. E. P. Stabler Jr., Edward W. Elcock |
| 1983 | Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras |
| 1983 | Logical Action Systems. António Porto |
| 1983 | Logical Data Bases vs Deductive Data Bases. Hervé Gallaire |
| 1983 | Methodology of Logic Programming. Ehud Shapiro |
| 1983 | Modelling Human-Computer Interactions in a Friendly Interface. Patrick Saint-Dizier |
| 1983 | On Compiling Prolog Programs on Demand Driven Architectures. Marco Bellia, Giorgio Levi, Maurizio Martelli |
| 1983 | On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |
| 1983 | PRISM - A Parallel Inference System for Problem Solving. Simon Kasif, Madhur Kohli, Jack Minker |
| 1983 | PROGRAPH as an Environment for Prolog DB Applications. T. Pietrzwkowski |
| 1983 | Poster. |
| 1983 | Relational Data Bases 'à la carte'. Miguel Filgueiras, Luís Moniz Pereira |
| 1983 | Security and Integrity in Logic Data Bases Using Query-By-Example. M. Howard Williams, J. C. Neves, Stuart Oliver Anderson |
| 1983 | Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. Patrizia Asirelli |
| 1983 | Some Reflexions on Implementation Issues of Prolog. Maurice Bruynooghe |
| 1983 | The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. Hiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida |
| 1983 | The Pragmatics of Prolog: Some Comments. Edward W. Elcock |
| 1983 | Towards a Co-operative Data Base Management System. J. C. Neves, M. Howard Williams |