Abstract is missing.
- Everything's Bigger in Texas: "The Largest Math Proof Ever"Marijn Heule. 1-5 [doi]
- Extending the Description Logic ALC with More Expressive Cardinality Constraints on ConceptsFranz Baader, Andreas Ecke. 6-19 [doi]
- Object-sensitive Deep Reinforcement LearningYuezhang Li, Katia P. Sycara, Rahul Iyer. 20-35 [doi]
- Basic Independence Results for Maximum Entropy Reasoning Based on Relational ConditionalsMarco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke. 36-50 [doi]
- Replaceability and the Substitutability Hierarchy for Constraint Satisfaction ProblemsEugene C. Freuder, Richard J. Wallace. 51-63 [doi]
- Properties of Constrained Generalization AlgorithmsThierry Boy de la Tour. 64-77 [doi]
- Iterated contraction of propositions and conditionals under the principle of conditional preservationGabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle. 78-92 [doi]
- A Genetic Algorithm for Truck Dispatching in MiningWesley Cox, Tim French 0002, Mark Reynolds, Lyndon While. 93-106 [doi]
- Reasoning Inside The Box: Deduction in Herbrand LogicsLiron Cohen, Yoni Zohar. 107-120 [doi]
- Automated Invention of Strategies and Term Orderings for VampireJan Jakubuv, Martin Suda, Josef Urban. 121-133 [doi]
- A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic EnvironmentsAlexandra Kirsch. 134-147 [doi]
- Quantification and Analysis of the Resilience of Two Swarm Intelligent AlgorithmsJoshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa. 148-161 [doi]
- Improved Heuristic for Manipulation of Second-order Copeland ElectionsRamoni O. Lasisi, Abibat A. Lasisi. 162-174 [doi]
- Improving SAT Solver Performance with Structure-based Preferential BumpingSima Jamali, David Mitchell. 175-187 [doi]
- Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge BasesGopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay, Giora Slutzki. 188-201 [doi]
- Enhanced Simplified Memory-bounded A Star (SMA*+)Justin Lovinger, Xiaoqin Zhang. 202-212 [doi]
- Anemic Status Prediction using Multilayer Perceptron Neural Network ModelChing-Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar, Kiran Dhanireddy. 213-220 [doi]
- Implementation of Incremental Learning in Artificial Neural NetworksMariela Andrade, Eduardo Gasca, Eréndira Rendón. 221-232 [doi]
- Abduction for Learning Smart City RulesNikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv. 233-238 [doi]
- Optimizing Kick Trajectory: A Comparative StudyPedro Pena, Joseph G. Masterjohn, Ubbo Visser. 239-245 [doi]