Back to Results
First PageMeta Content
Formal languages / Model theory / Propositional calculus / Logic programming / Interpretation / Principia Mathematica / Belief revision / First-order logic / Constructible universe / Logic / Mathematics / Mathematical logic


On Computing Belief Change Operations using Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach
Add to Reading List

Document Date: 2004-08-04 13:44:38

Open Document

File Size: 239,18 KB

Share Result on Facebook

City

Potsdam / Burnaby / /

Company

Russell / /

Country

Germany / Canada / /

Currency

pence / /

/

Facility

Simon Fraser University / /

Organization

Quantified Boolean Formulas∗ Torsten Schaub† Institut f¨ur Informatik Universit¨at Potsdam Postfach / School of Computing Science Simon Fraser University Burnaby / Stefan Woltran Institut f¨ur Informationssysteme / School of Computing Science / Simon Fraser University / /

Person

Hans Tompits / Stefan Woltran / /

Position

General / Harper / QBF evaluator / /

Product

K +8 / /

ProgrammingLanguage

Mathematica / /

Technology

artificial intelligence / JAVA / /

SocialTag