JAPLL
2008
13 years 6 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
JAPLL
2008
13 years 6 months ago
2008
JAPLL
2008
13 years 6 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...
JAPLL
2008
13 years 6 months ago
2008
Maurer machines are much closer to real computers than Turing machines. Computer instructions play a prominent part in Maurer machines. We show a straightforward way to simulate Tu...
JAPLL
2008
13 years 6 months ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...