[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: ALBERTO JOSE FONSECA ADEODATO
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: MAXWELL
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
[pt] JOGOS SEMANTICOS
[pt] PROGRAMACAO LOGICA
[en] SEMANTIC GAMES
[en] LOGIC PROGRAMMING
Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=2
http://doi.org/10.17771/PUCRio.acad.9374
Resumo: [pt] Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suportada pelo provador PROGRAME. O ambiente foi idealizado o mais próximo possível nos ambientes PROLOG, com a facilidade adicional de permitir que no código do programa a ele submetido sejam utilizados indiferentemente goals a serem provados neste ambiente ou PROGRAME.
id PUC_RIO-1_67d454191f50639da1aca7b7b160b52b
oai_identifier_str oai:MAXWELL.puc-rio.br:9374
network_acronym_str PUC_RIO-1
network_name_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository_id_str
spelling [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER [pt] UM AMBIENTE DE PROGRAMAÇÃO LÓGICA SUPORTADO POR UM PROVADOR SEMÂNTICO [pt] JOGOS SEMANTICOS[pt] PROGRAMACAO LOGICA[en] SEMANTIC GAMES[en] LOGIC PROGRAMMING[pt] Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suportada pelo provador PROGRAME. O ambiente foi idealizado o mais próximo possível nos ambientes PROLOG, com a facilidade adicional de permitir que no código do programa a ele submetido sejam utilizados indiferentemente goals a serem provados neste ambiente ou PROGRAME. [en] Haeusler and Pequeno developed a theorem proving method based on semântica games introduced by Hintikka. Later, Rios developed the program PROGRAME witch implements this method. Our work describes a logic programming environment developed with the aim of offering the user logic programming facilities supported by the PROGRAME prover. The programming environment was chosen to be PROLOG-like with additional facility of permiting that a given goal can b proved both by or environment and by the PROGRAME proverMAXWELLTARCISIO HAROLDO CAVALCANTE PEQUENOALBERTO JOSE FONSECA ADEODATO2006-12-11info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttps://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=2http://doi.org/10.17771/PUCRio.acad.9374porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2017-09-14T00:00:00Zoai:MAXWELL.puc-rio.br:9374Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342017-09-14T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false
dc.title.none.fl_str_mv [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
[pt] UM AMBIENTE DE PROGRAMAÇÃO LÓGICA SUPORTADO POR UM PROVADOR SEMÂNTICO
title [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
spellingShingle [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
ALBERTO JOSE FONSECA ADEODATO
[pt] JOGOS SEMANTICOS
[pt] PROGRAMACAO LOGICA
[en] SEMANTIC GAMES
[en] LOGIC PROGRAMMING
title_short [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
title_full [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
title_fullStr [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
title_full_unstemmed [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
title_sort [en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
author ALBERTO JOSE FONSECA ADEODATO
author_facet ALBERTO JOSE FONSECA ADEODATO
author_role author
dc.contributor.none.fl_str_mv TARCISIO HAROLDO CAVALCANTE PEQUENO
dc.contributor.author.fl_str_mv ALBERTO JOSE FONSECA ADEODATO
dc.subject.por.fl_str_mv [pt] JOGOS SEMANTICOS
[pt] PROGRAMACAO LOGICA
[en] SEMANTIC GAMES
[en] LOGIC PROGRAMMING
topic [pt] JOGOS SEMANTICOS
[pt] PROGRAMACAO LOGICA
[en] SEMANTIC GAMES
[en] LOGIC PROGRAMMING
description [pt] Haeusler e Pequeno desenvolveram um método de prova de teoremas baseado em jogos semânticos introduzidos por Hintikka. Posteriormente Rios desenvolveu o programa PROGRAME que implementa este método. Este trabalho descreve um ambiente de programação lógica desenvolvido com a finalidade de oferecer ao usuário facilidades de programação lógica suportada pelo provador PROGRAME. O ambiente foi idealizado o mais próximo possível nos ambientes PROLOG, com a facilidade adicional de permitir que no código do programa a ele submetido sejam utilizados indiferentemente goals a serem provados neste ambiente ou PROGRAME.
publishDate 2006
dc.date.none.fl_str_mv 2006-12-11
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=2
http://doi.org/10.17771/PUCRio.acad.9374
url https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=1
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=9374&idi=2
http://doi.org/10.17771/PUCRio.acad.9374
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv MAXWELL
publisher.none.fl_str_mv MAXWELL
dc.source.none.fl_str_mv reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)
instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron:PUC_RIO
instname_str Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
instacron_str PUC_RIO
institution PUC_RIO
reponame_str Repositório Institucional da PUC-RIO (Projeto Maxwell)
collection Repositório Institucional da PUC-RIO (Projeto Maxwell)
repository.name.fl_str_mv Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)
repository.mail.fl_str_mv
_version_ 1856395893751676928

Registros relacionados