io-port.net

io-port 06106696 Li, Chu Min; Zhu, Zhu; Manyà, Felip; Simon, Laurent

Optimizing with minimum satisfiability. (English)

Artif. Intell. 190, 32-44 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106695 Nguyen, Tuan Anh; Do, Minh; Gerevini, Alfonso Emilio; Serina, Ivan; Srivastava, Biplav; Kambhampati, Subbarao

Generating diverse plans to handle unknown and partially known user preferences. (English)

Artif. Intell. 190, 1-31 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106694 Hnich, Brahim; Rossi, Roberto; Tarim, S.Armagan; Prestwich, Steven

Filtering algorithms for global chance constraints. (English)

Artif. Intell. 189, 69-94 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106693 Domshlak, Carmel; Katz, Michael; Lefler, Sagi

Landmark-enhanced abstraction heuristics. (English)

Artif. Intell. 189, 48-68 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106692 Kolobov, Andrey; Mausam; Weld, Daniel S.

Discovering hidden structure in factored MDPs. (English)

Artif. Intell. 189, 19-47 (2012).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106691 Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Wooldridge, Michael

On the evaluation of election outcomes under uncertainty. (English)

Artif. Intell. 189, 1-18 (2012).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106690 Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola

Magic sets for disjunctive Datalog programs. (English)

Artif. Intell. 187-188, 156-192 (2012).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106689 van Ditmarsch, Hans; van der Hoek, Wiebe; Kooi, Barteld

Local properties in modal logic. (English)

Artif. Intell. 187-188, 133-155 (2012).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106688 Doshi-Velez, Finale; Pineau, Joelle; Roy, Nicholas

Reinforcement learning with limited reinforcement: using Bayes risk for active learning in POMDPs. (English)

Artif. Intell. 187-188, 115-132 (2012).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106687 Fisch, Dominik; Jänicke, Martin; Kalkowski, Edgar; Sick, Bernhard

Learning from others: exchange of classification rules in intelligent distributed systems. (English)

Artif. Intell. 187-188, 90-114 (2012).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106686 Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten

Conflict-driven answer set solving: from theory to practice. (English)

Artif. Intell. 187-188, 52-89 (2012).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106685 Caragiannis, Ioannis; Covey, Jason A.; Feldman, Michal; Homan, Christopher M.; Kaklamanis, Christos; Karanikolas, Nikos; Procaccia, Ariel D.; Rosenschein, Jeffrey S.

On the approximability of Dodgson and Young elections. (English)

Artif. Intell. 187-188, 31-51 (2012).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106684 Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael

Automated verification of state sequence invariants in general game playing. (English)

Artif. Intell. 187-188, 1-30 (2012).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106683 Dvořák, Wolfgang; Ordyniak, Sebastian; Szeider, Stefan

Augmenting tractable fragments of abstract argumentation. (English)

Artif. Intell. 186, 157-173 (2012).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106682 Meir, Reshef; Procaccia, Ariel D.; Rosenschein, Jeffrey S.

Algorithms for strategyproof classification. (English)

Artif. Intell. 186, 123-156 (2012).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106681 Rahwan, Talal; Michalak, Tomasz; Wooldridge, Michael; Jennings, Nicholas R.

Anytime coalition structure generation in multi-agent systems with positive or negative externalities. (English)

Artif. Intell. 186, 95-122 (2012).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106680 d’Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A.; Sierra, Carles

Communicating open systems. (English)

Artif. Intell. 186, 38-94 (2012).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106679 Dvořák, Wolfgang; Pichler, Reinhard; Woltran, Stefan

Towards fixed-parameter tractable algorithms for abstract argumentation. (English)

Artif. Intell. 186, 1-37 (2012).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106678 Basilico, Nicola; Gatti, Nicola; Amigoni, Francesco

Patrolling security games: definition and algorithms for solving large instances with single patroller and single intruder. (English)

Artif. Intell. 184-185, 78-123 (2012).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06106677 Gogate, Vibhav; Dechter, Rina

Importance sampling-based estimation over AND/OR search spaces for graphical models. (English)

Artif. Intell. 184-185, 38-77 (2012).

20

PDF XML AMS-TeX TEXT BIBTeX DOI