undefined

< Back to search results

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Year of publication

2022

Authors

Jaakkola, Reijo; Janhunen, Tomi; Kuusisto, Antti; Feyzbakhsh Rankooh, Masood; Vilander, Miikka;

Organizations and authors

Tampere University

Kuusisto Antti

Feyzbakhsh Rankooh Masood

Jaakkola Reijo Orcid -palvelun logo

Janhunen Tomi Orcid -palvelun logo

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Other article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Journal/Series

CEUR workshop proceedings

Parent publication name

Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning HYDRA} 2022 and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion RCRA 2022 co-located wit

Conference

RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion

Publisher

CEUR Workshop Proceedings

Volume

3281

Pages

64-77

ISSN

1613-0073

​Publication forum

53269

​Publication forum level

1

Open access

Open access in the publisher’s service

Yes

Open access of publication channel

Fully open publication channel

License of the publisher’s version

CC BY

Self-archived

Yes

License of the self-archived publication

CC BY

Other information

Fields of science

Computer and information sciences

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes