Herbrand interpretation, model and least model within the framework of logic programming (1993)
- Authors:
- Autor USP: MONARD, MARIA CAROLINA - ICMC
- Unidade: ICMC
- Assunto: MATEMÁTICA DA COMPUTAÇÃO
- Language: Inglês
- Imprenta:
- Publisher: ICMSC-USP
- Publisher place: São Carlos
- Date published: 1993
-
ABNT
NICOLETTI, M C e MONARD, Maria Carolina. Herbrand interpretation, model and least model within the framework of logic programming. . São Carlos: ICMSC-USP. Disponível em: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf. Acesso em: 01 dez. 2025. , 1993 -
APA
Nicoletti, M. C., & Monard, M. C. (1993). Herbrand interpretation, model and least model within the framework of logic programming. São Carlos: ICMSC-USP. Recuperado de https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf -
NLM
Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 dez. 01 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf -
Vancouver
Nicoletti MC, Monard MC. Herbrand interpretation, model and least model within the framework of logic programming [Internet]. 1993 ;[citado 2025 dez. 01 ] Available from: https://repositorio.usp.br/directbitstream/d3385f58-13a9-44fd-b2e1-a8ed031bcc57/848273.pdf - 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
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
848273.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
