Back to Results
First PageMeta Content
Metalogic / Model theory / Non-classical logic / Belief revision / Interpretation / Stable model semantics / Entailment / Constructible universe / Logical connective / Logic / Mathematical logic / Logic programming


A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien
Add to Reading List

Document Date: 2012-08-16 12:47:43

Open Document

File Size: 496,99 KB

Share Result on Facebook

City

Lisbon / Burnaby / New York / /

Company

ACM Inc. / /

Country

Canada / Australia / United States / /

Currency

pence / USD / /

/

Event

General or Shareholder Meeting / /

Facility

Penn Plaza / Vienna University of Technology / Simon Fraser University / Griffith University / /

/

Organization

Griffith University / Brisbane / Austrian Science Fund / German Science Foundation / Vienna University of Technology / Simon Fraser University / /

Person

STEFAN WOLTRAN / HANS TOMPITS / James Delgrande / /

/

Position

author / logic and constraint programming General / first author / so-called Harper / second author / Harper / /

ProgrammingLanguage

R / /

ProvinceOrState

New York / /

Technology

artificial intelligence / DLP / /

URL

http /

SocialTag