3552 search results - page 395 / 711 » Proof theory in the abstract |
149
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
146
click to vote
MKM
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In previous papers we described the implementation of a system which combines mathematical object generation, transformation and filtering, conjecture generation, provin...
166
click to vote
CEEMAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An autonomous agent may largely benefit from its ability to reconstruct another agent’s reasoning principles from records of past events and general knowledge about th...
197
click to vote
DIGRA
2005
Springer
16 years 9 days ago
2005
Springer
The Game Ontology Project (GOP) is creating a framework for describing, analyzing and games, by defining a hierarchy of concepts abstracted from an analysis of many specific games...
183
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...