33 search results - page 7 / 7 » Naming Proofs in Classical Propositional Logic |
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
JSW
2008
13 years 4 months ago
2008
Automated negotiation is an important applying field of agent theory and technology. For the current agent theoretical models have some troubles in explaining the agent's nego...
CSL
2000
Springer
13 years 9 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...