Abstract: Asynchronous circuit implementations operating under strong constraints (DIMS, Direct Logic, some of NCL gates, etc.) are attractive due to: 1) regularity, 2) combined implementation of the ...

Abstract: We describe DiaProlog, a dialogue logic programming language that extends the vanilla Prolog with the features to facilitate the integration of reasoning capabilities into task-oriented ...

Abductive logic programming (ALP) is a framework that combines logic programming with abductive reasoning to address problems where clear answers are not available. It enables systems to propose ...

A new family of PLC-controlled robots combines a SCARA robot with a PLC Server that allows direct programming of the robot from the Allen-Bradley family of PLCs, through a DF-1 serial connection. The ...