Many-Valued Horn Logic is Hard

Stefan Borgwardt; Marco Cerami; R Peñaloza

Back

Conference proceeding

Open access

Peer reviewed

Many-Valued Horn Logic is Hard

Stefan Borgwardt, Marco Cerami and R Peñaloza

PRUV 2014: Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014, pp.52-58

CEUR Workshop Proceedings

First International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014) (Vienna, 23/07/2014 - 24/07/2014)

2014

Handle:

https://hdl.handle.net/10863/26477

Files and links (3)

pdf

00010052302.87 kBDownload View

Open Access

url

http://ceur-ws.org/Vol-1205/View

url

http://ceur-ws.org/Vol-1205/00010052.pdfView

Details

Title: Many-Valued Horn Logic is Hard
Creators: Stefan Borgwardt
Marco Cerami
R Peñaloza
Publication Details: PRUV 2014: Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014, pp.52-58
Editor(s): Lukasiewicz T, Peñaloza R, Turhan AY
ISSN: 1613-0073
Conference: First International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014) (Vienna, 23/07/2014 - 24/07/2014)
Series / Volume: CEUR Workshop Proceedings
Publisher: CEUR
Format: Online
Number of pages: 7
Identifiers: (UNIBZ)755880
991006462298401241
Scopus ID: 2-s2.0-84921056602
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: Borgwardt S, Cerami M, Peñaloza R
Additional Description: Editors/Supervisors: Lukasiewicz T, Peñaloza R, Turhan AY

Metrics

21 File views/ downloads

2 Record Views