1588 search results - page 228 / 318 » On the Logic of Constitutive Rules |
COMMA
2006
15 years 2 months ago
2006
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular qu...
116
click to vote
DSS
2008
15 years 1 months ago
2008
Outsourcing of complex IT infrastructure to IT service providers has increased substantially during the past years. IT service providers must be able to fulfil their service-qualit...
102
click to vote
JLP
2006
15 years 1 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
125
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
Packet classification is one of the major challenges in designing high-speed routers and firewalls as it involves sophisticated multi-dimensional searching. Ternary Content Address...
121
click to vote
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...