Now showing items 1-3 of 3

    • Description logic Knowledge and Action Bases 

      Bagheri Hariri B; Calvanese D; Montali M; De Giacomo G; De Masellis R; Felli P ({AAAI} Press/The {MIT} Press, 2013)
      Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ...
    • Supervisory Control for Behavior Composition 

      Felli P; Yadav N; Sardina S (IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2017)
      We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior (e.g., a ...
    • Toward Process Control from Formal Models of Transformable Manufacturing Systems 

      Bakker OJ; Chaplin JC; de Silva L; Felli P; Sanderson D; Logan B; Ratchev S (Elsevier, 2017)
      The automation and flexibility of production systems is a key step towards improved profitability and competitiveness in high labour cost areas, when producing high-complexity, low-volume products. In the Evolvable Assembly ...