Lindenbaum-Type Logical Structures.

Sayantan Roy Sankha S. Basu Mihir K. Chakraborty

Published in: Logica Universalis (2023)

Keyphrases

learning algorithm
search algorithm
search engine
high level
multi agent systems
logical framework