The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GCAI"( http://dblp.L3S.de/Venues/GCAI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/gcai

Publication years (Num. hits)
2015 (23) 2016 (28) 2017 (21) 2018 (20)
Publication types (Num. hits)
inproceedings(88) proceedings(4)
Venues (Conferences, Journals, ...)
GCAI(92)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 92 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ghulam Mubashar Hassan, Mark Reynolds Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Rui Silva, Francisco S. Melo, Manuela Veloso What if the World Were Different? Gradient-Based Exploration for New Optimal Policies. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Tom Gonda, Tal Pascal, Rami Puzis, Guy Shani, Bracha Shapira Analysis of Attack Graph Representations for Ranking Vulnerability Fixes. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicos Isaak, Loizos Michael Using the Winograd Schema Challenge as a CAPTCHA. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Hector G. Ceballos, Francisco J. Cantu Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Sagi Bazinin, Guy Shani Iterative Planning for Deterministic QDec-POMDPs. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Andrea Dittadi, Thomas Bolander, Ole Winther Learning to Plan from Raw Data in Grid-based Games. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Dirk Walther 0002 Computing Minimal Subsumption Modules of Ontologies. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Vittorio Perera, Manuela Veloso Interpretability of a Service Robot: Enabling User Questions and Checkable Answers. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Maximilian Pensel Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Steven David Prestwich, Roberto Rossi, S. Armagan Tarim, Andrea Visentin Towards a Closer Integration of Dynamic Programming and Constraint Programming. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Nicos Isaak, Loizos Michael A Data-Driven Metric of Hardness for WSC Sentences. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Max Korein, Manuela Veloso Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniel D. Lee, Alexander Steen, Toby Walsh (eds.) GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018 Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Sai Pandi Selvaraj, Manuela Veloso, Stephanie Rosenthal Classifier Labels as Language Grounding for Explanations. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Zeyu Feng, Chang Xu, Dacheng Tao Historical Gradient Boosting Machine. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Nardine Osman, Carles Sierra Responsible Technologies. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Sai Pandi Selvaraj, Manuela Veloso, Stephanie Rosenthal Classifier-Based Evaluation of Image Feature Importance. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo O. R. Prates, Pedro H. C. Avelar, Luís C. Lamb On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Richard Wallace Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Justin Lovinger, Xiaoqin Zhang Enhanced Simplified Memory-bounded A Star (SMA*+). Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Thierry Boy de la Tour Properties of Constrained Generalization Algorithms. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Franz Baader, Andreas Ecke Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexandra Kirsch A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mariela Andrade, Eduardo Gasca, Eréndira Rendón Implementation of Incremental Learning in Artificial Neural Networks. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle Iterated contraction of propositions and conditionals under the principle of conditional preservation. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Sima Jamali, David Mitchell Improving SAT Solver Performance with Structure-based Preferential Bumping. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Benzmüller, Christine L. Lisetti, Martin Theobald (eds.) GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Nikolaj Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv Abduction for Learning Smart City Rules. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Yuezhang Li, Katia P. Sycara, Rahul Iyer Object-sensitive Deep Reinforcement Learning. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Pedro Pena, Joseph G. Masterjohn, Ubbo Visser Optimizing Kick Trajectory: A Comparative Study. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Jan Jakubuv, Martin Suda 0001, Josef Urban Automated Invention of Strategies and Term Orderings for Vampire. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Liron Cohen 0001, Yoni Zohar Reasoning Inside The Box: Deduction in Herbrand Logics. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Ching-Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar, Kiran Dhanireddy Anemic Status Prediction using Multilayer Perceptron Neural Network Model. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Ramoni O. Lasisi, Abibat A. Lasisi Improved Heuristic for Manipulation of Second-order Copeland Elections. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Marijn Heule Everything's Bigger in Texas: "The Largest Math Proof Ever". Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay, Giora Slutzki Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Eugene C. Freuder, Richard J. Wallace Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Wesley Cox, Tim French 0002, Mark Reynolds, Lyndon While A Genetic Algorithm for Truck Dispatching in Mining. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Malumbo Chipofya Matching Qualitative Constraint Networks with Online Reinforcement Learning. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Thomas Schmitt 0001, Phillipe Caillou, Michèle Sebag Matching Jobs and Resumes: a Deep Collaborative Filtering Task. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Xudong Liu, Mirek Truszczynski Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Hara Skouteli, Loizos Michael Empirical Investigation of Learning-Based Imputation Policies. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám Heliostat Field Layout Optimization with Evolutionary Algorithms. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani, Seyed Abolghasem Mirroshandel LexiPers: An ontology based sentiment lexicon for Persian. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Michel Ludwig, Dirk Walther 0002 Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ying Zhu, Mirek Truszczynski Learning Importance of Preferences. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Teddy Bouziat, Valérie Camps, Stéphanie Combettes Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Steve Prestwich, S. Armagan Tarim, Roberto Rossi Constraint Problem Specification as Compression. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexandra Kirsch Heuristic Decision-Making for Human-aware Navigation in Domestic Environments. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Manfred Eppe, Sean Trott, Vivek Raghuram, Jerome A. Feldman, Adam Janin Application-Independent and Integration-Friendly Natural Language Understanding. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Evgenii Kotelnikov, Laura Kovács, Martin Suda 0001, Andrei Voronkov A Clausal Normal Form Translation for FOOL. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Daan Apeldoorn, Gabriele Kern-Isberner When Should Learning Agents Switch to Explicit Knowledge? Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Giles Reger, Nikolaj Bjørner, Martin Suda 0001, Andrei Voronkov AVATAR Modulo Theories. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alan Mosca, George D. Magoulas Deep Incremental Boosting. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jochen Kerdels, Gabriele Peters A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcus Edel, Joscha Lausch Capacity Visual Attention Networks. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Giles Reger, Martin Suda 0001, Andrei Voronkov New Techniques in Clausal Form Generation. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Tobias Philipp Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Imen Boudali, Nihel Mokhtar Harmony Search Approach for Patient Scheduling in Emergency Laboratories. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall Animating Cognitive Models and Architectures: A Rule-Based Approach. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Yin-Fu Huang, Bo-Rong Chen Content-Based Image Retrieval System for Real Images. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal 0001, Michael R. Genesereth Invariant Projections in Games. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ivo Chichkov, Alexandra Kirsch A Short-Term Memory for Deliberative Agents in Everyday Environments. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas (eds.) GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Armin Dietz, Stephan Schröder, Andreas Pösch, Klaus Frank, Eduard Reithmeier Contactless Surgery Light Control based on 3D Gesture Recognition. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson Implied Constraints for Automaton Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Irina Khutsishvili, Gia Sirbiladze, Gvanca Tsulaia Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Josef Urban BliStr: The Blind Strategymaker. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Antonina Tretyakova, Franciszek Seredynski Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme A Modelling Pearl with Sortedness Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1David Pearce 0001, Levan Uridia Trust, Belief and Honesty. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Eugenia Ternovska An Algebra of Combined Constraint Solving. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Gela Besiashvili, Tamar Bliadze, Zurab Kochladze Application of Adaptive Neural Networks for the Filtration of Spam. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Stefan Borgwardt, Veronika Thost Temporal Query Answering in DL-Lite with Negation. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov (eds.) Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015 Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Simon Schäfer, Stephan Schulz 0001 Breeding Theorem Proving Heuristics with Genetic Algorithms. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marek Kurzynski Multiclassifier System with Dynamic Model of Classifier Competence Applied to the Control of Bioprosthetic Hand. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov EPR-based k-induction with Counterexample Guided Abstraction Refinement. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Färber 0002, Cezary Kaliszyk Metis-based Paramodulation Tactic for HOL Light. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael A. Bukatin, Steve Matthews Linear Models of Computation and Program Learning. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Robert Nieuwenhuis SAT-Based Techniques for Integer Linear Constraints. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Shasha Feng, Michel Ludwig, Dirk Walther 0002 Foundations for the Logical Difference of EL-TBoxes. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yakoub Salhi, Michael Sioutis A Resolution Method for Modal Logic S5. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski Modeling Organic Chemistry and Planning Organic Synthesis. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira On Conditionals. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Jean-Marc Alliot, Charlie Vanaret (The Final) Countdown. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license