Showing 1 - 13 results of 13 for search 'Labelled Deduction Systems' Narrow Search
Search Tools: Email this Search — Save search to account
1
Academic Journal
Diagnostics as a reasoning process: From logic structure to software design

Authors: Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca Vigano', Margherita Zorzi

Contributors: Cristani, Matteo, Olivieri, Francesco, Tomazzoli, Claudio, Vigano', Luca, Zorzi, Margherita

Subject Terms: Automated Reasoning, Hybrid Reasoning, Defeasible Logic, Labelled Deduction System, SpinDLE

File Description: ELETTRONICO

Relation: volume:27; firstpage:43; lastpage:57; numberofpages:15; journal:JOURNAL OF COMPUTING AND INFORMATION TECHNOLOGY. CIT; https://hdl.handle.net/11562/992671; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85067103061; http://cit.fer.hr/index.php/CIT/article/view/4411

Availability: https://doi.org/10.20532/cit.2019.1004411
https://hdl.handle.net/11562/992671
http://cit.fer.hr/index.php/CIT/article/view/4411

Zugang prüfen (DOI)

Save to List
2
Academic Journal
An O(n log n)-Space Decision Procedure for the Relevance Logic B⁺

Authors: Viganò, Luca

Superior Title: Studia Logica: An International Journal for Symbolic Logic, 2000 Dec 01. 66(3), 385-407.

Access URL: https://www.jstor.org/stable/20016237


Save to List
3
Conference
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning

Authors: M. Cristani, F. Domenichini, C. Tomazzoli, Margherita Zorzi

Contributors: G. Friedrich, M. Ali, F. Wotawa, I. Pill, R. Koitz-Hristov, Cristani, M., Domenichini, F., Tomazzoli, C., Zorzi, Margherita

Subject Terms: Automated Reasoning, Hybrid Reasoning, Defeasible Logic, Labelled Deduction System, SpinDLE

File Description: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-303022998-6; ispartofbook:Proceedings of 32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE 2019); 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019; volume:11606; firstpage:3; lastpage:11; numberofpages:9; serie:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:G. Friedrich, M. Ali, F. Wotawa, I. Pill, R. Koitz-Hristov; http://hdl.handle.net/11562/992862; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85068614305; https://link.springer.com/chapter/10.1007/978-3-030-22999-3_1

Availability: https://doi.org/10.1007/978-3-030-22999-3_1
http://hdl.handle.net/11562/992862

Zugang prüfen (DOI)

Save to List
7
Academic Journal
Fibring Labelled Deduction Systems

Authors: J. RASGA, A. SERNADAS, C. SERNADAS, VIGANO', Luca

Contributors: J., Rasga, A., Sernada, C., Sernada, Vigano', Luca

Subject Terms: Fibring of logic, labelled deduction system, natural deduction, general semantic, category theory

File Description: STAMPA

Relation: volume:12; issue:3; firstpage:443; lastpage:473; numberofpages:31; journal:JOURNAL OF LOGIC AND COMPUTATION; http://hdl.handle.net/11562/235824; http://logcom.oxfordjournals.org/

Availability: https://doi.org/10.1093/logcom/12.3.443
http://hdl.handle.net/11562/235824
http://logcom.oxfordjournals.org/

Zugang prüfen (DOI)

Save to List