Knowledge Representation in a Proof Checker for Logic Programs
None
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Capítulo de libro |
| Lenguaje: | inglés |
| Publicado: |
IntechOpen
2012
|
| Materias: | |
| Acceso en línea: | https://www.intechopen.com/chapters/36660 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares: Knowledge Representation in a Proof Checker for Logic Programs
- ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning
- Isabelle's Metalogic: Formalization and Proof Checker
- Logic of Integrity, Fuzzy Logic and Knowledge Modeling for Machine Education
- iSummary: Workload-based, Personalized Summaries for Knowledge Graphs
- Extensions of Deductive Concept in Logic Programming and Some Applications
- Fuzzy Logic, Knowledge and Natural Language