Sage Journals: Discover world-class research

Retricted access

Research article

First published 1990

Towards Average Complexity of Propositional Binary Prolog Programs

Hans Kleine Büning, Ulrich Löwen

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

A Tabled Prolog Program for Solving Sokoban

Neng-Fa Zhou, Agostino Dovier

Fundamenta Informaticae

Retricted access

Research article

First published 2017-2-24

Towards fuzzy lexical reasoning

Clemente Rubio-Manzano, M. Pereira-Fariña

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2013-6

Implementing dynamic flowgraph methodology models with logic programs

Ilkka Karanta

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2011-2

Towards a logic framework for Web programming

Giulio Piancastelli, Andrea Omicini, Enrico Denti

Intelligenza Artificiale

Free access

Research article

First published 1996-11

Meta-variables in Logic Programming,or in Praise of Ambivalent Syntax

Krzysztof R. Apt, Rachel Ben-Eliyahu

Fundamenta Informaticae

Retricted access

Review article

First published 1988-04

Book Reviews : Prolog for Programmers Publisher: Academic Press,Inc.,111 Fifth Ave.,New York,NY 10003 Year of Publication: 1985 Length: 400 pages Price: $52.50 ($9.75 extra for disk) Intended Audience: Prolog programmers Usefulness: Medium Clarity: High Difficulty: Medium/high

Feliks Kluzniak, Stanislaw Szpakowicz, Janusz S. Bien

Social Science Computer Review

Retricted access

Research article

First published 2020

Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Paul Tarau

Fundamenta Informaticae

Retricted access

Research article

First published 1967-2

Programmed Learning: Prologue to Instruction

Robert J. Seidel

Psychological Reports

Retricted access

Book review

First published 1987-2

Learning Prolog from a Book

Maarten W. van Someren

The European Journal on Artificial Intelligence

Search results