Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
Navid Ahmadi, Mehdi Jazayeri, Francesco Lelli, Sas...
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems. However, users of this technology need significant ex...
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...