default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st GCAI 2015: Tbilisi, Georgia
- Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov:
Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015. EPiC Series in Computing 36, EasyChair 2015 - Robert Nieuwenhuis
:
SAT-Based Techniques for Integer Linear Constraints. 1-13 - Jean-Marc Alliot, Charlie Vanaret:
(The Final) Countdown. 14-26 - Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme:
A Modelling Pearl with Sortedness Constraints. 27-41 - Gela Besiashvili, Tamar Bliadze, Zurab Kochladze:
Application of Adaptive Neural Networks for the Filtration of Spam. 42-50 - Stefan Borgwardt, Veronika Thost:
Temporal Query Answering in DL-Lite with Negation. 51-65 - Michael A. Bukatin, Steve Matthews:
Linear Models of Computation and Program Learning. 66-78 - Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira:
On Conditionals. 79-92 - Shasha Feng, Michel Ludwig, Dirk Walther:
Foundations for the Logical Difference of EL-TBoxes. 93-112 - María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson:
Implied Constraints for Automaton Constraints. 113-126 - Michael Färber, Cezary Kaliszyk:
Metis-based Paramodulation Tactic for HOL Light. 127-136 - Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov:
EPR-based k-induction with Counterexample Guided Abstraction Refinement. 137-150 - Irina Khutsishvili, Gia Sirbiladze, Gvantsa Tsulaia:
Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects. 151-162 - Marek Kurzynski:
Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand. 163-175 - Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski:
Modeling Organic Chemistry and Planning Organic Synthesis. 176-195 - Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám:
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. 196-214 - David Pearce, Levan Uridia:
Trust, Belief and Honesty. 215-228 - Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber:
A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. 229-251 - Yakoub Salhi, Michael Sioutis:
A Resolution Method for Modal Logic S5. 252-262 - Simon Schäfer, Stephan Schulz:
Breeding Theorem Proving Heuristics with Genetic Algorithms. 263-274 - Eugenia Ternovska:
An Algebra of Combined Constraint Solving. 275-295 - Antonina Tretyakova, Franciszek Seredynski:
Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks. 296-311 - Josef Urban:
BliStr: The Blind Strategymaker. 312-319
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.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
