An Embedding of Input-Output Logic in Deontic Logic Programs

@inproceedings{Gonalves2012AnEO,
  title={An Embedding of Input-Output Logic in Deontic Logic Programs},
  author={Ricardo Gonçalves and Jos{\'e} J{\'u}lio Alferes},
  booktitle={DEON},
  year={2012}
}
Parametrized logic programs, for which a syntax and natural declarative semantics have been recently defined, are very expressive logic programs under the stable model semantics (also usually called answer set programs) in which complex formulas of a given parameter logic are allowed to appear in the body and head of rules. The choice of the parameter logic depends largely on the domain of the problem to be modeled. In this paper we show how input-output logic can be embedded into… CONTINUE READING
BETA

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES