


default search action
Artificial Intelligence, Volume 235
Volume 235, June 2016
- Fangzhen Lin:
A formalization of programs in first-order logic with a discrete linear order. 1-25 - Carlos Ansótegui
, Joel Gabàs, Yuri Malitsky, Meinolf Sellmann:
MaxSAT by improved instance-specific algorithm configuration. 26-39 - Masahiro Goto, Atsushi Iwasaki, Yujiro Kawasaki, Ryoji Kurata, Yosuke Yasuda
, Makoto Yokoo
:
Strategyproof matching with regional minimum and maximum quotas. 40-57 - Luigia Carlucci Aiello:
The multifaceted impact of Ada Lovelace in the digital age. 58-62 - Stefano V. Albrecht, Jacob W. Crandall, Subramanian Ramamoorthy:
Belief and truth in hypothesised behaviours. 63-94 - Jeff Z. Pan
, Yuan Ren, Yuting Zhao:
Tractable approximate deduction for OWL. 95-155 - Longbing Cao
, Xiangjun Dong, Zhigang Zheng:
e-NSP: Efficient negative sequential pattern mining. 156-182

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.