Improved knowledge management through first-order logic in engineering design ontologies

By  

AI EDAM, Vol. 24, Iss. 2, 2010-05 ,pp. : 245-257

Cambridge University Press

Access to resources Recommend Favorite

A linear algebraic approach to datalog evaluation

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 3, 2017-05 ,pp. : 244-265

Cambridge University Press

Access to resources Recommend Favorite

Coping with joint velocity limits in first-order inverse kinematics algorithms: analysis and real-time implementation

By  

Robotica, Vol. 13, Iss. 5, 1995-09 ,pp. : 515-519

Cambridge University Press

Access to resources Recommend Favorite

ASPeRiX, a first-order forward chaining approach for answer set computing*

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 3, 2017-05 ,pp. : 266-310

Cambridge University Press

Access to resources Recommend Favorite

Local Convergence of an Efficient High Convergence Order Method Using Hypothesis Only on the First Derivative

By Argyros Ioannis K.   Behl Ramandeep   Motsa S.S.  

Algorithms, Vol. 8, Iss. 4, 2015-11 ,pp. : 1076-1087

MDPI

Access to resources Recommend Favorite