Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-8

Correctness of logic programs using proof schemes

Emmanouil Marakakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2014-8

A knowledge-based interactive verifier for logic programs

Emmanouil Marakakis, Haridimos Kondylakis, Nikos Papadakis

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 1977

Effectivity problems of algorithmic logic

Antoni Kreczmar

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 1977

Investigations of properties of programs by means of the extended algorithmic logic I

Lech Banachowski

Fundamenta Informaticae

Retricted access

Research article

First published 2021-1

The Limits of Rehabilitation and Recidivism Reduction: Rethinking the Evaluation of Arts Programming in Prisons

Emily van der Meulen, Jackie Omstead

The Prison Journal

Retricted access

Other

First published 2003-5

Partial evaluation of lazy functional logic programs

Pascual Julián Iranzo

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1997-2

A METHODOLOGY FOR CONSTRUCTING LOGIC PROGRAMS

Francis Alexandre, Khaled Bsaïes

Fundamenta Informaticae

Retricted access

Research article

First published 1997-8

Partial Structural Synthesis of Programs

Mihhail Matskin, Jan Komorowski

Fundamenta Informaticae

Search results