DAL-A logic for data analysis

Theoretical Computer Science

Volumn 36, Issue C, 1985, Pages 251-264

  Del Cerro, Luis Fariñas ^a   Orłowska, Ewa ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC;

DAL; DATA ANALYSIS LOGIC;

DATA PROCESSING;

EID: 0022047840     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(85)90046-5     Document Type: Article

References (13)

1. A simple decision method for modal lofic
2. First Order Dynamic Logic
3. Knowledge representation systems
4. PAL—propositional algorithmic logic, logic of programs
5. Representation of vague information
6. Expressive power of knowledge representation systems
7. Information systems-theoretical foundations
8. Rough sets
9. Rough classification