The following pages link to Logics in Artificial Intelligence (Q5394160):
Displayed 3 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)