4978 search results - page 124 / 996 » Logical models of argument |
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
132
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
156
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
116
click to vote
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
A nonlinear control law to steer the unicycle model to a static or dynamic target pose is presented. If the target is static the control signals are smooth in their arguments and t...
125
click to vote
ENTCS
2007
15 years 3 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...