| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato |
Adjudication of Symbolic & Connectionist Arguments in Autonomous Driving AI.  |
GCAI  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Parsert, Stephanie Autherith, Cezary Kaliszyk |
Property Preserving Embedding of First-order Logic. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Levan Uridia, Dirk Walther 0002 |
Common Knowledge in an Epistemic Logic with Hypotheses. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gorzny, Ezequiel Postan, Bruno Woltzenlogel Paleo |
Partial Regularization of First-Order Resolution Proofs. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Grégoire Danoy, Jun Pang 0001, Geoff Sutcliffe (eds.) |
6th Global Conference on Artificial Intelligence, GCAI 2020, Hangzhou, China, April 6-9, 2020 |
GCAI |
2020 |
DBLP BibTeX RDF |
|
| 1 | Abdelwahed Nahli, Yuanzhouhan Cao, Shugong Xu |
Face Image Deblurring: A Data-Driven Strategy. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Wu, Jinchuan Chen, Plarent Haxhidauti, Vinu E. Venugopal, Martin Theobald |
Guided Inductive Logic Programming: Cleaning Knowledge Bases with Iterative User Feedback. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicos Isaak, Loizos Michael |
WinoReg: A New Faster and More Accurate Metric of Hardness for Winograd Schemas. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuang Xia, Krysia Broda, Alessandra Russo |
Topical Neural Theorem Prover that Induces Rules. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Selmer Bringsjord, Naveen Sundar Govindarajulu, John Licato, Michael Giancola |
Learning Ex Nihilo. |
GCAI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle Möhle, Armin Biere |
Combining Conflict-Driven Clause Learning and Chronological Backtracking for Propositional Model Counting. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Magdalena Ortiz 0001 |
Ontology-Mediated Queries from Examples: a Glimpse at the DL-Lite Case. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | João G. Ribeiro, Francisco S. Melo, João Dias |
Multi-task Learning and Catastrophic Forgetting in Continual Reinforcement Learning. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Calvanese, Luca Iocchi (eds.) |
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. |
GCAI |
2019 |
DBLP BibTeX RDF |
|
| 1 | Christian Alrabbaa, Patrick Koopmann, Anni-Yasmin Turhan |
Practical Query Rewriting for DL-Lite with Numerical Predicates. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Levan Uridia, Dirk Walther 0002 |
Common Knowledge in Epistemic Logic With Hypotheses. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aysu Bogatarkan, Volkan Patoglu, Esra Erdem 0001 |
A Declarative Method for Dynamic Multi-Agent Path Finding. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdullah Khan, Loris Bozzato, Luciano Serafini, Beatrice Lazzerini |
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruba Alassaf, Renate A. Schmidt |
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan, Éric Würbel |
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Hahn, Lutz Roese-Koerner, Peet Cremer, Urs Zimmermann, Ori Maoz, Anton Kummert |
On the Robustness of Active Learning. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco |
Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard |
On Knowledge Dependence in Weighted Description Logic. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard |
Weighted Description Logic for Classification Problems. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Satyadharma Tirtarasa, Benjamin Zarrieß |
Projection in a Description Logic of Context with Actions. |
GCAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ghulam Mubashar Hassan, Mark Reynolds 0001 |
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Silva, Francisco S. Melo, Manuela Veloso |
What if the World Were Different? Gradient-Based Exploration for New Optimal Policies. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Gonda, Tal Pascal, Rami Puzis, Guy Shani, Bracha Shapira |
Analysis of Attack Graph Representations for Ranking Vulnerability Fixes. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicos Isaak, Loizos Michael |
Using the Winograd Schema Challenge as a CAPTCHA. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector G. Ceballos, Francisco J. Cantu |
Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sagi Bazinin, Guy Shani |
Iterative Planning for Deterministic QDec-POMDPs. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Dittadi, Thomas Bolander, Ole Winther |
Learning to Plan from Raw Data in Grid-based Games. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieying Chen, Michel Ludwig, Dirk Walther 0002 |
Computing Minimal Subsumption Modules of Ontologies. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio Perera, Manuela Veloso |
Interpretability of a Service Robot: Enabling User Questions and Checkable Answers. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernandez Gil, Maximilian Pensel |
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven D. Prestwich, Roberto Rossi 0002, S. Armagan Tarim, Andrea Visentin |
Towards a Closer Integration of Dynamic Programming and Constraint Programming. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicos Isaak, Loizos Michael |
A Data-Driven Metric of Hardness for WSC Sentences. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Korein, Manuela Veloso |
Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel D. Lee, Alexander Steen, Toby Walsh (eds.) |
GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018 |
GCAI |
2018 |
DBLP BibTeX RDF |
|
| 1 | Sai Pandi Selvaraj, Manuela Veloso, Stephanie Rosenthal |
Classifier Labels as Language Grounding for Explanations. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeyu Feng, Chang Xu 0002, Dacheng Tao |
Historical Gradient Boosting Machine. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nardine Osman 0001, Carles Sierra |
Responsible Technologies. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Pandi Selvaraj, Manuela Veloso, Stephanie Rosenthal |
Classifier-Based Evaluation of Image Feature Importance. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo 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. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Wallace |
Replaceability for Constraint Satisfaction Problems: Algorithms, Inference, and Complexity Patterns. |
GCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa |
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Lovinger, Xiaoqin Zhang 0001 |
Enhanced Simplified Memory-bounded A Star (SMA*+). |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Boy de la Tour |
Properties of Constrained Generalization Algorithms. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Andreas Ecke |
Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Kirsch |
A Modular Approach of Decision-Making in the Context of Robot Navigation in Domestic Environments. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariela Andrade, Eduardo Gasca, Eréndira Rendón |
Implementation of Incremental Learning in Artificial Neural Networks. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle |
Iterated contraction of propositions and conditionals under the principle of conditional preservation. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sima Jamali, David Mitchell |
Improving SAT Solver Performance with Structure-based Preferential Bumping. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Christine L. Lisetti, Martin Theobald (eds.) |
GCAI 2017, 3rd Global Conference on Artificial Intelligence, Miami, FL, USA, 18-22 October 2017. |
GCAI |
2017 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Maria-Cristina V. Marinescu, Mooly Sagiv |
Abduction for Learning Smart City Rules. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuezhang Li, Katia P. Sycara, Rahul Iyer |
Object-sensitive Deep Reinforcement Learning. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Peña, Joseph G. Masterjohn, Ubbo Visser |
Optimizing Kick Trajectory: A Comparative Study. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jakubuv, Martin Suda 0001, Josef Urban |
Automated Invention of Strategies and Term Orderings for Vampire. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Liron Cohen 0001, Yoni Zohar |
Reasoning Inside The Box: Deduction in Herbrand Logics. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ching-Hao Yu, Manas Bhatnagar, Rachel Hogen, Dilin Mao, Atefeh Farzindar, Kiran Dhanireddy |
Anemic Status Prediction using Multilayer Perceptron Neural Network Model. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramoni O. Lasisi, Abibat A. Lasisi |
Improved Heuristic for Manipulation of Second-order Copeland Elections. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule |
Everything's Bigger in Texas: "The Largest Math Proof Ever". |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalakrishnan Krishnasamy Sivaprakasam, Adrienne Raglin, Douglas Summers-Stay, Giora Slutzki |
Secrecy-Preserving Reasoning and Query Answering in Probabilistic Description Logic Knowledge Bases. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke |
Basic Independence Results for Maximum Entropy Reasoning Based on Relational Conditionals. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene C. Freuder, Richard J. Wallace |
Replaceability and the Substitutability Hierarchy for Constraint Satisfaction Problems. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Cox, Tim French 0002, Mark Reynolds 0001, Lyndon While |
A Genetic Algorithm for Truck Dispatching in Mining. |
GCAI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Malumbo Chipofya |
Matching Qualitative Constraint Networks with Online Reinforcement Learning. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schmitt 0001, Phillipe Caillou, Michèle Sebag |
Matching Jobs and Resumes: a Deep Collaborative Filtering Task. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xudong Liu, Mirek Truszczynski |
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hara Skouteli, Loizos Michael |
Empirical Investigation of Learning-Based Imputation Policies. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Richter, David Laukamp, Levin Gerdes, Martin Frank, Erika Ábrahám |
Heliostat Field Layout Optimization with Evolutionary Algorithms. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Behnam Sabeti, Pedram Hosseini, Gholamreza Ghassem-Sani, Seyed Abolghasem Mirroshandel |
LexiPers: An ontology based sentiment lexicon for Persian. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Ludwig, Dirk Walther 0002 |
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Zhu, Mirek Truszczynski |
Learning Importance of Preferences. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Teddy Bouziat, Valérie Camps, Stéphanie Combettes |
Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Prestwich, S. Armagan Tarim, Roberto Rossi 0002 |
Constraint Problem Specification as Compression. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandra Kirsch |
Heuristic Decision-Making for Human-aware Navigation in Domestic Environments. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Eppe, Sean Trott, Vivek Raghuram, Jerome A. Feldman, Adam Janin |
Application-Independent and Integration-Friendly Natural Language Understanding. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenii Kotelnikov, Laura Kovács, Martin Suda 0001, Andrei Voronkov |
A Clausal Normal Form Translation for FOOL. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Apeldoorn, Gabriele Kern-Isberner |
When Should Learning Agents Switch to Explicit Knowledge? |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Nikolaj S. Bjørner, Martin Suda 0001, Andrei Voronkov |
AVATAR Modulo Theories. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Mosca, George D. Magoulas |
Deep Incremental Boosting. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jochen Kerdels, Gabriele Peters |
A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Edel, Joscha Lausch |
Capacity Visual Attention Networks. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giles Reger, Martin Suda 0001, Andrei Voronkov |
New Techniques in Clausal Form Generation. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Philipp |
Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Imen Boudali, Nihel Mokhtar |
Harmony Search Approach for Patient Scheduling in Emergency Laboratories. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Sharaf, Slim Abdennadher, Thom W. Frühwirth, Daniel Gall |
Animating Cognitive Models and Architectures: A Rule-Based Approach. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yin-Fu Huang, Bo-Rong Chen |
Content-Based Image Retrieval System for Real Images. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhijeet Mohapatra, Bertrand Decoster, Sudhir Agarwal 0001, Michael R. Genesereth |
Invariant Projections in Games. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Chichkov, Alexandra Kirsch |
A Short-Term Memory for Deliberative Agents in Everyday Environments. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Geoff Sutcliffe, Raúl Rojas 0001 (eds.) |
GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19 - October 2, 2016, Berlin, Germany |
GCAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Alexander Steen, Max Wisniewski, Christoph Benzmüller |
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Dietz, Stephan Schröder, Andreas Pösch, Klaus Frank, Eduard Reithmeier |
Contactless Surgery Light Control based on 3D Gesture Recognition. |
GCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | María Andreína Francisco Rodríguez, Pierre Flener, Justin Pearson |
Implied Constraints for Automaton Constraints. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina Khutsishvili, Gia Sirbiladze, Gvantsa Tsulaia |
Hesitant Fuzzy MADM Approach in Optimal Selection of Investment Projects. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Urban |
BliStr: The Blind Strategymaker. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonina Tretyakova, Franciszek Seredynski |
Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Xavier Lorca, Justin Pearson, Thierry Petit, Charles Prud'homme |
A Modelling Pearl with Sortedness Constraints. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Ábrahám |
A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs. |
GCAI |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license