default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ECAI 2016: The Hague, The Netherlands
- Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen:
ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016). Frontiers in Artificial Intelligence and Applications 285, IOS Press 2016, ISBN 978-1-61499-671-2 - Thomas Christopher King, Virginia Dignum
, Catholijn M. Jonker:
When Do Rule Changes Count - As Legal Rule Changes? 3-11 - Markus Schneider, Wolfgang Ertel, Günther Palm:
Constant Time EXPected Similarity Estimation for Large-Scale Anomaly Detection. 12-20 - Mehmet Gönen:
AUC Maximization in Bayesian Hierarchical Models. 21-27 - Janneke M. van der Zwaan, Maarten Marx, Jaap Kamps:
Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings. 28-36 - Peter Jonsson:
Finite Unary Relations and Qualitative Constraint Satisfaction. 37-45 - Marco Tamassia, Fabio Zambetta, William L. Raffe, Florian 'Floyd' Mueller, Xiaodong Li:
Dynamic Choice of State Abstraction in Q-Learning. 46-54 - Abdallah Arioua, Madalina Croitoru:
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks. 55-63 - Zhujin Li, Xianglong Liu, Junjie Wu, Hao Su:
Adaptive Binary Quantization for Fast Nearest Neighbor Search. 64-72 - Zhangquan Zhou, Guilin Qi, Birte Glimm:
Exploring Parallel Tractability of Ontology Materialization. 73-81 - Qingtao Tang, Yisen Wang, Shu-Tao Xia:
Student-t Process Regression with Dependent Student-t Noise. 82-89 - Piotr L. Szczepanski, Tomasz P. Michalak, Talal Rahwan, Michael J. Wooldridge:
An Extension of the Owen-Value Interaction Index and Its Application to Inter-Links Prediction. 90-98 - Zhe Zhao, Tao Liu, Bofang Li, Xiaoyong Du:
Cluster-Driven Model for Improved Word and Text Embedding. 99-106 - Claudio Coppola, Tomás Krajník, Tom Duckett, Nicola Bellotto:
Learning Temporal Context for Activity Recognition. 107-115 - Régis Sabbadin, Anne-France Viet:
Leader-Follower MDP Models with Factored State Space and Many Followers - Followers Abstraction, Structured Dynamics and State Aggregation. 116-124 - Filippo Bistaffa, Nicola Bombieri, Alessandro Farinelli:
CUBE: A CUDA Approach for Bucket Elimination on GPUs. 125-132 - Romain Caillière, Samir Aknine, Antoine Nongaillard, Sarvapali D. Ramchurn:
Managing Energy Markets in Future Smart Grids Using Bilateral Contracts. 133-140 - Marcello D'Agostino, Sanjay Modgil:
A Rational Account of Classical Logic Argumentation for Real-World Agents. 141-149 - Anthony Hunter:
Two Dimensional Uncertainty in Persuadee Modelling in Argumentation. 150-157 - Damien Lejeune, Kurt Driessens:
A Data Driven Similarity Measure and Example Mapping Function for General, Unlabelled Data Sets. 158-166 - Linbo Qiao, Tianyi Lin, Yu-Gang Jiang, Fan Yang, Wei Liu, Xicheng Lu:
On Stochastic Primal-Dual Hybrid Gradient Approach for Compositely Regularized Minimization. 167-174 - Charilaos Akasiadis, Georgios Chalkiadakis:
Decentralized Large-Scale Electricity Consumption Shifting by Prosumer Cooperatives. 175-183 - Meysam Aghighi, Christer Bäckström, Peter Jonsson, Simon Ståhlberg:
Analysing Approximability and Heuristics in Planning Using the Exponential-Time Hypothesis. 184-192 - Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
A Simple Account of Multi-Agent Epistemic Planning. 193-201 - Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin:
Lexicographic Refinements in Possibilistic Decision Trees. 202-208 - Ugo Pagallo:
Even Angels Need the Rules: AI, Roboethics, and the Law. 209-215 - Mateus Riva, Moacir Ponti, Teofilo de Campos:
One-Class to Multi-Class Model Update Using the Class-Incremental Optimum-Path Forest Classifier. 216-224 - Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. 225-233 - Bram Aerts, Toon Goedemé, Joost Vennekens:
A Probabilistic Logic Programming Approach to Automatic Video Montage. 234-242 - Nitin Yadav, John Thangarajah:
Checking the Conformance of Requirements in Agent Designs Using ATL. 243-251 - Thomas Linsbichler, Jörg Pührer, Hannes Strass:
A Uniform Account of Realizability in Abstract Argumentation. 252-260 - Lu Sun, Mineichi Kudo, Keigo Kimura:
A Scalable Clustering-Based Local Multi-Label Classification Method. 261-268 - Chengzhuan Yang, Hui Wei, Qian Yu:
Multiscale Triangular Centroid Distance for Shape-Based Plant Leaf Recognition. 269-276 - Cynthia Maushagen, Jörg Rothe:
Complexity of Control by Partitioning Veto and Maximin Elections and of Control by Adding Candidates to Plurality Elections. 277-285 - Francesco Belardinelli, Alessio Lomuscio, Jakub Michaliszyn:
Agent-Based Refinement for Predicate Abstraction of Multi-Agent Systems. 286-294 - Akihiro Kishimoto, Adi Botea, Elizabeth Daly:
Combining Deterministic and Nondeterministic Search for Optimal Journey Planning Under Uncertainty. 295-303 - Guyue Zhang, Luchao Tian, Ye Liu, Jun Liu, Xiang An Liu, Yang Liu, Yan Qiu Chen:
Robust Real-Time Human Perception with Depth Camera. 304-310 - Matthew Saltz, Lluís A. Belanche Muñoz:
A New Kernelized Associative Memory and Some of Its Applications. 311-319 - Ariel Rosenfeld, Sarit Kraus:
Strategical Argumentative Agent for Human Persuasion. 320-328 - Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock:
Formalizing Commitment-Based Deals in Boolean Games. 329-337 - Kang Xu, Guilin Qi, Junheng Huang, Tianxing Wu:
A Joint Model for Sentiment-Aware Topic Detection on Social Media. 338-346 - Truc Viet Le, Siyuan Liu, Hoong Chuin Lau:
A Reinforcement Learning Framework for Trajectory Prediction Under Uncertainty and Budget Constraint. 347-354 - Mingfu Xiong, Jun Chen, Zheng Wang, Zhongyuan Wang, Ruimin Hu, Chao Liang, Daming Shi:
Person Re-Identification via Multiple Coarse-to-Fine Deep Metrics. 355-362 - Yongjie Yang, Yash Raj Shrestha, Jiong Guo:
How Hard Is Bribery with Distance Restrictions? 363-371 - Adrian Haret, Andreas Pfandler, Stefan Woltran:
Beyond IC Postulates: Classification Criteria for Merging Operators. 372-380 - Andreas Nolle, Christian Meilicke, Melisachew Wudage Chekol, German Nemirovski, Heiner Stuckenschmidt:
Schema-Based Debugging of Federated Data Sources. 381-389 - Nadia Creignou, Raïda Ktari, Odile Papini:
Belief Contraction Within Fragments of Propositional Logic. 390-398 - Yong Cheng, Fei Huang, Cheng Jin, Yuejie Zhang, Tao Zhang:
A Novel Cross-Modal Topic Correlation Model for Cross-Media Retrieval. 399-407 - Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
Situation Calculus Game Structures and GDL. 408-416 - Gleb Polevoy, Mathijs de Weerdt, Catholijn M. Jonker:
The Game of Reciprocation Habits. 417-425 - Hongming Shan, Junping Zhang:
Randomized Distribution Feature for Image Classification. 426-434 - Huayong Xu, Yafang Wang, Kang Feng, Gerard de Melo, Wei Wu, Andrei Sharf, Baoquan Chen:
ShapeLearner: Towards Shape-Based Visual Knowledge Harvesting. 435-443 - Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum:
Observation-Based Multi-Agent Planning with Communication. 444-452 - Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong, Ian Davidson:
A Framework for Actionable Clustering Using Constraint Programming. 453-461 - Tias Guns, Thi-Bich-Hanh Dao, Christel Vrain, Khanh-Chuong Duong:
Repetitive Branch-and-Bound Using Constraint Programming for Constrained Minimum Sum-of-Squares Clustering. 462-470 - José Hernández-Orallo:
Is Spearman's Law of Diminishing Returns (SLODR) Meaningful for Artificial Agents? 471-479 - Michelle L. Blom, Vanessa Teague, Peter J. Stuckey, Ron Tidhar:
Efficient Computation of Exact IRV Margins. 480-488 - Pietro Baroni, Guido Governatori, Régis Riveret:
On Labelling Statements in Multi-Labelling Argumentation. 489-497 - Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer:
Annotate-Sample-Average (ASA): A New Distant Supervision Approach for Twitter Sentiment Analysis. 498-506 - Longwen Gao, Yeqing Li, Junzhou Huang, Shuigeng Zhou:
Semi-Supervised Group Sparse Representation: Model, Algorithm and Applications. 507-514 - Jiang Rong, Tao Qin, Bo An, Tie-Yan Liu:
Modeling Bounded Rationality for Sponsored Search Auctions. 515-523 - Weipéng Huáng, Gregory M. Provan:
An Improved State Filter Algorithm for SIR Epidemic Forecasting. 524-532 - Xiaohong Li, Chengwei Zhang, Jianye Hao, Karl Tuyls, Siqi Chen, Zhiyong Feng:
Socially-Aware Multiagent Learning: Towards Socially Optimal Outcomes. 533-541 - Nader Chmait, David L. Dowe, Yuan-Fang Li, David G. Green, Javier Insa-Cabrera:
Factors of Collective Intelligence: How Smart Are Agent Collectives? 542-550 - Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo:
Synthesizing Argumentation Frameworks from Examples. 551-559 - Francesco Trovò, Stefano Paladino, Marcello Restelli, Nicola Gatti:
Budgeted Multi-Armed Bandit in Continuous Action Space. 560-568 - Nuno Cardoso, Rui Abreu, Alexander Feldman, Johan de Kleer:
A Framework for Automatic Debugging of Functional and Degradation Failures. 569-576 - Thushan Ganegedara, Lionel Ott, Fabio Ramos:
Online Adaptation of Deep Architectures with Reinforcement Learning. 577-585 - Daniel Kottke, Georg Krempl, Dominik Lang, Johannes Teschner, Myra Spiliopoulou:
Multi-Class Probabilistic Active Learning. 586-594 - Ariel Rosenfeld, Joseph Keshet, Claudia V. Goldman, Sarit Kraus:
Online Prediction of Exponential Decay Time Series with Human-Agent Application. 595-603 - Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich:
Set-Valued Conditioning in a Possibility Theory Setting. 604-612 - Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
An Improved CNF Encoding Scheme for Probabilistic Inference. 613-621 - Stephen Cranefield, Felipe Meneguzzi, Nir Oren, Bastin Tony Roy Savarimuthu:
A Bayesian Approach to Norm Identification. 622-629 - Jeremias Berg, Paul Saikko, Matti Järvisalo:
Subsumed Label Elimination for Maximum Satisfiability. 630-638 - Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen:
Vertical Optimization of Resource Dependent Flight Paths. 639-645 - Janneke H. Bolt, Jasper De Bock, Silja Renooij:
Exploiting Bayesian Network Sensitivity Functions for Inference in Credal Networks. 646-654 - Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez:
Interval-Based Relaxation for General Numeric Planning. 655-663 - Bo Ma, Hui He, Hongwei Hu, Meili Wei:
Randomized Canonical Correlation Discriminant Analysis for Face Recognition. 664-670 - Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. 671-679 - Katie Atkinson, Trevor J. M. Bench-Capon:
Value Based Reasoning and the Actions of Others. 680-688 - Nicolas Hug, Henri Prade, Gilles Richard, Mathieu Serrurier:
Analogical Classifiers: A Theoretical Perspective. 689-697 - Mustafa Al-Bakri, Manuel Atencia, Jérôme David, Steffen Lalande, Marie-Christine Rousset:
Uncertainty-Sensitive Reasoning for Inferring sameAs Facts in Linked Data. 698-706 - François Durand, Fabien Mathieu, Ludovic Noirie:
Can a Condorcet Rule Have a Low Coalitional Manipulability? 707-715 - Christer Bäckström, Peter Jonsson:
Upper and Lower Time and Space Bounds for Planning. 716-724 - Francesco Belardinelli, Alessio Lomuscio:
Abstraction-Based Verification of Infinite-State Reactive Modules. 725-733 - Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran:
Translation-Based Revision and Merging for Minimal Horn Reasoning. 734-742 - Antonio Salmerón, Anders L. Madsen, Frank Jensen, Helge Langseth, Thomas D. Nielsen, Darío Ramos-López, Ana M. Martínez, Andrés R. Masegosa:
Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs. 743-750 - Bas Testerink, Mehdi Dastani, Nils Bulling:
Distributed Controllers for Norm Enforcement. 751-759 - Peiming Mo, Naiqi Li, Yongmei Liu:
Automatic Verification of Golog Programs via Predicate Abstraction. 760-768 - Jonnathan Carvalho, Alexandre Plastino:
An Assessment Study of Features and Meta-Level Features in Twitter Sentiment Analysis. 769-777 - Praphul Chandra, Sujit Gujar, Y. Narahari:
Crowdfunding Public Projects with Provision Point: A Prediction Market Approach. 778-786 - Haris Aziz, Thomas Kalinowski, Toby Walsh, Lirong Xia:
Welfare of Sequential Allocation Mechanisms for Indivisible Goods. 787-794 - Éric Grégoire, Jean-Marie Lagniez:
A Computational Approach to Consensus-Finding. 795-801 - Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger:
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps. 802-809 - Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski:
Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective. 810-818 - Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:
Fixed-Domain Reasoning for Description Logics. 819-827 - Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis:
On Redundancy in Simple Temporal Networks. 828-836 - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki:
On Metric Temporal Description Logics. 837-845 - Julie Porteous, Fred Charles, Marc Cavazza:
Plan-Based Narrative Generation with Coordinated Subplots. 846-854 - Sergio Luengo-Sanchez, Concha Bielza, Pedro Larrañaga:
Hybrid Gaussian and von Mises Model-Based Clustering. 855-862 - Rui Silva, Francisco S. Melo, Manuela M. Veloso:
Adaptive Symbiotic Collaboration for Targeted Complex Manipulation Tasks. 863-870 - Paula Daniela Chocron, Marco Schorlemmer:
Attuning Ontology Alignments to Semantically Heterogeneous Multi-Agent Interactions. 871-879 - Martin Olsen, Sascha Kurz, Xavier Molinero:
On the Construction of High-Dimensional Simple Games. 880-885 - Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
A Dynamic Logic of Norm Change. 886-894 - René van Bevern, Christian Komusiewicz, Hendrik Molter, Rolf Niedermeier, Manuel Sorge, Toby Walsh:
h-Index Manipulation by Undoing Merges. 895-903 - Erwin Walraven, Matthijs T. J. Spaan:
Planning Under Uncertainty for Aggregated Electric Vehicle Charging with Renewable Energy Supply. 904-912 - Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi:
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. 913-920 - Gavin Rens, Thomas Andreas Meyer, Giovanni Casini:
On Revision of Partially Specified Convex Probabilistic Belief Bases. 921-929 - Guillaume Casanova, Cédric Pralet, Charles Lesire, Thierry Vidal:
Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming. 930-938 - Hua Jiang, Chu Min Li, Felip Manyà:
Combining Efficient Preprocessing and Incremental MaxSAT Reasoning for MaxClique in Large Graphs. 939-947 - Kleanthi Georgala, Mohamed Ahmed Sherif, Axel-Cyrille Ngonga Ngomo:
An Efficient Approach for the Generation of Allen Relations. 948-956 - Ricardo Gonçalves, Matthias Knorr, João Leite:
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. 957-965 - Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin:
Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. 966-973 - Chris Percy, Artur S. d'Avila Garcez, Simo Dragicevic, Manoel V. M. França, Greg G. Slabaugh, Tillman Weyde:
The Need for Knowledge Extraction: Understanding Harmful Gambling Behavior with Neural Networks. 974-981 - Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning in the Situation Calculus. 982-990 - Saïd Jabbour, Lakhdar Sais:
Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. 991-998 - Pietro Cottone, Salvatore Gaglio, Giuseppe Lo Re, Marco Ortolani:
Gaining Insight by Structural Knowledge Extraction. 999-1007 - Thomas Lukasiewicz, Livia Predoiu:
Complexity of Threshold Query Answering in Probabilistic Ontological Data Exchange. 1008-1016 - Melisachew Wudage Chekol, Jakob Huber, Christian Meilicke, Heiner Stuckenschmidt:
Markov Logic Networks with Numerical Constraints. 1017-1025 - Ajin George Joseph, Shalabh Bhatnagar:
Revisiting the Cross Entropy Method with Applications in Stochastic Global Optimization and Reinforcement Learning. 1026-1034 - Sujit Gujar, Boi Faltings:
Online Auctions for Dynamic Assignment: Theory and Empirical Evaluation. 1035-1043 - Buser Say, André A. Ciré, J. Christopher Beck:
Mathematical Programming Models for Optimizing Partial-Order Plan Flexibility. 1044-1052 - Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis:
On Distances Between KD45n Kripke Models and Their Use for Belief Revision. 1053-1061 - Paul Duckworth, Muhannad Al-Omari, Yiannis Gatsoulis, David C. Hogg, Anthony G. Cohn:
Unsupervised Activity Recognition Using Latent Semantic Analysis on a Mobile Robot. 1062-1070 - Edith Hemaspaandra, Henning Schnoor:
Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions. 1071-1079 - Ye Liu, Qibin Zhao, Min Chen, Liqing Zhang:
Higher-Order Correlation Coefficient Analysis for EEG-Based Brain-Computer Interface. 1080-1088 - Emanuele Sansone, Andrea Passerini, Francesco G. B. De Natale:
Classtering: Joint Classification and Clustering with Mixture of Factor Analysers. 1089-1095 - Franz Baader, Oliver Fernandez Gil:
Extending the Description Logic with Acyclic TBoxes. 1096-1104 - Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran:
Clique-Width and Directed Width Measures for Answer-Set Programming. 1105-1113 - Sven Buechel, Udo Hahn:
Emotion Analysis as a Regression Problem - Dimensional Models and Their Implications on Emotion Representation and Metrical Evaluation. 1114-1122 - Soufian Jebbara, Philipp Cimiano:
Aspect-Based Relational Sentiment Analysis Using a Stacked Neural Network Architecture. 1123-1131 - Karel Bartos, Michal Sofka, Vojtech Franc:
Learning Invariant Representation for Malicious Network Traffic Detection. 1132-1139 - Fernando Martínez-Plumed, Ricardo B. C. Prudêncio, Adolfo Martínez Usó, José Hernández-Orallo:
Making Sense of Item Response Theory in Machine Learning. 1140-1148 - Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch:
Skeptical, Weakly Skeptical, and Credulous Inference Based on Preferred Ranking Functions. 1149-1157 - Yiwei Zhou, Nattiya Kanhabua, Alexandra I. Cristea:
Real-Time Timeline Summarisation for High-Impact Events in Twitter. 1158-1166 - Nicola Gatti, Marco Rocco, Paolo Serafino, Carmine Ventre:
Towards Better Models of Externalities in Sponsored Search Auctions. 1167-1175 - Katherine Metcalf, David B. Leake:
A Computational Method for Extracting, Representing, and Predicting Social Closeness. 1176-1184 - Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni:
Planning Using Actions with Control Parameters. 1185-1193 - Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis:
Fixed-Parameter Tractable Optimization Under DNNF Constraints. 1194-1202 - Nahla Ben Amor, Didier Dubois, Héla Gouider, Henri Prade:
Preference Modeling with Possibilistic Networks and Symbolic Weights: A Theoretical Study. 1203-1211 - Vikas Joshi, Deepak P, L. Venkata Subramaniam:
Leveraging Stratification in Twitter Sampling. 1212-1220 - Paul Vicol, James P. Delgrande, Torsten Schaub:
A Minimization-Based Approach to Iterated Multi-Agent Belief Change. 1221-1229 - Panagiotis Kouvaros, Alessio Lomuscio:
Parameterised Model Checking for Alternating-Time Temporal Logic. 1230-1238 - Ondrej Kuzelka, Jesse Davis, Steven Schockaert:
Interpretable Encoding of Densities Using Possibilistic Logic. 1239-1247 - Yassine Mrabet, Halil Kilicoglu, Dina Demner-Fushman:
Unsupervised Ranking of Knowledge Bases for Named Entity Recognition. 1248-1255 - Lorenzo Bottarelli, Manuele Bicego, Jason Blum, Alessandro Farinelli:
Skeleton-Based Orienteering for Level Set Estimation. 1256-1264 - Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer:
Interruptible Task Execution with Resumption in Golog. 1265-1273 - Damir Lotinac, Anders Jonsson:
Constructing Hierarchical Task Models Using Invariance Analysis. 1274-1282 - Davide Nitti, Irma Ravkic, Jesse Davis, Luc De Raedt:
Learning the Structure of Dynamic Hybrid Relational Models. 1283-1290 - Mohamed Wahbi, Kenneth N. Brown:
A Distributed Asynchronous Solver for Nash Equilibria in Hypergraphical Games. 1291-1299 - Lavindra de Silva, Sebastian Sardiña, Lin Padgham:
Summary Information for Reasoning About Hierarchical Plans. 1300-1308 - Jens Claßen, Malte Neuss:
Knowledge-Based Programs with Defaults in a Modal Situation Calculus. 1309-1317 - Nawal Benabbou, Patrice Perny:
Solving Multi-Agent Knapsack Problems Using Incremental Approval Voting. 1318-1326 - Alexey Ignatiev, António Morgado, João Marques-Silva:
Propositional Abduction with Implicit Hitting Sets. 1327-1335 - Ramanuja Simha, Hagit Shatkay:
Improved Multi-Label Classification Using Inter-Dependence Structure via a Generative Mixture Model. 1336-1343 - Tianpei Yang, Zhaopeng Meng, Jianye Hao, Sandip Sen, Chao Yu:
Accelerating Norm Emergence Through Hierarchical Heuristic Learning. 1344-1352 - Shoaib Jameel, Steven Schockaert:
Entity Embeddings with Conceptual Subspaces as a Basis for Plausible Reasoning. 1353-1361 - Chih-Kuan Yeh, Hsuan-Tien Lin:
Automatic Bridge Bidding Using Deep Reinforcement Learning. 1362-1369 - Rattanachai Ramaithitima, Siddharth Srivastava, Subhrajit Bhattacharya, Alberto Speranzon, Vijay Kumar:
Hierarchical Strategy Synthesis for Pursuit-Evasion Problems. 1370-1378 - Christoph Schwering, Gerhard Lakemeyer:
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. 1379-1387 - Romy Blankendaal, Sarah Parinussa, Jan Treur:
A Temporal-Causal Modelling Approach to Integrated Contagion and Network Change in Social Networks. 1388-1396 - Padraic D. Edgington, Anthony S. Maida:
Exact Particle Filter Modularization Improves Runtime Performance. 1397-1405 - Soufiane Drissi Oudghiri, Patrice Perny, Olivier Spanjaard, Mohamed Hachimi:
Using the Sugeno Integral in Optimal Assignment Problems with Qualitative Utilities. 1406-1413 - Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza:
Complexity Results for Probabilistic Datalog±. 1414-1422 - Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski:
Strategic Voting in a Social Context: Considerate Equilibria. 1423-1431 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
The Complexity of Deciding Legality of a Single Step of Magic: The Gathering. 1432-1439 - Claudia Carapelle, Anni-Yasmin Turhan:
Description Logics Reasoning w.r.t. General TBoxes Is Decidable for Concrete Domains with the EHD-Property. 1440-1448 - Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev:
Realisability of Production Recipes. 1449-1457 - Jay Young, Valerio Basile, Lars Kunze, Elena Cabrio, Nick Hawes:
Towards Lifelong Object Learning by Integrating Situated Robot Perception and Semantic Web Mining. 1458-1466 - Reem Al-Otaibi, Meelis Kull, Peter A. Flach:
Declaratively Capturing Local Label Correlations with Multi-Label Trees. 1467-1475 - Aaron Schlenker, Matthew Brown, Arunesh Sinha, Milind Tambe, Ruta Mehta:
Get Me to My GATE on Time: Efficiently Solving General-Sum Bayesian Threat Screening Games. 1476-1484 - Lei Zhang, Haibin Chen, Jun Wu, Chong-Jun Wang, Junyuan Xie:
False-Name-Proof Mechanisms for Path Auctions in Social Networks. 1485-1492 - Roi Yehoshua, Noa Agmon:
Multi-Robot Adversarial Coverage. 1493-1501 - Ronald de Haan:
Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation. 1502-1510 - Marc van Zee, Dragan Doder:
AGM-Style Revision of Beliefs and Intentions. 1511-1519 - Hongning Yuan, Kai Wang, Ken C. K. Fong, Yong Zhang, Minming Li:
Facility Location Games with Optional Preference. 1520-1527 - Marija Slavkovik, Wojciech Jamroga:
Iterative Judgment Aggregation. 1528-1536 - Lenka Mudrová, Bruno Lacerda, Nick Hawes:
Partial Order Temporal Plan Merging for Mobile Robot Tasks. 1537-1545 - Mahmood Hammoodi, Frederic T. Stahl, Mark Tennant:
Towards Online Concept Drift Detection with Feature Selection for Data Stream Classification. 1549-1550 - Simon Bin, Lorenz Bühmann, Jens Lehmann, Axel-Cyrille Ngonga Ngomo:
Towards SPARQL-Based Induction for Large-Scale RDF Data Sets. 1551-1552 - Yan Wang, Han-Xiong Li:
Burg Matrix Divergence Based Multi-Metric Learning. 1553-1554 - Vojtech Uher, Petr Gajdos, Michal Radecký, Václav Snásel:
A Novel Approach of Applying the Differential Evolution to Spatial Discrete Data. 1555-1556 - Gavin Rens:
A Stochastic Belief Change Framework with a Stream of Expiring Observations (Short Paper). 1557-1558 - Yakun Wang, Zhongbao Zhang, Sen Su, Cheng Chang, Muhammad Azam Zia:
Topic-Level Influencers Identification in the Microblog Sphere. 1559-1560 - Antoine Nongaillard, Sébastien Picault:
Multilevel Agent-Based Modelling for Assignment or Matching Problems. 1561-1562 - Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier:
Simple Epistemic Planning: Generalised Gossiping. 1563-1564 - Gregory M. Provan:
A General Characterization of Model-Based Diagnosis. 1565-1566 - William Lam, Kalev Kask, Rina Dechter, Javier Larrosa:
On the Impact of Subproblem Orderings on Anytime AND/OR Best-First Search for Lower Bounds. 1567-1568 - Na Li, Zhenhua Wang, Lining Sun, Guodong Chen:
Salient Region Detection Based on the Global Contrast Combining Background Measure for Indoor Robots. 1569-1570 - Nan Li, Longin Jan Latecki:
Semi-Supervised Learning on an Augmented Graph with Class Labels. 1571-1572 - Siyuan Liu, Xiuyi Fan, Chunyan Miao:
Identifying and Rewarding Subcrowds in Crowdsourcing. 1573-1574 - Dimitris Kalles, Vassilios S. Verykios, Georgios Feretzakis, Athanasios Papagelis:
Data Set Operations to Hide Decision Tree Rules. 1575-1576 - Angelos Chliaoutakis, Georgios Chalkiadakis:
Evolutionary Agent-Based Modeling of Past Societies' Organization Structure. 1577-1578 - Ofri Keidar, Noa Agmon:
Strategic Path Planning Allowing on-the-Fly Updates. 1579-1580 - Shirin Sohrabi, Anton V. Riabov, Octavian Udrea, Oktie Hassanzadeh:
Finding Diverse High-Quality Plans for Hypothesis Generation. 1581-1582 - Mona Lange, Felix Kuhr, Ralf Möller:
Using a Deep Understanding of Network Activities for Network Vulnerability Assessment. 1583-1585 - Yoshihide Sawada, Yoshikuni Sato, Toru Nakada, Kei Ujimoto, Nobuhiro Hayashi:
All-Transfer Learning for Deep Neural Networks and Its Application to Sepsis Classification. 1586-1587 - Bettina Fazzinga, Sergio Flesca, Filippo Furfaro:
Computing Extensions' Probabilities in Probabilistic Abstract Argumentation: Beyond Independence. 1588-1589 - Xiuyi Fan, Siyuan Liu, Huiguo Zhang, Cyril Leung, Chunyan Miao:
Explained Activity Recognition with Computational Assumption-Based Argumentation. 1590-1591 - Fernando P. Santos, Francisco C. Santos, Ana Paiva, Jorge M. Pacheco:
Execution Errors Enable the Evolution of Fairness in the Ultimatum Game. 1592-1593 - Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov:
Encoding Cryptographic Functions to SAT Using TRANSALG System. 1594-1595 - Quan Yu, Hai Wan, Jiangtao Xu, Freddy Lécué, Liang Chang:
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions. 1596-1597 - Thomas Bridi, Michele Lombardi, Andrea Bartolini, Luca Benini, Michela Milano:
DARDIS: Distributed And Randomized DIspatching and Scheduling. 1598-1599 - Tuan-Fang Fan, Churn-Jung Liau:
Reasoning About Belief and Evidence with Extended Justification Logic. 1600-1601 - Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, Evelina Lamma:
Scaling Structure Learning of Probabilistic Logic Programs by MapReduce. 1602-1603 - Filippos Christianos, Georgios Chalkiadakis:
Employing Hypergraphs for Efficient Coalition Formation with Application to the V2G Problem. 1604-1605 - Pavel Janovsky, Scott A. DeLoach:
Increasing Coalition Stability in Large-Scale Coalition Formation with Self-Interested Agents. 1606-1607 - Dilara Keküllüoglu, Nadin Kökciyan, Pinar Yolum:
Strategies for Privacy Negotiation in Online Social Networks. 1608-1609 - Shashank Pathak, Antony Thomas, Asaf Feniger, Vadim Indelman:
DA-BSP: Towards Data Association Aware Belief Space Planning for Robust Active Perception. 1610-1611 - Gerasimos Spanakis, Gerhard Weiss, Anne Roefs:
Bagged Boosted Trees for Classification of Ecological Momentary Assessment Data. 1612-1613 - Nardine Osman, Carles Sierra:
Reputation in the Academic World. 1614-1615 - Mohammed Hasanuzzaman, Wai Leung Sze, Mahammad Parvez Salim, Gaël Dias:
Collective Future Orientation and Stock Markets. 1616-1617 - Yanbing Xue, Milos Hauskrecht:
Learning of Classification Models from Noisy Soft-Labels. 1618-1619 - Ashiqur R. KhudaBukhsh, Peter J. Jansen, Jaime G. Carbonell:
Distributed Learning in Expert Referral Networks. 1620-1621 - Shourya Roy, Himanshu S. Bhatt, Y. Narahari:
Transfer Learning for Automatic Short Answer Grading. 1622-1623 - Yoshikuni Sato, Yoshihide Sawada, Toru Nakada, Tadayoshi Nonoyama, Masafumi Kubota, Yusuke Koie, Masaki Yasutake, Osamu Yamamura:
Long-Time Sensor Data Analysis for Estimation of Physical Capacity. 1624-1625 - Fei Huang, Yong Cheng, Cheng Jin, Yuejie Zhang, Tao Zhang:
Enhancing Sketch-Based Image Retrieval via Deep Discriminative Representation. 1626-1627 - Auke J. Wiggers, Frans A. Oliehoek, Diederik M. Roijers:
Structure in the Value Function of Two-Player Zero-Sum Games of Incomplete Information. 1628-1629 - Michael Thielscher:
GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. 1630-1631 - David Jardim, Luís Nunes, Miguel Sales Dias:
Impact of Automated Action Labeling in Classification of Human Actions in RGB-D Videos. 1632-1633 - Mohammed Hasanuzzaman, Gaël Dias, Stéphane Ferrari:
Transductive Learning for the Identification of Word Sense Temporal Orientation. 1634-1635 - Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Towards a Framework for Detecting Opportunism in Multi-Agent Systems. 1636-1637 - Dan Halbersberg, Boaz Lerner:
Learning a Bayesian Network Classifier by Jointly Maximizing Accuracy and Information. 1638-1639 - Ioannis Efstathiou, Oliver Lemon:
Transfer of Reinforcement Learning Negotiation Policies: From Bilateral to Multilateral Scenarios. 1640-1641 - Pierre Bisquert, Madalina Croitoru, Florence Dupin de Saint-Cyr, Abdelraouf Hecham:
Substantive Irrationality in Cognitive Systems. 1642-1643 - Alper Demir, Erkin Çilden, Faruk Polat:
A History Tree Heuristic to Generate Better Initiation Sets for Options in Reinforcement Learning. 1644-1645 - Heng Song, Junwu Zhu, Bin Li, Yi Jiang:
On Truthful Auction Mechanisms for Electricity Allocation. 1646-1647 - Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Towards a BDI Player Model for Interactive Narratives. 1648-1649 - Roberto Micalizio, Gian Luca Pozzato:
A Typicality-Based Revision to Handle Exceptions in Description Logics. 1650-1651 - Dangdang Niu, Lei Liu, Shuai Lü:
A New Stochastic Local Search Approach for Computing Preferred Extensions of Abstract Argumentation. 1652-1653 - Praphul Chandra, Sujit Gujar, Y. Narahari:
Crowdsourced Referral Auctions. 1654-1655 - Dorothea Baumeister, Toni Böhnlein, Lisa Rey, Oliver Schaudt, Ann-Kathrin Selker:
Minisum and Minimax Committee Election Rules for General Preference Types. 1656-1657 - Richard Klíma, Daan Bloembergen, Rahul Savani, Karl Tuyls, Daniel Hennes, Dario Izzo:
Space Debris Removal: A Game Theoretic Analysis. 1658-1659 - Mihaela Verman, Philip Stutz, Robin Hafen, Abraham Bernstein:
Cuilt: A Scalable, Mix-and-Match Framework for Local Iterative Approximate Best-Response Algorithms. 1660-1661 - Myriam Bounhas, Henri Prade, Gilles Richard:
Not Being at Odds with a Class: A New Way of Exploiting Neighbors for Classification. 1662-1663 - Trevor J. M. Bench-Capon:
Value-Based Reasoning and Norms. 1664-1665 - Víctor Suárez-Paniagua, Isabel Segura-Bedmar:
Using Recursive Neural Networks to Detect and Classify Drug-Drug Interactions from Biomedical Texts. 1666-1667 - Sergio Greco, Francesco Parisi:
Efficient Computation of Deterministic Extensions for Dynamic Abstract Argumentation Frameworks. 1668-1669 - Eric Neufeld, Sonje Finnestad:
The Post-Modern Homunculus. 1670-1671 - Theodore Patkos, Giorgos Flouris, Antonis Bikakis:
Symmetric Multi-Aspect Evaluation of Comments - Extended Abstract. 1672-1673 - Sebastijan Dumancic, Hendrik Blockeel:
An Efficient and Expressive Similarity Measure for Relational Clustering Using Neighbourhood Trees. 1674-1675 - Saïd Jabbour:
On Inconsistency Measuring and Resolving. 1676-1677 - Amina Jarraya, Nathan Ramoly, Amel Bouzeghoub, Khedija Arour, Amel Borgi, Béatrice Finance:
A Fuzzy Semantic CEP Model for Situation Identification in Smart Homes. 1678-1679 - Stefania Costantini, Andrea Formisano:
Multi-Context Systems in Time. 1680-1681 - Yu Gu, Eric O. Postma, Hai-Xiang Lin, H. Jaap van den Herik:
Speech Emotion Recognition Using Voiced Segment Selection Algorithm. 1682-1683 - Radu Marinescu, Akihiro Kishimoto, Adi Botea:
Scalable Exact MAP Inference in Graphical Models. 1684-1685 - Vadim Malvone, Aniello Murano, Loredana Sorrentino:
Hiding Actions in Concurrent Games. 1686-1687 - Jesse Glass, Zoran Obradovic:
Shape Invariant Formulation for Change Point Models in Multiple Dimensions. 1688-1689 - Raj Kumar Maity, Chandrashekar Lakshminarayanan, Sindhu Padakandla, Shalabh Bhatnagar:
Shaping Proto-Value Functions Using Rewards. 1690-1691 - Erich Christian Teppan, Gerhard Friedrich:
Heuristic Constraint Answer Set Programming. 1692-1693 - Liana Marinescu, Andrew Coles:
Non-Deterministic Planning with Numeric Uncertainty. 1694-1695 - László Z. Varga:
How Good Is Predictive Routing in the Online Version of the Braess Paradox? 1696-1697 - Arthur Bit-Monnot, David E. Smith, Minh Do:
Delete-Free Reachability Analysis for Temporal and Hierarchical Planning. 1698-1699 - Yuan Yao, Brian Logan, John Thangarajah:
Intention Selection with Deadlines. 1700-1701 - Vikas Shivashankar, Ron Alford, Mark Roberts, David W. Aha:
Cost-Optimal Algorithms for Planning with Procedural Control Knowledge. 1702-1703 - Omer Reingold, Nina Narodytska:
Adaptive Condorcet-Based Stopping Rules Can Be Efficient. 1704-1705 - Ramon Fraga Pereira, Felipe Meneguzzi:
Landmark-Based Plan Recognition. 1706-1707 - Alison R. Panisson, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Multi-Level Semantics with Vertical Integrity Constraints. 1708-1709 - Niloofer Shanavas, Hui Wang, Zhiwei Lin, Glenn I. Hawe:
Supervised Graph-Based Term Weighting Scheme for Effective Text Classification. 1710-1711 - Josef Bajada, Maria Fox, Derek Long:
Temporal Planning with Constants in Context. 1712-1713 - Michal Stolba, Jan Tozicka, Antonín Komenda:
Secure Multi-Agent Planning Algorithms. 1714-1715 - Musad Haque, Christopher Ren, Electa A. Baker, Douglas Kirkpatrick, Julie A. Adams:
Analysis of Swarm Communication Models. 1716-1717 - Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski:
Fault Manifestability Verification for Discrete Event Systems. 1718-1719 - Andrea Bertolaso, Masoume M. Raeissi, Alessandro Farinelli, Riccardo Muradore:
Using Petri Net Plans for Modeling UAV-UGV Cooperative Landing. 1720-1721 - Nikolaos I. Spanoudakis, Antonis C. Kakas, Pavlos Moraitis:
Applications of Argumentation: The SoDA Methodology. 1722-1723 - Frits de Nijs, Matthijs T. J. Spaan, Mathijs Michiel de Weerdt:
Decoupling a Resource Constraint Through Fictitious Play in Multi-Agent Sequential Decision Making. 1724-1725 - Zhimin Wu, Ernst Moritz Hahn, Akin Günay, Lijun Zhang, Yang Liu:
GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. 1726-1727 - Marharyta Aleksandrova, Armelle Brun, Oleg Chertov, Anne Boyer:
Sets of Contrasting Rules to Identify Trigger Factors. 1728-1729 - Sho Yokoi, Hiroshi Kajino, Hisashi Kashima:
Link Prediction by Incidence Matrix Factorization. 1730-1731 - Agnese Augello, Manuel Gentile, Lucas Weideveld, Frank Dignum:
Dialogues as Social Practices for Serious Games. 1732-1733 - Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris:
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. 1734-1735 - Elizabeth Black, Amanda Jane Coles, Christopher Hampson:
Optimal Simple Strategies for Persuasion. 1736-1737 - Oskar Skibski, Henryk Michalewski, Andrzej Nagórko, Tomasz P. Michalak, Andrew James Dowell, Talal Rahwan, Michael J. Wooldridge:
Non-Utilitarian Coalition Structure Generation. 1738-1739 - Tiago Raul de Sousa Pereira, Manuela M. Veloso, António Paulo Moreira:
PA*: Optimal Path Planning for Perception Tasks. 1740-1741 - Isil Doga Yakut Kiliç, Shimei Pan:
Cross-Domain Error Correction in Personality Prediction. 1742-1743 - Tânia Marques, Michael Rovatsos:
Classical Planning with Communicative Actions. 1744-1745 - Jan Karwowski, Jacek Mandziuk:
Mixed Strategy Extraction from UCT Tree in Security Games. 1746-1747 - Nils Bulling, Koen V. Hindriks:
Boolean Negotiation Games. 1748-1749 - Shahrzad Gholami, Bryan Wilder, Matthew Brown, Dana Thomas, Nicole D. Sintov, Milind Tambe:
Toward Addressing Collusion Among Human Adversaries in Security Games. 1750-1751 - Radhika Arava, Pradeep Varakantham:
Detecting Communities Using Coordination Games: A Short Paper. 1752-1753 - Sarvar Abdullaev, Peter McBurney, Katarzyna Musial:
Pricing Options with Portfolio-Holding Trading Agents in Direct Double Auction. 1754-1755 - Yifan Yang, Ricardo de Aldama, Jamal Atif, Isabelle Bloch:
Efficient Semantic Tableau Generation for Abduction in Propositional Logic. 1756-1757 - Qi Zhang, Chongyang Shi, Ping Sun, Zhendong Niu:
Case-Based Classification on Hierarchical Structure of Formal Concept Analysis. 1758-1759 - Zhidong Deng, Zhenyang Wang, Shiyao Wang:
Stochastic Area Pooling for Generic Convolutional Neural Network. 1760-1761 - Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang:
Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems. 1762-1763 - Leonor Becerra-Bonache, Hendrik Blockeel, María Galván, François Jacquenet:
Relational Grounded Language Learning. 1764-1765 - Yiannis Gatsoulis, Muhammad Owais Mehmood, Vania G. Dimitrova, Derek R. Magee, Bastien Sage-Vallier, P. Thiaudiere, Joaquin Valdes, Anthony G. Cohn:
Learning the Repair Urgency for a Decision Support System for Tunnel Maintenance. 1769-1774 - Ajay Chander, Ramya Srinivasan:
ONE - A Personalized Wellness System. 1775-1776 - Chris A. B. Baker, Sarvapali D. Ramchurn, W. T. Luke Teacy, Nicholas R. Jennings:
Planning Search and Rescue Missions for UAV Teams. 1777-1782 - A. H. M. Imrul Hasan, Peter Haddawy:
Integrating ARIMA and Spatiotemporal Bayesian Networks for High Resolution Malaria Prediction. 1783-1790 - Armon Toubman, Jan Joris Roessingh, Pieter Spronck, Aske Plaat, H. Jaap van den Herik:
Rapid Adaptation of Air Combat Behaviour. 1791-1796 - Aldy Gunawan, Hoong Chuin Lau, Pradeep Varakantham, Wenjie Wang:
An Intelligent System for Personalized Conference Event Recommendation and Scheduling. 1797-1802 - Martin Gjoreski, Hristijan Gjoreski, Mitja Lustrek, Matjaz Gams:
Continuous Live Stress Monitoring with a Wristband. 1803-1804 - Tibor Bosse, Charlotte Gerritsen, Jeroen de Man:
An Intelligent System for Aggression De-Escalation Training. 1805-1811 - Teena Hassan, Dominik Seuss, Johannes Wollenberg, Jens-Uwe Garbas, Ute Schmid:
A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework. 1812-1817 - Jesús Ibáñez-Ruiz, Laura Sebastia, Eva Onaindia:
Planning Tourist Agendas for Different Travel Styles. 1818-1823
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 2026-01-27 23:59 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:
