Parametrized equilibrium logic

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Proceedings
EditorsJ. P. Delgrande, W. Faber
PublisherSpringer Verlag
Pages236-241
Number of pages6
ISBN (Print)9783642208942
DOIs
Publication statusPublished - 13 May 2011
Event11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011 - Vancouver, BC, Canada
Duration: 16 May 201119 May 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume6645 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011
CountryCanada
CityVancouver, BC
Period16/05/1119/05/11

Fingerprint

Dive into the research topics of 'Parametrized equilibrium logic'. Together they form a unique fingerprint.

Cite this