Publications

Towards Modeling Morality Computationally with Logic Programming

AuthID
P-009-4FB

Author(s)

Saptawijaya, A

Pereira, LM

Editor(s)

Matthew Flatt; Hai-Feng Guo

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 8324 LNCS, Pages: 104-119

Conference

15Th International Conference on Verification, Model Checking, and Abstract Interpretation, Vmcai 2014, Date: 20 January 2014 through 21 January 2014, Location: San Diego, CA, Sponsors: Association of Logic Programming;ACM

Indexing