Knowledge representation and reasoning in logic programming constitute a core area of artificial intelligence that formalises how information is symbolically encoded and manipulated. This field ...

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 ...

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 ...

This repository contains the deliverables for Task 6 of the LLM+Logic project. The focus is on understanding how Large Language Models (LLMs) can interact with non-classical logics — specifically ...

Abstract: This paper presents a direct flux and torque control (DTC) of induction motor drive (IMD) for speed regulator (SR) using fuzzy logic controller (FLC). This control method is based on DTC ...

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 ...

We investigate properties of prepositional modal logic over the class of finite structures. In particular, we show that certain known preservation theorems remain true over this class. We prove that a ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...