Abstract Computation in Schizophrenia Detection through Artificial Neural Network Based Systems by L. Cardoso, F. Marins, R. Magalhães, N. Marins, T. Oliveira, H. Vicente, A. Abelha, J. Machado, J. Neves

“…Therefore, this work will focus on the development of a diagnostic support system, in terms of its knowledge representation and reasoning procedures, based on a blended of Logic Programming and Artificial Neural Networks approaches to computing, taking advantage of a novel approach to knowledge representation and reasoning, which aims to solve the problems associated in the handling (i.e., to stand for and reason) of defective information.…”
Get full text

Declarative Programming with Temporal Constraints, in the Language CG by Lorina Negreanu

“…Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. …”
Get full text