Back to Results
First PageMeta Content
Mathematics / Propositional calculus / Charles Sanders Peirce / Model theory / Answer set programming / If and only if / Forcing / Stable model semantics / Belief revision / Logic / Mathematical logic / Logic programming


Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran
Add to Reading List

Document Date: 2008-09-10 12:38:39

Open Document

File Size: 198,50 KB

Share Result on Facebook

City

Vienna / Lisbon / Potsdam / /

Company

CNF / X5 / /

Country

Australia / Canada / /

Currency

pence / /

Facility

Griffith University / Simon Fraser University / /

IndustryTerm

procedural algorithm / /

Organization

Griffith University / Artificial Copyright Intelligence / Germany Institut f¨ur Informationssysteme Technische Universit¨at Wien / Association for the Advancement / Austrian Science Fund / Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran School of Computing Science Simon Fraser University Burnaby / Simon Fraser University / /

Person

Ajw / /

Position

model / head / /

ProgrammingLanguage

R / /

TVStation

WIS / /

Technology

procedural algorithm / DLP / /

URL

www.aaai.org / /

SocialTag