The Unifiability Problem in Ground AC Theories

Paliath Narendran Michaël Rusinowitch

Published in: LICS (1993)

Keyphrases

theoretical framework
website
neural network
artificial intelligence
information systems
decision making
knowledge base
defeasible logic
definite clause
underlying assumptions
intelligent design