Artificial Intelligence, Automated Reasoning, and Symbolic Computation
暂无分享,去创建一个
[1] Vladimir Tarasov. Applying intelligent agent technology to create instruction programs , 1998 .
[2] Volker Sorge,et al. Critical Agents Supporting Interactive Theorem Proving , 1999, EPIA.
[3] B. Peirce. A short table of integrals , 1898 .
[4] Stefan Ratschan,et al. Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving , 2000, J. Univers. Comput. Sci..
[5] Boi Faltings,et al. Consistency techniques for continuous constraints , 1996, Constraints.
[6] Sergey P. Shary,et al. Outer Estimation of Generalized Solution Sets to Interval Linear Systems , 1999, Reliab. Comput..
[7] Anand S. Rao,et al. Modeling Rational Agents within a BDI-Architecture , 1997, KR.
[8] Stefan Ratschan,et al. Quantified Constraints Under Perturbation , 2002, J. Symb. Comput..
[9] Stefan Ratschan,et al. Approximate Quantified Constraint Solving by Cylindrical Box Decomposition , 2002, Reliab. Comput..
[10] Simon Colton,et al. A Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning , 2001 .
[11] James H. Davenport,et al. Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .
[12] Claude Moulin,et al. Adaption of a system to the Student's Behaviour , 1997 .
[13] Stefan Ratschan. Applications of Real First-Order Constraint Solving Bibliography , 2001 .
[14] Daniel Richardson,et al. Some undecidable problems involving elementary functions of a real variable , 1969, Journal of Symbolic Logic.
[15] Penny Nii. The blackboard model of problem solving , 1986 .
[16] Manuel Bronstein,et al. Symbolic integration I: transcendental functions , 1997 .
[17] Sarit Kraus,et al. Strategic Negotiation in Multiagent Environments , 2001, Intelligent robots and autonomous agents.
[18] Lou van den Dries,et al. Alfred Tarski's Elimination Theory for Real Closed Fields , 1988, J. Symb. Log..
[19] G. Sacks. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .
[20] J. Renegar,et al. On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I , 1989 .