Improved prolog implementation of wang's theorem prover algorithm (1993)
- Authors:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: INTELIGÊNCIA ARTIFICIAL
- Language: Inglês
- Source:
- Título do periódico: Advances in Modelling & Analysis
- Volume/Número/Paginação/Ano: v.25, n.1 , p.55-64, 1993
-
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, v. 25, n. 1 , p. 55-64, 1993Tradução . . Acesso em: 19 set. 2024. -
APA
Monard, M. C., & Nicoletti, M. C. (1993). Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis, 25( 1 ), 55-64. -
NLM
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2024 set. 19 ] -
Vancouver
Monard MC, Nicoletti MC. Improved prolog implementation of wang's theorem prover algorithm. Advances in Modelling & Analysis. 1993 ;25( 1 ): 55-64.[citado 2024 set. 19 ] - Implementação dos sistemas de representação de conhecimento sc
- Programas prolog para processamento de listas
- Implementação lógica de um motor de inferência com raciocínio backward chaining para a construção sistemas especialistas
- Aprendizado de maquina: descricao e implementacao de um algoritmo geral para a construcao de arvores de decisao
- Ensino de computacao no brasil: contextualizacao, problemas e perspectivas
- Learning boolean functions using prime: implicants as features
- Representacao de conhecimento
- Meta interpretadores PROLOG¹
- Perspective of brazilian women in computer science academia
- Raciocinio baseado em casos
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas