| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Approximate verification of strategic abilities under imperfect information
|
Jamroga, Wojciech
|
|
2019
|
277 |
C |
p.
|
article
|
| 2 |
Coevolutionary systems and PageRank
|
Chong, S.Y.
|
|
2019
|
277 |
C |
p.
|
article
|
| 3 |
Democratic fair allocation of indivisible goods
|
Segal-Halevi, Erel
|
|
2019
|
277 |
C |
p.
|
article
|
| 4 |
Determining inference semantics for disjunctive logic programs
|
Shen, Yi-Dong
|
|
2019
|
277 |
C |
p.
|
article
|
| 5 |
Editorial Board
|
|
|
2019
|
277 |
C |
p.
|
article
|
| 6 |
Exploiting reverse target-side contexts for neural machine translation via asynchronous bidirectional decoding
|
Su, Jinsong
|
|
2019
|
277 |
C |
p.
|
article
|
| 7 |
From iterated revision to iterated contraction: Extending the Harper Identity
|
Booth, Richard
|
|
2019
|
277 |
C |
p.
|
article
|
| 8 |
Job sequencing with one common and multiple secondary resources: An A⁎/Beam Search based anytime algorithm
|
Horn, Matthias
|
|
2019
|
277 |
C |
p.
|
article
|
| 9 |
Leadership in singleton congestion games: What is hard and what is easy
|
Castiglioni, Matteo
|
|
2019
|
277 |
C |
p.
|
article
|
| 10 |
Natural strategic ability
|
Jamroga, Wojciech
|
|
2019
|
277 |
C |
p.
|
article
|
| 11 |
[No title]
|
Halpern, Joseph Y.
|
|
2019
|
277 |
C |
p.
|
article
|
| 12 |
On rational entailment for Propositional Typicality Logic
|
Booth, Richard
|
|
2019
|
277 |
C |
p.
|
article
|
| 13 |
Optimal cruiser-drone traffic enforcement under energy limitation
|
Rosenfeld, Ariel
|
|
2019
|
277 |
C |
p.
|
article
|
| 14 |
Proving semantic properties as first-order satisfiability
|
Lucas, Salvador
|
|
2019
|
277 |
C |
p.
|
article
|
| 15 |
Representation learning with extreme learning machines and empirical mode decomposition for wind speed forecasting methods
|
Yang, Hao-Fan
|
|
2019
|
277 |
C |
p.
|
article
|
Journal description