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