MEDLAR

The ultimate goals of the MEDLAR(MEchanising Deduction in Logics of Practical Reasoning)-II project are: the synthesis of specific reasoning capabilities like abduction, analogy, planning, and model building, in a given combination of logics; the development of the general framework (LDS, labelled deductive systems) to produce the specific reasoning capabilities; exploration of the architecture for specialisation, implementation and integration of these higher-level reasoning capabilities in a generic practical reasoning agent.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Liu, Y. P.; Liao, S. J.; Li, Z. B.: Symbolic computation of strongly nonlinear periodic oscillations (2013)
  2. Soboll, Thomas: On the construction of transformation steps in the category of multiagent systems (2008)
  3. Emch, Gérard G.: Models and the dynamics of theory-building in physics. I: Modeling strategies (2007)
  4. Tang, Jianliang; Chen, Wensheng: Solution classification for the nonperspective-three-point problem (2006)
  5. Edtmayr, Johann: Global modal logics for multiagent systems: a logical fibering approach (2005)
  6. Pfalzgraf, J.; Mitterauer, B.: Towards a biomathematical model of intentional autonomous multiagent systems (2005)
  7. Gao, Xiaoshan; Huang, Leidong; Jiang, Kun: Geometric constraint solving with geometric transformation (2001)
  8. Schulz, K. U.; Kepser, S.: Combination of constraint systems II: Rational amalgamation (2001)
  9. Tran, Quoc-Nam: Extended Dixon’s resultant and its applications (1998)
  10. Hähnle, Reiner; Escalada-Imaz, Gonzalo: Deduction in many-valued logics: A survey (1997)
  11. Pfalzgraf, J.: On geometric and topological reasoning in robotics (1997)
  12. Cunningham, Jim (ed.): Special issue of the ESPRIT project MEDLAR (1996)
  13. Pfalzgraf, Jochen: An application of Grassmann geometry to a problem in robotics (1996)
  14. Pfalzgraf, Jochen (ed.); Wang, Dongming (ed.): Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham (1995)