Sciweavers

3233 search results - page 370 / 647
» Rule Modeling and Markup
Sort
View
ICAIL
2011
ACM
14 years 6 months ago
Argument schemes for two-phase democratic deliberation
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
Trevor J. M. Bench-Capon, Henry Prakken, Wietske V...
ICIP
2003
IEEE
16 years 8 months ago
Adaptive rule-based recognition of events in video sequences
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
Vassilis Tzouvaras, Gabriel Tsechpenakis, Giorgos ...
170
Voted
IAT
2009
IEEE
16 years 1 months ago
How Do Agents Comply with Norms?
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
Guido Governatori, Antonino Rotolo
ATAL
2007
Springer
16 years 27 days ago
Using Case-Based Reasoning in Autonomic Electronic Institutions
Electronic institutions (EIs) define the rules of the game in agent societies by fixing what agents are permitted and forbidden to do and under what circumstances. Autonomic Elec...
Eva Bou, Maite López-Sánchez, Juan A...
BIRTHDAY
2007
Springer
16 years 27 days ago
Superdeduction at Work
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
Paul Brauner, Clément Houtmann, Claude Kirc...