Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity
págs. 4-20
Syntactic transformation rules under P-Stable semantics: theory and implementation
págs. 21-37
págs. 38-53
págs. 54-63
© 2001-2024 Fundación Dialnet · Todos los derechos reservados