838 search results - page 17 / 168 » From Natural Language to Formal Proof Goal |
JSC
2000
13 years 7 months ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
CAISE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than re...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
In agent theory and agent programming, goals constitute the motivational attitude of rational agents and form the key concept in explaining and generating their pro-active behavior...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...