Recent years have seen many significant advances in program comprehension and software maintenance automation technology. In spite of the enormous potential savings in software ma...
Due to the Semantic Web’s decentralised and distributed management, contradictory information is and will remain frequent. However, classical reasoning systems fail to work prop...
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...