default search action
LPW 1983: Praia da Falésia, Algarve, Portugal
- Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras:
Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal 1983 - Front matter (cover, title, foreword, contents).
- Poster.
- Maurice Bruynooghe:
Some Reflexions on Implementation Issues of Prolog. 1-6 - Harvey Abramson:
A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. 7-39 - Gerard Ballieu:
A Virtual Machine to Implement Prolog. 40-52 - Hiroshi Nishikawa, Minoru Yokota, Akira Yamamoto, Kazuo Taki, Shunichi Uchida:
The Personal Sequential Inference Machine (PSI): Its Design and Machine Architecture. 53-73 - D. L. Bowen, L. M. Byrd, W. F. Clocksin:
A Portable Prolog Compiler. 74-83 - Ehud Shapiro:
Methodology of Logic Programming. 84-93 - Edward W. Elcock:
The Pragmatics of Prolog: Some Comments. 94-106 - Alan Mycroft, Richard A. O'Keefe:
A Polymorphic Type System for Prolog. 107-122 - Simon Kasif, Madhur Kohli, Jack Minker:
PRISM - A Parallel Inference System for Problem Solving. 123-152 - Madhur Kohli, Jack Minker:
Control of Logic Prosrams Using Integrity Constraints. 153-170 - Akikazu Takeuchi, Koichi Furukawa:
Interprocess Communication in Concurrent Prolog. 171-185 - Stan Matwin, Tomasz Pietrzykowski:
Intelligent Backtracking for Automated Deduction in FOL. 186-191 - António Porto:
Logical Action Systems. 192-203 - Jack Minker:
Issues in Developing Expert Systems. 204-215 - E. P. Stabler Jr., Edward W. Elcock:
Knowledge Representation in an Efficient Deductive Inference System. 216-228 - Ferenc Darvas, Kornél Bein, Zoltán Gabmányi:
A Logic-Based Expert System for Model Building in Regression Analysis. 229-239 - Eugénio Oliveira:
Developing Expert Systems Builders in Logic Programming. 240-251 - Adrian Walker, António Porto:
KBO1: A Knowledge Based Garden Store Assistant. 252-270 - Kamran Parsaye:
Data Base Manasement, Knowledge Base Management and Expert System Development in Prolog. 271-289 - Jan Chomicki, Wlodzimierz Grudzinski:
A Data Base Support System for Prolog. 290-303 - M. Howard Williams, J. C. Neves, Stuart Oliver Anderson:
Security and Integrity in Logic Data Bases Using Query-By-Example. 304-340 - J. C. Neves, M. Howard Williams:
Towards a Co-operative Data Base Management System. 341-370 - T. Pietrzwkowski:
PROGRAPH as an Environment for Prolog DB Applications. 371-388 - Miguel Filgueiras, Luís Moniz Pereira:
Relational Data Bases 'à la carte'. 389-407 - Patrick Saint-Dizier:
Modelling Human-Computer Interactions in a Friendly Interface. 408-418 - Miguel Filgueiras:
A Kernel for a General Natural Language Interface. 419-436 - Pierre Deransart:
An Operational Algebraic Semantics of Prolog Programs. 437-442 - Ed Babb:
Finite Computation Principle: An Alternative Method of Adapting Resolution for Logic Prosramming. 443-460 - Andrzej Lingas:
A Note on Computational Complexity of Logic Programs. 461-473 - Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi:
On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. 474-484 - Patrizia Asirelli:
Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. 485-505 - Pierpaolo Degano, Stefano Diomedi:
A First Order Semantics of a Connective Suitable to Express Concurrency. 506-517 - Marco Bellia, Giorgio Levi, Maurizio Martelli:
On Compiling Prolog Programs on Demand Driven Architectures. 518-535 - Andrzej Ciepielewski, Seif Haridi:
Control of Activities in the Or-Parallel Token Machine (Abstract). 536 - Seif Haridi, Andrzej Ciepielewski:
An Or-Parallel Token Machine. 537-552 - Igor Mozetic, Ivan Bratko, Nada Lavrac:
An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling. 553-559 - Seif Haridi, Dan Sahlin:
Evaluation of Logic Programs Based on Natural Deduction (DRAFT). 560-574 - Paul Sabatier:
Contextual Grammars in Prolog (ABSTRACT). 575-577 - Verónica Dahl:
Current Trends in Logic Grammars. 578-607 - Hervé Gallaire:
Logical Data Bases vs Deductive Data Bases. 608-622 - Christopher D. S. Moss:
Computing with Sequences. 623-630
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: