Parametrized Equilibrium Logic

  • Ricardo Gonçalves
  • José Júlio Alferes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6645)

Abstract

Equilibrium logic provides a logical foundation for the stable model semantics of logic programs. Recently, parametrized logic programming was introduced with the aim of presenting the syntax and natural semantics for parametrized logic programs, which are very expressive logic programs, in the sense that complex formulas are allowed to appear in the body and head of rules. Stable model semantics was defined for such parametrized logic programs. The aim of this paper is to introduce a parametrized version of equilibrium logic that extends parametrized logic programs to general theories, and to show how these can be used to characterize and to study strong equivalence of temporal logic programs.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ricardo Gonçalves
    • 1
  • José Júlio Alferes
    • 1
  1. 1.CENTRIAUniversidade Nova de LisboaPortugal

Personalised recommendations