9490 search results - page 1578 / 1898 » Slow Intelligence Systems |
170
Voted
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
148
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...
179
Voted
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
122
click to vote
PRIMA
2007
Springer
16 years 26 days ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
197
click to vote
PRIMA
2007
Springer
16 years 26 days ago
2007
Springer
Navigation services for pedestrians are spreading in recent years. Our approach to provide personal navigation is to build a multiagent system that assigns one guiding agent to eac...