Abstract is missing.
- SAT-Based Techniques for Integer Linear ConstraintsRobert Nieuwenhuis. 1-13 [doi]
- (The Final) CountdownJean-Marc Alliot, Charlie Vanaret. 14-26 [doi]
- A Modelling Pearl with Sortedness ConstraintsNicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme. 27-41 [doi]
- Application of Adaptive Neural Networks for the Filtration of SpamGela Besiashvili, Tamar Bliadze, Zurab Kochladze. 42-50 [doi]
- Temporal Query Answering in DL-Lite with NegationStefan Borgwardt, Veronika Thost. 51-65 [doi]
- Linear Models of Computation and Program LearningMichael A. Bukatin, Steve Matthews. 66-78 [doi]
- On ConditionalsEmmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira. 79-92 [doi]
- Foundations for the Logical Difference of EL-TBoxesShasha Feng, Michel Ludwig, Dirk Walther 0002. 93-112 [doi]
- Implied Constraints for Automaton ConstraintsMaría Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson. 113-126 [doi]
- Metis-based Paramodulation Tactic for HOL LightMichael Färber, Cezary Kaliszyk. 127-136 [doi]
- EPR-based k-induction with Counterexample Guided Abstraction RefinementZurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov. 137-150 [doi]
- Hesitant Fuzzy MADM Approach in Optimal Selection of Investment ProjectsIrina Khutsishvili, Gia Sirbiladze, Gvanca Tsulaia. 151-162 [doi]
- Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic HandMarek Kurzynski. 163-175 [doi]
- Modeling Organic Chemistry and Planning Organic SynthesisArman Masoumi, Megan Antoniazzi, Mikhail Soutchanski. 176-195 [doi]
- A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVsJohanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám. 196-214 [doi]
- Trust, Belief and HonestyDavid Pearce 0001, Levan Uridia. 215-228 [doi]
- A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed StructuresElena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber. 229-251 [doi]
- A Resolution Method for Modal Logic S5Yakoub Salhi, Michael Sioutis. 252-262 [doi]
- Breeding Theorem Proving Heuristics with Genetic AlgorithmsSimon Schäfer, Stephan Schulz. 263-274 [doi]
- An Algebra of Combined Constraint SolvingEugenia Ternovska. 275-295 [doi]
- Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor NetworksAntonina Tretyakova, Franciszek Seredynski. 296-311 [doi]
- BliStr: The Blind StrategymakerJosef Urban. 312-319 [doi]