Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science
Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science
A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation
Proceedings of the Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
Transitive Reasoning of Before-After Relation Based on Bf-EVALPSN
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
An Intelligent Coordinated Traffic Signal Control Based on EVALPSN
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A Logical Anticipatory System of Before-After Relation Based on Bf-EVALPSN
KES '09 Proceedings of the 13th International Conference on Knowledge-Based and Intelligent Information and Engineering Systems: Part II
A Logical Reasoning System of Before-after Relation Based on Bf-EVALPSN
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Introduction to intelligent network routing based on EVALPSN
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Introduction to intelligent elevator control based on EVALPSN
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Intelligent safety verification for multi-car elevator system based on EVALPSN
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
EVALPSN based intelligent drivers’ model
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
A discrete event control based on EVALPSN stable model computation
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
An intelligent safety verification based on a paraconsistent logic program
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
| Hi-index | 0.00 |
In this paper, we propose an annotated logic program called an EVALPSN (Extended Vector Annotated Logic Program with Strong Negation) to formulate the semantics for a defeasible deontic reasoning proposed by D.Nute. We propose a translation from defeasible deontic theory into EVALPSN and show that the stable model of EVALPSN provides an annotated semantics for D. Nute's defeasible deontic logic. The annotated semantics can provide a theoretical base for an automated defeasible deontic reasoning system.