Logical properties in defeasible logic programming -a preliminary report

In this work the wear behavior of deep cryogenically treated (DCT), low-carbon AISI 420 martensitic stainless steel specimens has been studied with respect to that

For this work we have implemented three algorithms: algorithm A, for the estimation of the global alignment with k differences, based on dynamic programming; algorithm B, for

In addition, if the theorem cannot be applied to show termination results (e.g., in the case of Hybrid Probabilistic Logic Programs (HPLPs) appearing in [23], because

This project has required extensive work in many different areas, such as hardware implementation over an FPGA using Verilog, assembler programming for RISC-V, Zephyr OS

Besides this standard frame- work we have implemented a new approach consisting in filtering the data with respect to the fMRI paradigm (finger tapping) in order to obtain a

In this paper, we have examined the onset of octupole deformation and the related spectroscopic properties in neutron-rich lanthanide nuclei with neutron numbers 86  N  94 using

4.1.- Choosing a language: In this first experiment, we do a number of calls to the robotic server from different clients implemented in the robot but in different programming

The resulting OWL DL ontology (in its primary version) consists of 205 concepts linked with 73 relations (OWL properties). A screenshot of this ontology is presented in Fig.1. The