Login / Signup
Equivalential Logics (After 25 Years of Investigations).
Janusz Czelakowski
Published in:
Reports Math. Log. (2004)
Keyphrases
</>
years ago
expressive power
modal logic
data sets
genetic algorithm
artificial intelligence
inference rules
experience gained
case study
natural language
evolutionary algorithm
query language
default logic
proof theory
propositional calculus