Some Preliminary Steps Towards Metaverse Logic.

Antonio L. Furtado Marco A. Casanova Edirlei Soares de Lima

Published in: CoRR (2023)

Keyphrases

modal logic
classical logic
logic programming
nonmonotonic logics
neural network
logic programs
real world
machine learning
image processing
hidden markov models
probabilistic logic
computational properties
defeasible logic
formal theory