Publications
Edited Books
Handbook of Mathematical Fuzzy Logic - volume 1
(edited by P. Cintula, P. Hájek and C. Noguera)
Studies in Logic, vol. 37, College Publications, London, 2011.
Handbook of Mathematical Fuzzy Logic - volume 2
(edited by P. Cintula, P. Hájek and C. Noguera)
Studies in Logic, vol. 38, College Publications, London, 2011.
PAPERS
2012
Formal approaches to rule-based systems in medicine: the case of CADIAG2.
A.Ciabattoni, D. Picado, T. Vetterlein and M. El-Zekey
Accepted for Publication in Journal of Approximate Reasoning
Standard completeness for extensions of MTL: an automated approach.
P. Baldi, A.Ciabattoni and L. Spendier
Workshop on Logic, Language, Information and Computation (WOLLIC 2012).
LNAI.
A logic for approximate reasoning with a comparative connective.
T. Vetterlein
ECAI 2012 Workshop on Weighted Logics for AI
Theorem proving for prenex Goedel logic with Delta: checking validity and unsatisfiability
M. Baaz, A.Ciabattoni and C.G. Fermueller
Accepted for publication in Logical Methods for Computer Science
An extension of Goedel logic for reasoning under both vagueness and possibilistic uncertainty
M. El-Zekey and L. Godo
Accepted for publication in the proceedings of the 14th International
Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2012)
A consequence relation for graded inference within the frame of infinite-valued Lukasiewicz semantics
D. Picado
Accepted for publication in Fundamenta Informaticae
Graded properties of unary and binary fuzzy connectives
L. Behounek
Accepted for publication in Fuzzy Sets and Systems, doi: 10.1016/j.fss.2011.12.020
2011
Towards an interpretation of the medical expert system CADIAG2
D. Picado, A. Ciabattoni and T. Vetterlein
Accepted for publication in the book 'Fuzziness and Medicine:
Philosophy and Application Systems',
Rudolf Seising and Marco Tabacchi Editors.
Introduction to Mathematical Fuzzy Logic.
L. Behounek, P. Cintula and P. Hajek.
In: Handbook of Mathematical Fuzzy Logic - volume 1,
Studies in Logic, vol. 37, College Publications, London, 2011, pp. 1-102.
Measuring and repairing inconsistency in knowledge base with graded truth
D. Picado
Accepted for publication in Fuzzy Sets and
Systems
First-order satisfiability in Goedel Logics: an NP-complete fragment
M. Baaz, A. Ciabattoni and N. Preining
Theoretical Computer Science, 412 (2011), pp. 6612-6623.
Plausible reasoning and graded information: a unified approach
T. Vetterlein
Accepted for publication in Fuzzy Sets and Systems
Measuring and repairing inconsistency in probabilistic knowledge bases
D. Picado
Journal of Approximate Reasoning, 52(6): 828-840 (2011).
A probabilistic interpretation of the medical expert system CADIAG-2
D. Picado
Soft Computing, 15(10): 2013-2020 (2011)
The consistency of the medical expert system CADIAG-2: A probabilistic approach.
P. Klinov, B. Parsia and D. Picado
Journal of Information Technology Research.
Special issue on medical diagnosis systems. Vol. 4(1): 1-20, (2011).
On good EQ-algebras
M. El-Zekey, V. Novak and R. Mesiar
Fuzzy Sets and Systems, 178(1): 1-23 (2011)
2010
On the (fuzzy) logical content of Cadiag-2
A. Ciabattoni and T. Vetterlein
Fuzzy Sets and Systems, 161(14): 1941-1958 (2010)
Fuzzy Arden Syntax: A fuzzy programming language for medicine
T. Vetterlein, H. Mandl, K.-P. Adlassnig.
Artificial Intelligence in Medicine 49(1): 1-10 (2010)
The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach
P. Klinov, B. Parsia and D. Picado
Accepted to the 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR 2010: Yogyakarta
A resolution mechanism for prenex Goedel logic
M. Baaz and C.G. Fermueller
Proceedings of the 19th EACSL Annual Conference on Computer Science Logic
CSL 2010. Brno, CZ. LNCS, pp. 67-79.
PDF
On the logics of similarity-based approximate and strong entailments
F. Esteva, L. Godo, R. O. Rodríguez and T. Vetterlein
Proceedings of ESTYLF 2010: 187-192, Huelva
On the classical content of monadic G~ and its application to a fuzzy medical expert system
A. Ciabattoni and P. Rusnok
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
KR 2010: 373-381,
Toronto
Detection of inaccuracy in a medical knowledge base using a classical theorem prover
P. Rusnok and K-P. Adlassnig
Proceedings of the conference Health Informatics meets eHealth eHealth 2010,
Vienna
A graded inference approach based on infinite-valued Łukasiewicz semantics
D. Picado
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic
ISMVL 2010, Barcelona
The (probabilistic) logical content of Cadiag-2
D. Picado
Proceedings of the International Conference
on Agents and Artificial Intelligence,
ICAART 2010, Volime 1; pp. 28-35, Valencia. INSTICC Press
2009
SAT in Monadic Gödel Logics:
a borderline between
decidability and undecidability
M. Baaz, A. Ciabattoni and N. Preining
Proceedings of the 16th Workshop on Logic, Language, Information and Computation
WOLLIC 2009, Tokyo.
LNCS nr. 5514/2009
T-norm-based fuzzy logics and logics for reasoning under vagueness
T. Vetterlein and K-P. Adlassnig
IFSA/EUSFLAT Conf. 2009: 1085-1090
A formal logical framework for Cadiag-2
A. Ciabattoni, T. Vetterlein and K-P.
Adlassnig
Proceedings of Medical Informatics in Europe MIE 2009, Sarajevo
Studies in Health Technology and Informatics
series
IOS Press, vol. 150; pp. 648-652.
Cadiag-2 and Fuzzy Probability Logics
P. Rusnok, T. Vetterlein and K.-P. Adlassnig
Cadiag-2 and Fuzzy Probability Logics. Proceedings of Medical Informatics in Europe
MIE 2009, Sarajevo: 773
2008
Fuzzy logic as a logic of the expressive strength of information
T. Vetterlein
Soft Comput. 12 (2008), 479 - 485.