Programacao Logica Teses
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
2. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
3. Tutor inteligente para a programação em lógica : idealização, projecto e desenvolvimento
Este trabalho de investigação situa-se na área dos Tutores Inteligentes ("Intelligent Tutor"), para o ensino da Programação em lógica, envolvendo figuras de programação (decisão, repetição recursão) e estruturas de representação da informação. 0 Tutor- Prolog ensina um subconjunto da linguagem de programação Prolog através da geração aut
Publicado em: 2009