Reasoning about priorities in default logic

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 1994, Pages 940-945

  Brewka, Gerhard ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES;

DEFAULT LOGIC; DEFAULT PRIORITIES; REITER'S DEFAULT LOGIC;

FORMAL LOGIC;

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

References (24)