A structured alternative to Prolog with simple compositional semantics

Theory and Practice of Logic Programming

2011 | journal-article

An alternative high-level approach to interaction with databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011 | journal-article

High-Level Interaction with Relational Databases in Logic Programming

11th International Symposium on Practical Aspects of Declarative Languages

2009 | other

High-level interaction with relational databases in logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009 | journal-article

PPDP'09, Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2009 | book

PPDP09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword

PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

2009 | journal-article

An integrated information system powered by Prolog

Practical Aspects of Declarative Languages, Proceedings

2003 | book-chapter

An integrated information system powered by Prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2003 | journal-article

Entailment-based actions for coordination

Theoretical Computer Science

1998 | journal-article

Entailment-based actions for coordination

Theoretical Computer Science

1998 | journal-article

5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE

Lecture Notes in Artificial Intelligence

1991 | journal-article

MAXIMAL INTERVALS - AN APPROACH TO TEMPORAL REASONING

Lecture Notes in Artificial Intelligence

1991 | journal-article

REASONING WITH MAXIMAL TIME INTERVALS

Lecture Notes in Artificial Intelligence

1991 | journal-article

SEMANTICS OF PROPERTY INHERITANCE IN A HIERARCHICAL SYSTEM WITH EXPLICIT NEGATION

Lecture Notes in Artificial Intelligence

1991 | journal-article

NATURAL LANGUAGE SEMANTICS: A LOCIC PROGRAMMING APPROACH.

1984 | journal-article

TWO-LEVEL PROLOG.

1984 | journal-article