5378 search results - page 273 / 1076 » Base Logics in Argumentation |
213
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
282
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
172
Voted
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
171
Voted
ISVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Performance, power, and functionality, yield and manufacturability are rapidly becoming additional critical factors that must be considered at higher levels of ion. A possible sol...
176
click to vote
KI
2007
Springer
16 years 28 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...