Bicocca Open Archive

Logo unimib boa

Borgwardt, S., Cerami, M., Peñaloza, R. (2014). Many-Valued Horn Logic is Hard. In 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.

Many-Valued Horn Logic is Hard

Peñaloza, R
2014
paper
many-valued logics, Horn logic, complexity analysis
English
First International Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014)
2014
Lukasiewicz, T; Peñaloza, R; Turhan, AY
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
2014
1205
52
58
open
Borgwardt, S., Cerami, M., Peñaloza, R. (2014). Many-Valued Horn Logic is Hard. In 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.
02 - Intervento a convegno
File in questo prodotto:
File Dimensione Formato  
BoCP-PRUV14.pdf

accesso aperto

Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Dimensione 302.87 kB
Formato Adobe PDF
Visualizza/Apri
302.87 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/257711
Citazioni
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
Social impact