321 search results - page 2 / 65 » Logic and Choice |
CADE
2003
Springer
14 years 6 months ago
2003
Springer
AGP
2003
IEEE
13 years 11 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
TARK
2009
Springer
14 years 9 days ago
2009
Springer
We study games in which the choices available to players are not fixed, and may change during the course of play. Specifically, we consider a model in which players may switch st...
FOIKS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
CADE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...