Infinitary Propositional Relevant Languages with Absurdity.

Guillermo Badia

Published in: Rev. Symb. Log. (2017)

Keyphrases

expressive power
language independent
cross lingual
higher level
propositional logic
genetic algorithm
artificial intelligence
knowledge representation
default logic
statistical relational learning