Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str - James Simon - Document - PDFSEARCH.IO

First Page	Meta Content
	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Document Date: 2010-05-31 18:49:07 Open Document File Size: 188,06 KB Share Result on Facebook City Potsdam / Burnaby / Vienna / / Country Australia / Austria / Canada / / Currency pence / / Facility Griffith University / Simon Fraser University / / IndustryTerm by-product / formal machinery / / Organization Griffith University / Simon Fraser University / / Position head / / ProgrammingLanguage R / / ProvinceOrState British Columbia / / Technology DLP / / SocialTag Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic

Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-StrAdd to Reading List