Table of Contents
| Preface | |
| Angelo Marcello Anile, Alfredo Ferro | 3 |
| Modern trends in knowledge representation and expert system technology | |
| Klaus Nökel, Michael M. Richter | 7-28 |
| Language theory and expert systems | |
| Attilio Agodi | 29-52 |
| Set oriented languages and program transformations | |
| Philippe Facon, Yo Keller | 53-78 |
| Meta-interpreting SETL | |
| D. Aliffi, D. Montanari, E. G. Omodeo, M. Pellegrini | 79-98 |
| ALPES: an advanced logic programming environment | |
| Cristina Ruggieri | 99-124 |
| A survey of computable set theory | |
| Domenico Cantone | 125-194 |
| Automated theorem proving in elementary geometry | |
| Alfredo Ferro, Giovanni Gallo | 195-224 |
| Automated deduction in Topology: two different approaches | |
| Vincenzo Cutello | 225-246 |
| Logic programming extensions of Horn clause logic | |
| Ron Sigal | 247-294 |
| A note on extending decision algorithms by stable predicates | |
| Alfredo Ferro, Giuseppe Sorace, Jacob T. Schwartz | 297-302 |
| Decidability results for classes of purely universal formulae and quantifiers elimination in set theory | |
| Domenico Cantone, Vincenzo Cutello, Alberto Policriti | 303-336 |
ISSN: 2037-5298