|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A history based approximate epistemic action theory for efficient postdictive reasoning |
Eppe, Manfred |
2015 |
13 | 4P3 |
p. 720-769 50 p. |
article |
|
| 2 | Approximate postdictive reasoning with answer set programming |
Eppe, Manfred |
2015 |
13 | 4P3 |
p. 676-719 44 p. |
article |
|
| 3 | A proof-theoretic universal property of determiners |
Francez, Nissim |
2015 |
13 | 4P3 |
p. 799-808 10 p. |
article |
|
| 4 | Automatic grape bunch detection in vineyards with an SVM classifier |
Liu, Scarlett |
2015 |
13 | 4P3 |
p. 643-653 11 p. |
article |
|
| 5 | Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL R |
Zhang, Yan |
2015 |
13 | 4P3 |
p. 654-675 22 p. |
article |
|
| 6 | Computing the Lagrangians of the standard model |
Selesnick, S.A. |
2015 |
13 | 4P3 |
p. 809-824 16 p. |
article |
|
| 7 | Lexicographic pseudo MV-algebras |
Dvurečenskij, Anatolij |
2015 |
13 | 4P3 |
p. 825-841 17 p. |
article |
|
| 8 | Possibilistic reasoning with partially ordered beliefs |
Touazi, Fayçal |
2015 |
13 | 4P3 |
p. 770-798 29 p. |
article |
8 results found