1818 search results - page 155 / 364 » Granularity-Adaptive Proof Presentation |
206
click to vote
CLIMA
2006
15 years 7 months ago
2006
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
158
click to vote
COMMA
2006
15 years 7 months ago
2006
We present a procedure for computing the sceptical "ideal semantics" for argumentation in assumption-based frameworks. This semantics was first proposed for logic program...
190
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...
140
click to vote
UAI
2004
15 years 7 months ago
2004
The complexity of a reasoning task over a graphical model is tied to the induced width of the underlying graph. It is well-known that the conditioning (assigning values) on a subs...
120
click to vote
WSC
2001
15 years 7 months ago
2001
A car-following and lane-changing microsimulation model of a two-lane road section has been written in SLX (Simulation Language with eXtensibility) as part of an extensive researc...