Formalising Basic Topology for Computational Logic in Simple Type Theory.

David Fuenmayor Fabián Fernando Serrano Suárez

Published in: CICM (2022)

Keyphrases

computational logic
logic programming
theoretical frameworks
multi agent systems
general purpose
management science
learning algorithm
case study
keywords
information technology
programming language
graphical models
theoretical framework