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 ...
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 ...
Abstract: Declarative rules such as Prolog and Datalog rules are common formalisms to express expert knowledge and facts. They play an important role in Knowledge Graph (KG) construction and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results