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

PDF.

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.

PDF


A logic for approximate reasoning with a comparative connective.

T. Vetterlein
ECAI 2012 Workshop on Weighted Logics for AI

PDF


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

PDF


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)

PDF


A consequence relation for graded inference within the frame of infinite-valued Lukasiewicz semantics

D. Picado
Accepted for publication in Fundamenta Informaticae

PDF


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

PDF



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.

PDF


Plausible reasoning and graded information: a unified approach

T. Vetterlein
Accepted for publication in Fuzzy Sets and Systems

PDF


Measuring and repairing inconsistency in probabilistic knowledge bases

D. Picado
Journal of Approximate Reasoning, 52(6): 828-840 (2011).

PDF


A probabilistic interpretation of the medical expert system CADIAG-2

D. Picado
Soft Computing, 15(10): 2013-2020 (2011)

PDF


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).

DOC


On good EQ-algebras

M. El-Zekey, V. Novak and R. Mesiar
Fuzzy Sets and Systems, 178(1): 1-23 (2011)

PDF


2010


On the (fuzzy) logical content of Cadiag-2

A. Ciabattoni and T. Vetterlein
Fuzzy Sets and Systems, 161(14): 1941-1958 (2010)

PDF


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)

PDF


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

PDF


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

PDF


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

PDF


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

PDF


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

; pp. 252-257.

PDF


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

PDF


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

PDF


T-norm-based fuzzy logics and logics for reasoning under vagueness

T. Vetterlein and K-P. Adlassnig
IFSA/EUSFLAT Conf. 2009: 1085-1090

PDF


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.

PDF