Login / Signup
A Resolution Framework for Finitely-Valued First-Order Logics.
Peter W. O'Hearn
Zbigniew Stachniak
Published in:
SCAI (1989)
Keyphrases
</>
main contribution
valued logic
database
search engine
social networks
information systems
multi agent
data model
fuzzy logic
higher order
lightweight