Search results: Sage Journals

Restricted accessResearch articleFirst published February, 2008

Debugging techniques for declarative languages: Profiling,program slicing and algorithmic debugging

Josep Silva

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published June, 1988

Declarative Languages for Advanced Information Technologies

Anthony Kosky

Journal of Information Technology

Restricted accessOtherFirst published November, 2001

Partial evaluation of multi‐paradigm declarative languages

Elvira Albert

The European Journal on Artificial Intelligence

Restricted accessReview articleFirst published July, 1987

Software Reviews : TURBO PROLOG,Version 1.1 Reviewed by William P. Yohe,Duke University Publisher: Borland International,Inc.,4585 Scotts Valley Drive,Scotts Valley,CA 95066 (telephone: orders,800-255-8008;support,408-438-8400) Year of Publication: 1986 Materials: Two DS disks,owner's handbook Price: $99.95 Availability: IBM and compatible System Requirements: 384K,2DS drives,DOS 2.0 or later Effectiveness: Good Documentation: Fair

Social Science Computer Review

Restricted accessResearch articleFirst published March, 2010

Comparing goal-oriented and procedural service orchestration 1

M. Birna van Riemsdijk, Martin Wirsing

Multiagent and Grid Systems

Open accessResearch articleFirst published October, 2013

SitLog: A Programming Language for Service Robot Tasks

Luis A. Pineda, Lisset Salinas, Ivan V. Meza [...]

International Journal of Advanced Robotic Systems

Restricted accessResearch articleFirst published March, 1990

Programming Language/Problem-Solving Research: A Review of Relevant Issues

David B. Palumbo

Review of Educational Research

Restricted accessResearch articleFirst published May 17, 2018

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published October, 2015

Comparison of two XML query languages from the perspective of learners

Matti Lassila, Marko Junkkari, Jaana Kekäläinen

Journal of Information Science

Restricted accessResearch articleFirst published February, 1998

Handling Termination in a Logical Language for Active Rules

Bertram Ludäscher, Georg Lausen

Informatica: An International Journal of Computing and Informatics

Restricted accessResearch articleFirst published February, 2008

Debugging techniques for declarative languages: Profiling,program slicing and algorithmic debugging

Josep Silva

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published June, 1988

Declarative Languages for Advanced Information Technologies

Anthony Kosky

Journal of Information Technology

Restricted accessOtherFirst published November, 2001

Partial evaluation of multi‐paradigm declarative languages

Elvira Albert

The European Journal on Artificial Intelligence

Restricted accessReview articleFirst published July, 1987

Software Reviews : TURBO PROLOG,Version 1.1 Reviewed by William P. Yohe,Duke University Publisher: Borland International,Inc.,4585 Scotts Valley Drive,Scotts Valley,CA 95066 (telephone: orders,800-255-8008;support,408-438-8400) Year of Publication: 1986 Materials: Two DS disks,owner's handbook Price: $99.95 Availability: IBM and compatible System Requirements: 384K,2DS drives,DOS 2.0 or later Effectiveness: Good Documentation: Fair

Social Science Computer Review

Restricted accessResearch articleFirst published March, 2010

Comparing goal-oriented and procedural service orchestration 1

M. Birna van Riemsdijk, Martin Wirsing

Multiagent and Grid Systems

Open accessResearch articleFirst published October, 2013

SitLog: A Programming Language for Service Robot Tasks

Luis A. Pineda, Lisset Salinas, Ivan V. Meza [...]

International Journal of Advanced Robotic Systems

Restricted accessResearch articleFirst published March, 1990

Programming Language/Problem-Solving Research: A Review of Relevant Issues

David B. Palumbo

Review of Educational Research

Restricted accessResearch articleFirst published May 17, 2018

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published October, 2015

Comparison of two XML query languages from the perspective of learners

Matti Lassila, Marko Junkkari, Jaana Kekäläinen

Journal of Information Science

Restricted accessResearch articleFirst published February, 1998

Handling Termination in a Logical Language for Active Rules

Bertram Ludäscher, Georg Lausen

Informatica: An International Journal of Computing and Informatics