16091 search results - page 160 / 3219 » Solving |
140
Voted
AGP
2003
IEEE
15 years 8 months ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
136
Voted
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Microeconomics offer a far developed theory on the subject of rational choice. This theory is applied to a multi-agent system, which has been modeled in order to establish schedul...
92
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
80
Voted
ISQED
2003
IEEE
15 years 8 months ago
2003
IEEE
125
Voted
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...