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
References in zbMATH (referenced in 12 articles )
Showing results 1 to 12 of 12.
- Soboll, Thomas: On the construction of transformation steps in the category of multiagent systems (2008)
- Emch, Gérard G.: Models and the dynamics of theory-building in physics. I: Modeling strategies (2007)
- Tang, Jianliang; Chen, Wensheng: Solution classification for the nonperspective-three-point problem (2006)
- Edtmayr, Johann: Global modal logics for multiagent systems: a logical fibering approach (2005)
- Pfalzgraf, J.; Mitterauer, B.: Towards a biomathematical model of intentional autonomous multiagent systems (2005)
- Gao, Xiaoshan; Huang, Leidong; Jiang, Kun: Geometric constraint solving with geometric transformation (2001)
- Schulz, K.U.; Kepser, S.: Combination of constraint systems II: Rational amalgamation (2001)
- Tran, Quoc-Nam: Extended Dixon’s resultant and its applications (1998)
- Hähnle, Reiner; Escalada-Imaz, Gonzalo: Deduction in many-valued logics: A survey (1997)
- Pfalzgraf, J.: On geometric and topological reasoning in robotics (1997)
- Cunningham, Jim (ed.): Special issue of the ESPRIT project MEDLAR (1996)
- Pfalzgraf, Jochen: An application of Grassmann geometry to a problem in robotics (1996)