Praia da Falésia, Algarve / PORTUGAL
26 June - 1 July, 1983
Núcleo de Intelligência Artificial
UNIVERSIDADE NOVA DE LISBOA

Proceedings edited by:

Luís Moniz Pereira
António Porto
Luís Monteiro
Miguel Figueiras

Sponsored by:

Associação Portuguesa para a Inteligência Artificial
Direcção-Geral do Ensino Superior
Junta Nacional de Investigação Cientifica e Tecnológica
Instituto Nacional de Investigação Cientifica

• Poster PDF
• Full proceedings (643 pages, 62 MB) PDF

Contents

• Front matter (cover, title, foreword, contents) PDF
• Maurice Bruynooghe. Some Reflexions on Implementation Issues of Prolog. pp. 1-6. PDF
• Harvey Abramson. A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. pp. 7-39. PDF
• Gerard Ballieu. A Virtual Machine to Implement Prolog. pp. 40-52. PDF
• Hiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida. The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. pp. 53-73. PDF
• D. L. Bowen, L. M. Byrd, W. F. Clocksin. A Portable Prolog Compiler. pp. 74-83. PDF
• Ehud Shapiro. Methodology of Logic Programming. pp. 84-93. PDF
• E. W. Elcock. The Pragmatics of Prolog: Some Comments. pp. 94-106. PDF
• Alan Mycroft, Richard O'Keefe. A Polymorphic Type System for Prolog. pp. 107-122. PDF
• Simon Kasif, Madhur Kohli, Jack Minker. PRISM - A Parallel Inference System for Problem Solving. pp. 123-152. PDF
• Madhur Kohli, Jack Minker. Control of Logic Prosrams Using Integrity Constraints. pp. 153-170. PDF
• Akikazu Takeuchi, Kouichi Furukawa. Interprocess Communication in Concurrent Prolog. pp. 171-185. PDF
• Stanisław Matwin, Tomasz Pietrzwkowski. Intelligent Backtracking for Automated Deduction in FOL. pp. 186-191. PDF
• Antonio Porto. Logical Action Systems. pp. 192-203. PDF
• Jack Minker. Issues in Developing Expert Systems. pp. 204-215. PDF
• E. P. Stabler, Jr. and E. W. Elcock. Knowledge Representation in an Efficient Deductive Inference System. pp. 216-228. PDF
• Ferenc Darvas, Kornél Bein, Zoltán Gabmányi. A Logic-Based Expert System for Model Building in Regression Analysis. pp. 229-239. PDF
• Eugénio Oliveira. Developing Expert Systems Builders in Logic Programming. pp. 240-251. PDF
• Adrian Walker, Antonio Porto. KBO1: A Knowledge Based Garden Store Assistant. pp. 252-270. PDF
• Kamran Parsaye. Data Base Manasement, Knowledge Base Management and Expert System Development in Prolog. pp. 271-289. PDF
• Jan Chomicki, Wlodzimierz Grudzinski. A Data Base Support System for Prolog. pp. 290-303. PDF
• M. H. Williams, J. C. Neves, S. O. Anderson. Security and Integrity in Logic Data Bases Using Query-By-Example. pp. 304-340. PDF
• J. Neves, M. Williams. Towards a Co-operative Data Base Management System. pp. 341-370. PDF
• T. Pietrzwkowski. PROGRAPH as an Environment for Prolog DB Applications. pp. 371-388. PDF
• Miguel Filgueiras, Luís Moniz Pereira. Relational Data Bases 'à la carte'. pp. 389-407. PDF
• Patrick Saint-Dizier. Modelling Human-Computer Interactions in a Friendly Interface. pp. 408-418. PDF
• Miguel Filgueiras. A Kernel for a General Natural Language Interface. pp. 419-436. PDF
• Pierre Deransart. An Operational Algebraic Semantics of Prolog Programs. pp. 437-442. PDF
• Ed Babb. Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Programming. pp. 443-460. PDF
• Andrzej Lingas. A Note on Computational Complexity of Logic Programs. pp. 461-473. PDF
• M. Falaschi, G. Levi, C. Palamidessi. On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. pp. 474-484. PDF
• Patrizia Asirelli. Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. pp. 485-505. PDF
• Pierpaolo Degano, Stefano Diomedi. A First Order Semantics of a Connective Suitable to Express Concurrency. pp. 506-517. PDF
• M. Bellia, G. Levi, M. Martelli. On Compiling Prolog Programs on Demand Driven Architectures. pp. 518-535. PDF
• Andrzej Ciepielewski, Seif Haridi. Control of Activities in the Or-Parallel Token Machine (ABSTRACT). p. 536. PDF
• Seif Haridi, Andrzej Ciepielewski. An Or-Parallel Token Machine. pp. 537-552. PDF
• I. Mozetič, I. Bratko, N. Lavrač. An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling. pp. 553-559. PDF
• Seif Haridi, Dan Sahlin. Evaluation of Logic Programs Based on Natural Deduction (DRAFT). pp. 560-574. PDF
• Paul Sabatier. Contextual Grammars in Prolog (ABSTRACT). pp. 575-577. PDF
• Veronica Dahl. Current Trends in Logic Grammars. pp. 578-607. PDF
• Hervé Gallaire. Logical Data Bases vs Deductive Data Bases. pp. 608-622. PDF
• C. D. S. Moss. Computing with Sequences. pp. 623-630. PDF