Formalization of PAL·S5 in Proof Assistant.

Published in: CoRR (2020)

Keyphrases

test bed
information systems
knowledge representation
formal model
theorem prover
theorem proving
proof planning
real world
case study
image segmentation
video sequences
natural language
linear logic
mathematical proofs