A logic of knowledge based on abstract arguments.
Yì N. WángXu LiPublished in: J. Log. Comput. (2021)
Keyphrases
- propositional dynamic logic
- high level
- modal logic
- low level
- classical logic
- predicate logic
- logic programming
- logic based argumentation
- proof procedures
- logical framework
- multi valued
- computational properties
- argumentation theory
- database
- expert systems
- predicate calculus
- formal theory
- proof theory
- information systems
- data sets