| a |
| ACT-R | Animating Cognitive Models and Architectures: A Rule-Based Approach |
| adaptation | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling |
| AI Planning | A Short-Term Memory for Deliberative Agents in Everyday Environments |
| automated reasoning | New Techniques in Clausal Form Generation
AVATAR Modulo Theories |
| c |
| CBIR | Content-Based Image Retrieval System for Real Images |
| Chaining rules | Empirical Investigation of Learning-Based Imputation Policies |
| Clausal Normal Form | New Techniques in Clausal Form Generation |
| clause normal form | A Clausal Normal Form Translation for FOOL |
| Clausification | New Techniques in Clausal Form Generation |
| cognitive architecture | Animating Cognitive Models and Architectures: A Rule-Based Approach |
| cognitive model | Animating Cognitive Models and Architectures: A Rule-Based Approach |
| cold start | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| collaborative filtering | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| Constraint Handling Rules | Animating Cognitive Models and Architectures: A Rule-Based Approach |
| Constraint Logic Programming | Constraint Problem Specification as Compression |
| Constraint Programming | Constraint Problem Specification as Compression |
| Construction Grammar | Application-Independent and Integration-Friendly Natural Language Understanding |
| cooperation | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling |
| curse of dimensionality | A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas |
| CVS | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| d |
| deep learning | Capacity Visual Attention Networks
Deep Incremental Boosting |
| Description Logic EL | Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach |
| document classification | LexiPers: An ontology based sentiment lexicon for Persian |
| domestic robots | A Short-Term Memory for Deliberative Agents in Everyday Environments
Heuristic Decision-Making for Human-aware Navigation in Domestic Environments |
| DRAT | Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing |
| dynamic systems | Invariant Projections in Games |
| e |
| Emergency Department | Harmony Search Approach for Patient Scheduling in Emergency Laboratories |
| empirical investigation | Empirical Investigation of Learning-Based Imputation Policies |
| Ensembles | Deep Incremental Boosting |
| Evolutionary Algorithms | Heliostat Field Layout Optimization with Evolutionary Algorithms |
| f |
| feature selection | Content-Based Image Retrieval System for Real Images |
| first-order logic | New Techniques in Clausal Form Generation
AVATAR Modulo Theories |
| FOOL | A Clausal Normal Form Translation for FOOL |
| formal model | Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing |
| g |
| Game Description Language | Invariant Projections in Games |
| game structures | Invariant Projections in Games |
| General Game Playing | Invariant Projections in Games |
| Gentzen-style proof calculus | Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach |
| gesture recognition | Contactless Surgery Light Control based on 3D Gesture Recognition |
| Growing Neural Gas | A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas |
| h |
| Harmony Search Algorithm | Content-Based Image Retrieval System for Real Images
Harmony Search Approach for Patient Scheduling in Emergency Laboratories |
| Healthcare Management | Harmony Search Approach for Patient Scheduling in Emergency Laboratories |
| Heliostat Field Layout Optimization | Heliostat Field Layout Optimization with Evolutionary Algorithms |
| heuristic problem solving | Heuristic Decision-Making for Human-aware Navigation in Domestic Environments |
| Human Machine Interface | Contactless Surgery Light Control based on 3D Gesture Recognition |
| human resources | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| human-aware robot navigation | Heuristic Decision-Making for Human-aware Navigation in Domestic Environments |
| human-robot interaction | Application-Independent and Integration-Friendly Natural Language Understanding |
| hybrid collaborative filtering | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| i |
| image recognition | Capacity Visual Attention Networks |
| imputation policies | Empirical Investigation of Learning-Based Imputation Policies |
| intention recognition | Application-Independent and Integration-Friendly Natural Language Understanding |
| invariant projections | Invariant Projections in Games |
| Iterative learning and reasoning | Empirical Investigation of Learning-Based Imputation Policies |
| j |
| job announcements | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| job recommendations | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| k |
| knowledge extraction | When Should Learning Agents Switch to Explicit Knowledge? |
| l |
| learning agents | When Should Learning Agents Switch to Explicit Knowledge? |
| learning preference models | Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes |
| Local compatibility matrix | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| local input space histograms | A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas |
| m |
| machine learning | Capacity Visual Attention Networks
Empirical Investigation of Learning-Based Imputation Policies |
| Metaheuristic | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| missing data | Empirical Investigation of Learning-Based Imputation Policies |
| modeling | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling |
| MPEG-7 specification | Content-Based Image Retrieval System for Real Images |
| multi-agent | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling |
| n |
| natural language understanding | Application-Independent and Integration-Friendly Natural Language Understanding |
| Natural User Interface | Contactless Surgery Light Control based on 3D Gesture Recognition |
| neural networks | Capacity Visual Attention Networks |
| o |
| Ontology | LexiPers: An ontology based sentiment lexicon for Persian |
| Operating Room Lights | Contactless Surgery Light Control based on 3D Gesture Recognition |
| optimization problem | Harmony Search Approach for Patient Scheduling in Emergency Laboratories |
| p |
| parallel portfolio | Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing |
| Pareto rule | Learning Importance of Preferences |
| partial lexicographic preference forests | Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes |
| partial lexicographic preference trees | Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes |
| Persian | LexiPers: An ontology based sentiment lexicon for Persian |
| positional scoring rules | Learning Importance of Preferences |
| preference aggregation | Learning Importance of Preferences |
| preference importance | Learning Importance of Preferences |
| preference reasoning | Learning Importance of Preferences
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes |
| preference representation | Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes |
| prioritized patient scheduling | Harmony Search Approach for Patient Scheduling in Emergency Laboratories |
| q |
| QCN matching | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| Qualitative Constraint Network | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| r |
| Reinforcement Learning | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| Resumes | Matching Jobs and Resumes: a Deep Collaborative Filtering Task |
| s |
| SARSA | Matching Qualitative Constraint Networks with Online Reinforcement Learning |
| SAT | Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing |
| Satisfiability Modulo Theories | AVATAR Modulo Theories |
| Sentiment Analysis | LexiPers: An ontology based sentiment lexicon for Persian |
| sentiment lexicon | LexiPers: An ontology based sentiment lexicon for Persian |
| short-term memory model | A Short-Term Memory for Deliberative Agents in Everyday Environments |
| Solar Tower Power Plants | Heliostat Field Layout Optimization with Evolutionary Algorithms |
| sparse representation | A Sparse Representation of High-Dimensional Input Spaces Based on an Augmented Growing Neural Gas |
| specification language | Constraint Problem Specification as Compression |
| Surgery Light Control | Contactless Surgery Light Control based on 3D Gesture Recognition |
| symbolic/sub-symbolic integration | When Should Learning Agents Switch to Explicit Knowledge? |
| System of Systems | Cooperation in Adaptive Multi-Agent Systems through System of Systems modeling |
| t |
| theorem proving | New Techniques in Clausal Form Generation
AVATAR Modulo Theories
A Clausal Normal Form Translation for FOOL |
| training rules | Empirical Investigation of Learning-Based Imputation Policies |
| Transfer Learning | Deep Incremental Boosting |
| translation | A Clausal Normal Form Translation for FOOL |
| u |
| Uniform Interpolation | Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach |
| unsatisfiability proofs | Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing |
| v |
| Vampire | AVATAR Modulo Theories |
| visual attention | Capacity Visual Attention Networks |
| z |
| Z3 | AVATAR Modulo Theories |
