11436 search results - page 202 / 2288 » Modeling Real Reasoning |
192
click to vote
DALT
2010
Springer
14 years 10 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
157
click to vote
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
WEBNET
2000
15 years 4 months ago
2000
: In this paper, we will discuss the problem of proposing links for hypertexts based on Case-Based Reasoning (CBR) techniques. These proposals can be used in addition to traditiona...
124
Voted
KER
2008
15 years 3 months ago
2008
This article surveys existing practical implementations of both defeasible and argumentationbased reasoning engines and associated literature. We aim to summarise the current stat...
115
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...