On Lukasiewicz Modifier Logic.
Jorma K. MattilaPublished in: J. Adv. Comput. Intell. Intell. Informatics (2005)
Keyphrases
- modal logic
- truth values
- classical logic
- logic programming
- inference rules
- epistemic logic
- temporal logic
- multi valued
- automated reasoning
- formal theory
- computational properties
- dynamic logic
- databases
- asynchronous circuits
- abductive reasoning
- defeasible logic
- logical framework
- default logic
- logic programs
- evolutionary algorithm
- search algorithm