1581 search results - page 168 / 317 » Mechanizing Inductive Reasoning |
200
click to vote
ARGMAS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
137
click to vote
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Analysing human behavior is a key step in smart home applications. Many reasoning approaches utilize information of location and posture of the occupant in qualitative as...
147
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
152
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
157
click to vote
SAT
2005
Springer
15 years 12 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...