| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Clause vivification by unit propagation in CDCL SAT solvers
|
Li, Chu-Min
|
|
|
279 |
C |
p.
|
artikel
|
| 2 |
Design and results of the Second International Competition on Computational Models of Argumentation
|
Gaggl, Sarah A.
|
|
|
279 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
279 |
C |
p.
|
artikel
|
| 4 |
Governing convergence of Max-sum on DCOPs through damping and splitting
|
Cohen, Liel
|
|
|
279 |
C |
p.
|
artikel
|
| 5 |
Landmark-based approaches for goal recognition as planning
|
Pereira, Ramon Fraga
|
|
|
279 |
C |
p.
|
artikel
|
| 6 |
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
|
Burton, Simon
|
|
|
279 |
C |
p.
|
artikel
|
| 7 |
New models for generating hard random boolean formulas and disjunctive logic programs
|
Amendola, Giovanni
|
|
|
279 |
C |
p.
|
artikel
|
| 8 |
Preference elicitation and robust winner determination for single- and multi-winner social choice
|
Lu, Tyler
|
|
|
279 |
C |
p.
|
artikel
|
| 9 |
Recursively modeling other agents for decision making: A research perspective
|
Doshi, Prashant
|
|
|
279 |
C |
p.
|
artikel
|
| 10 |
Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort
|
Pasini, Tommaso
|
|
|
279 |
C |
p.
|
artikel
|
Tijdschrift beschrijving