Aw expanded logic equation list for checkout.
Robert P. LarsenJames Allen LuisiA. K. SinghPublished in: DAC (1982)
Keyphrases
- logic programming
- epistemic logic
- modal logic
- defeasible logic
- logical framework
- sound and complete axiomatization
- deductive reasoning
- numerical solution
- multi valued
- navier stokes
- real time
- delay insensitive
- hamilton jacobi
- nonlinear equations
- differential equations
- ranked list
- expressive power
- mathematical model
- expert systems
- multi agent
- learning algorithm
- databases