Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Solving graded/probabilistic modal logic via linear inequalities (system description)

Subjects: Keywords: Decision procedure; Linear constraints; Linear inequalitiesMerida

  • Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

تفاصيل العنوان

×
  • 1-6 ل  6 نتائج ل ""Mérida""