PUC-Logic.
Ricardo Queiroz de Araujo FernandesEdward Hermann HaeuslerLuiz Carlos PereiraPublished in: DEXA Workshops (2016)
Keyphrases
- logic programming
- classical logic
- computational properties
- artificial intelligence
- predicate logic
- multi valued
- automated reasoning
- modal logic
- expressive power
- logic programs
- probabilistic logic
- logical framework
- evolutionary algorithm
- decision making
- real time
- formal theory
- epistemic logic
- sound and complete axiomatization