Login / Signup
Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic
Susumu Yamasaki
Shuji Doshita
Published in:
Inf. Control. (1984)
Keyphrases
</>
satisfiability problem
np hard
np complete
natural language
horn clauses
horn logic
search algorithm
temporal logic
propositional logic
logical formulas
belief revision
modal logic
stochastic local search algorithms