Conditionals And Counterfactuals In Prolog.
Jaap HoepelmanAntonius J. M. van HoofPublished in: COLING (1990)
Keyphrases
- logic programming
- expert systems
- belief revision
- constraint logic programming
- causal models
- abstract machine
- knowledge base
- knowledge representation
- programming language
- modal logic
- logic programming language
- logical language
- conditional logic
- functional programming
- prolog programs
- semantically equivalent
- explanation based generalization
- theorem proving
- backward chaining
- database
- e learning
- artificial intelligence
- databases
- data sets