default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd GCAI 2017: Miami, FL, USA
- Christoph Benzmüller, Christine L. Lisetti, Martin Theobald:
GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. EPiC Series in Computing 50, EasyChair 2017 - Marijn Heule
:
Everything's Bigger in Texas: "The Largest Math Proof Ever". 1-5 - Franz Baader, Andreas Ecke:
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. 6-19 - Yuezhang Li, Katia P. Sycara, Rahul Iyer:
Object-sensitive Deep Reinforcement Learning. 20-35 - Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke:
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. 36-50 - Eugene C. Freuder, Richard J. Wallace:
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. 51-63 - Thierry Boy de la Tour:
Properties of Constrained Generalization Algorithms. 64-77 - Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Iterated contraction of propositions and conditionals under the principle of conditional preservation. 78-92 - Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Genetic Algorithm for Truck Dispatching in Mining. 93-106 - Liron Cohen, Yoni Zohar:
Reasoning Inside The Box: Deduction in Herbrand Logics. 107-120 - Jan Jakubuv, Martin Suda, Josef Urban:
Automated Invention of Strategies and Term Orderings for Vampire. 121-133 - Alexandra Kirsch:
A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments. 134-147 - Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa:
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. 148-161 - Ramoni O. Lasisi, Abibat A. Lasisi:
Improved Heuristic for Manipulation of Second-order Copeland Elections. 162-174 - Sima Jamali, David Mitchell:
Improving SAT Solver Performance with Structure-based Preferential Bumping. 175-187 - Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay, Giora Slutzki:
Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases. 188-201 - Justin Lovinger, Xiaoqin Zhang:
Enhanced Simplified Memory-bounded A Star (SMA*+). 202-212 - Ching-Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar, Kiran Dhanireddy:
Anemic Status Prediction using Multilayer Perceptron Neural Network Model. 213-220 - Mariela Andrade, Eduardo Gasca, Eréndira Rendón:
Implementation of Incremental Learning in Artificial Neural Networks. 221-232 - Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv:
Abduction for Learning Smart City Rules. 233-238 - Pedro Peña, Joseph G. Masterjohn, Ubbo Visser:
Optimizing Kick Trajectory: A Comparative Study. 239-245
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-03-01 15:01 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:
