---
title: "From History to Computer Science: A Formalization of the Inferential Processes of an Historian"
authors:
  - "Gian Piero Zarri"
doi: ""
url: "https://ijcai.org/proceedings/1979/221"
pdf: "https://ijcai.org/proceedings/1979/0221.pdf"
venue: "Proceedings of the Sixth International Joint Conference on Artificial Intelligence"
year: 1979
pages: ""
track: ""
keywords:
---

# From History to Computer Science: A Formalization of the Inferential Processes of an Historian

Gian Piero Zarri

*Proceedings of the Sixth International Joint Conference on Artificial Intelligence*.

## Abstract

The object of the present paper is to discus s the results of the work carried out to define as strictly as possible the formal system of representation of the inferenc e procedures ("hypotheses") characteristic of the RESEDA project. RESEDA is a question-answering system which operates on a data base containing biographical information concerning c haract ers involved in the medieval history of France.