@INPROCEEDINGS { Rsds3099,
author = {Suzuki, Atsuyuki and Abe, Jair Minoro and Nakamatsu, Kazumi}, 
title = {Annotated Semantics for Defeasible Deontic Reasoning}, 
booktitle = {Rough Sets and Current Trends in Computing}, 
conference = {Rough Sets and Current Trends in Computing}, 
series =  = {Lecture Notes in Artificial Intelligence}, 
volume = 2005, 
pages = {470--478}, 
publisher = {Springer-Verlag}, 
address = {Heidelberg - Berlin, Germany}, 
year = 2001, 
editor = {Ziarko, Wojciech and Yao, Yiyu}, 
issn = {0302-9743}, 
isbn = {3-540-43074-1}, 
abstract = {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.}, 
keywords = {annotated logic, defeasible deontic logic, extended vector annotated logic program with strong negation, stable model, }, 
}