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