Reification of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...
Boontawee Suntisrivaraporn, Franz Baader, Stefan S...
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
Recognition of textual entailment is not an easy task. In fact, early experimental evidences in [1] seems to demonstrate that even human judges often fail in reaching an agreement ...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...
Reversible computing basically means computation with less or not at all electrical power. Since the standard binary gates are not usually reversible we use the Fredkin gate in ord...
This work introduces a new query inference model that can access data and communicate with a teacher by asking finitely many boolean queries in a language L. In this model the pa...