TouIST: a Friendly Language for Propositional Logic and More.
Jorge Luis Fernandez DavilaOlivier GasquetAndreas HerzigDominique LonginEmiliano LoriniFrédéric MarisPierre RégnierPublished in: IJCAI (2020)
Keyphrases
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- davis putnam
- programming language
- function free horn
- lattice theory
- belief change
- possibilistic logic
- propositional satisfiability
- natural language
- operational semantics
- valued logic
- data model
- search space
- propositional formulas
- truth maintenance systems
- expressive power