Nondeterministic programming within the frame of first order classical logic, Part 2.
Tamás GergelyLászló ÚryPublished in: Acta Cybern. (1980)
Keyphrases
- classical logic
- valued logic
- logic programming
- modal logic
- programming language
- general logic programs
- higher order
- intuitionistic logic
- first order logic
- revision operators
- possibilistic logic
- computer science and artificial intelligence
- rationality postulates
- artificial intelligence
- deductive databases
- possibility theory
- logic programs
- fuzzy sets
- fuzzy logic
- decision making