THEOREM-PROVER FOR A DECIDABLE SUBSET OF DEFAULT LOGIC.

Volumn , Issue , 1983, Pages 27-30

  Besnard, Philippe ^a   Quiniou, Rene ^a   Quinton, Patrice ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

'SATURATION' RESOLUTION TECHNIQUE; ARTIFICIAL INTELLIGENCE; DECIDABLE THEOREM-PROVER FOR DEFAULT LOGIC; INCOMPLETE KNOWLEDGE; NON-MONOTONIC LOGIC; THEORY EVOLUTION;

AUTOMATA THEORY;

EID: 0020945614     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)