Use of logical models for proving infeasibility in term rewriting.

Salvador Lucas Raúl Gutiérrez

Published in: Inf. Process. Lett. (2018)

Keyphrases

term rewriting
complex systems
learning algorithm
artificial intelligence
probabilistic model
theorem proving
multi agent systems
software engineering
statistical models
computational models