Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic.

Cezary Kaliszyk Karol Pak

Published in: CICM (2017)

Keyphrases

d objects
natural deduction
moving objects
object model
computer assisted
theorem prover
structural properties
complex objects
logic programming
object tracking
target object
multi valued
neural network
description logics
image features
multimedia
formal language
deontic logic
computer vision