Publications

An Embedding of Input-Output Logic in Deontic Logic Programs

AuthID
P-008-5EZ

Author(s)

Goncalves, R

Alferes, JJ

Editor(s)

Thomas Ågotnes; Jan Broersen; Dag Elgesem

Document Type

Proceedings Paper

Year published

2012

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: 7393 LNAI, Pages: 61-75

Conference

11Th International Conference on Deontic Logic in Computer Science, Deon 2012, Date: 16 July 2012 through 18 July 2012, Location: Bergen

Indexing

Scopus^®

Dblp^®/en/publications/view/267743

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-31570-1_5

DBLP: conf/deon/GoncalvesA12

SCOPUS: 2-s2.0-84864854131

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

An Embedding of Input-Output Logic in Deontic Logic Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

An Embedding of Input-Output Logic in Deontic Logic Programs

Useful Links

Get Help