2308 search results - page 247 / 462 » Representing Symbolic Reasoning |
185
click to vote
ICTAI
2005
IEEE
16 years 4 days ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
139
click to vote
EUROCAST
2005
Springer
16 years 2 days ago
2005
Springer
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
172
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
152
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
183
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...