Abstract: This article proposes a framework for dynamic swarming of Autonomous Underwater Vehicles (AUVs) using declarative programming to enhance underwater exploration and acoustic sensing. By ...

Abstract: This paper presents an experimental study on the development of a neural network-based agent, trained using data generated using declarative programming. The focus of the study is the ...

plwm is a highly customizable X11 dynamic tiling window manager written in Prolog. Main goals of the project are: high code & documentation quality; powerful yet easy customization; covering most ...

The propositional satisfiability problem (SAT) was the first to be shown NP-complete by Cook and Levin. SAT remained the embodiment of theoretical worst-case hardness. However, in stark contrast to ...

FabricHealer (FH) is a NET8 Service Fabric application that attempts to automatically fix a set of reliably solvable problems that can take place in Service Fabric applications (including containers), ...

Written by Professor Alan Brown, Professor in Digital Economy, Exeter Business School I’m old enough to remember all this from the first time around. Even then, in my days as a computer science ...