Strong Equivalence of Logic Programs with Abstract Constraint Atoms

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

Researchers

Research units

  • University of Alberta

Details

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning. LPNMR 2011
EditorsJames Delgrande, Wolfgang Faber
Publication statusPublished - 2011
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Logic Programming and Nonmonotonic Reasoning - Vancouver, Canada
Duration: 16 May 201119 May 2011
Conference number: 11

Publication series

NameLecture Notes in Computer Science
PublisherSPRINGER-VERLAG BERLIN
Volume6645
ISSN (Print)0302-9743

Conference

ConferenceInternational Conference on Logic Programming and Nonmonotonic Reasoning
Abbreviated titleLPNMR
CountryCanada
CityVancouver
Period16/05/201119/05/2011

ID: 604509