Artificial Intelligence
Authors and titles for September 2023
- arXiv:2309.00029 [pdf, other]
-
Title: Exploring the Potential of Large Language Models to Generate Formative Programming FeedbackComments: Accepted to FIE 2023Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Software Engineering (cs.SE)
- arXiv:2309.00135 [pdf, other]
-
Title: Construction Grammar and Artificial IntelligenceComments: Peer-reviewed author's draft of a chapter to appear in the Cambridge Handbook of Construction Grammar (2024 - edited by Mirjam Fried and Kiki Nikiforidou)Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
- arXiv:2309.00138 [pdf, other]
-
Title: Fuzzy Approach for Audio-Video Emotion Recognition in Computer Games for ChildrenComments: 8 pages. Prepared for the Elsevier conferenceSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.00172 [pdf, other]
-
Title: Detecting Evidence of Organization in groups by TrajectoriesComments: 17 pages, 16 figures, 3 algorithms, 1 tableSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.00238 [pdf, other]
-
Title: ALJP: An Arabic Legal Judgment Prediction in Personal Status Cases Using Machine Learning ModelsSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
- arXiv:2309.00300 [pdf, other]
-
Title: Towards the Identifiability and Explainability for Personalized Learner Modeling: An Inductive ParadigmComments: Accepted by the ACM Web Conference 2024 (WWW '24)Subjects: Artificial Intelligence (cs.AI)
- arXiv:2309.00306 [pdf, other]
-
Title: On the Aggregation of Rules for Knowledge Graph CompletionComments: KLR Workshop@ICML2023Subjects: Artificial Intelligence (cs.AI)
- arXiv:2309.00317 [pdf, other]
-
Title: A Text-based Approach For Link Prediction on Wikipedia ArticlesComments: Accepted by DSAA 2023 Conference in the DSAA Student Competition SectionSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.00357 [pdf, other]
-
Title: Discrete Versus Continuous Algorithms in Dynamics of Affective Decision MakingComments: Latex file, 24 pages, 11 figuresJournal-ref: Algorithms 16 (2023) 416Subjects: Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)
- arXiv:2309.00422 [pdf, other]
-
Title: Declarative Reasoning on Explanations Using Constraint Logic ProgrammingComments: European Conference on Logics in Artificial Intelligence (JELIA 2023)Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
- arXiv:2309.00709 [pdf, other]
-
Title: Reinforcement Learning with Human Feedback for Realistic Traffic SimulationComments: 9 pages, 4 figuresSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Robotics (cs.RO)
- arXiv:2309.01026 [pdf, other]
-
Title: Zero-Shot Recommendations with Pre-Trained Large Language Models for Multimodal NudgingSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Retrieval (cs.IR); Machine Learning (cs.LG); Multimedia (cs.MM)
- arXiv:2309.01038 [pdf, other]
-
Title: Neurosymbolic Reinforcement Learning and Planning: A SurveyComments: 16 pages, 9 figures, IEEE Transactions on Artificial IntelligenceSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.01105 [pdf, other]
-
Title: A Study on the Implementation of Generative AI Services Using an Enterprise Data-Based LLM Application ArchitectureSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
- arXiv:2309.01173 [pdf, other]
-
Title: Logic of subjective probabilityComments: 19 pagesSubjects: Artificial Intelligence (cs.AI); Other Statistics (stat.OT)
- arXiv:2309.01194 [pdf, other]
-
Title: A Survey on Service Route and Time Prediction in Instant Delivery: Taxonomy, Progress, and ProspectsHaomin Wen, Youfang Lin, Lixia Wu, Xiaowei Mao, Tianyue Cai, Yunfeng Hou, Shengnan Guo, Yuxuan Liang, Guangyin Jin, Yiji Zhao, Roger Zimmermann, Jieping Ye, Huaiyu WanSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.01249 [pdf, html, other]
-
Title: Large AI Model Empowered Multimodal Semantic CommunicationsComments: Accepted by IEEE CMSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
- arXiv:2309.01294 [pdf, other]
-
Title: AlphaZero GomokuSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.01538 [pdf, html, other]
-
Title: ChatRule: Mining Logical Rules with Large Language Models for Knowledge Graph ReasoningComments: 11 pages, 4 figuresSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
- arXiv:2309.01622 [pdf, other]
-
Title: Concepts is All You Need: A More Direct Path to AGISubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.01955 [pdf, other]
-
Title: A Survey on Interpretable Cross-modal ReasoningSubjects: Artificial Intelligence (cs.AI); Multimedia (cs.MM)
- arXiv:2309.02009 [pdf, other]
-
Title: Belief revision and incongruity: is it a joke?Florence Dupin de Saint Cyr - Bannay (IRIT-ADRIA), Henri Prade (IRIT-ADRIA)Comments: A special paper on/in humor/honor for/of Philippe BesnardJournal-ref: Journal of Applied Non-Classical Logics, In press, Special issue in honour of Philippe Besnard, pp.1-28Subjects: Artificial Intelligence (cs.AI)
- arXiv:2309.02287 [pdf, other]
-
Title: Optimal Observation-Intervention Trade-Off in Optimisation Problems with Causal StructureSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.02427 [pdf, html, other]
-
Title: Cognitive Architectures for Language AgentsComments: v3 is TMLR camera ready version. 19 pages of main content, 5 figures. The first two authors contributed equally, order decided by coin flip. A CoALA-based repo of recent work on language agents: this https URLSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Symbolic Computation (cs.SC)
- arXiv:2309.02534 [pdf, other]
-
Title: Experience and Prediction: A Metric of Hardness for a Novel Litmus TestComments: 33 pages, 10 figures,Journal-ref: Journal of Logic and Computation 31(8), 2028-2056Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.02603 [pdf, html, other]
-
Title: Detection of Unknown-Unknowns in Human-in-Plant Human-in-Loop Systems Using Physics Guided Process ModelsSubjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
- arXiv:2309.02662 [pdf, other]
-
Title: Subsethood Measures of Spatial GranulesSubjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT)
- arXiv:2309.02815 [pdf, other]
-
Title: Near-continuous time Reinforcement Learning for continuous state-action spacesSubjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Statistics Theory (math.ST)
- arXiv:2309.02856 [pdf, other]
-
Title: Getting too personal(ized): The importance of feature choice in online adaptive algorithmsComments: 11 pages, 6 figures. Correction to the original article published at this https URL : The Thompson sampling algorithm in the original article overweights older data resulting in an overexploitative multi-armed bandit. This arxiv version uses a normal Thompson sampling algorithmSubjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
- arXiv:2309.03023 [pdf, other]
-
Title: Universal Preprocessing Operators for Embedding Knowledge Graphs with LiteralsComments: Accepted for DL4KG Workshop at ISWC 2023Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.03041 [pdf, other]
-
Title: A Refutation of Shapley Values for ExplainabilitySubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.03084 [pdf, html, other]
-
Title: Accelerating Nash Equilibrium Convergence in Monte Carlo Settings Through Counterfactual Value Based Fictitious PlaySubjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG)
- arXiv:2309.03092 [pdf, other]
-
Title: Establishing Markov Equivalence in Cyclic Directed GraphsComments: Correction to original version published at UAI-2023. Includes additional experimental results and extended proof details in supplementJournal-ref: Proc. Uncertainty in Artificial Intelligence (UAI 2023), PMLR 216:433-442Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Machine Learning (cs.LG)
- arXiv:2309.03215 [pdf, other]
-
Title: Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming ApproachZahra Chaghazardi (University of Surrey), Saber Fallah (University of Surrey), Alireza Tamaddoni-Nezhad (University of Surrey)Comments: In Proceedings ICLP 2023, arXiv:2308.14898Journal-ref: EPTCS 385, 2023, pp. 201-212Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)
- arXiv:2309.03217 [pdf, other]
-
Title: Algebraic Models for Qualified Aggregation in General Rough Sets, and Reasoning Bias DiscoveryComments: 15 Pages. Accepted. IJCRS-2023Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Rings and Algebras (math.RA)
- arXiv:2309.03219 [pdf, other]
-
Title: Companion Animal Disease Diagnostics based on Literal-aware Medical Knowledge Graph Representation LearningComments: 16 pagesSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)
- arXiv:2309.03222 [pdf, html, other]
-
Title: Sherlock Holmes Doesn't Play Dice: The mathematics of uncertain reasoning when something may happen, that one is not even able to figure outComments: 25 pages, 3 figures, 1 tableSubjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC)
- arXiv:2309.03224 [pdf, other]
-
Title: No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy FunctionComments: still in progressSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.03227 [pdf, other]
-
Title: Learning a Patent-Informed Biomedical Knowledge Graph Reveals Technological Potential of Drug Repositioning CandidatesComments: We are sorry to withdraw this paper. We found some critical errors in the introduction and results sections. Specifically, we found that the first author have wrongly inserted citations on background works and he made mistakes in the graph embedding methods and relevant results are wrongly calculated. In this regard, we tried to revise this paper and withdraw the current version. Thank youSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG); Quantitative Methods (q-bio.QM)
- arXiv:2309.03229 [pdf, html, other]
-
Title: Which algorithm to select in sports timetabling?David Van Bulck, Dries Goossens, Jan-Patrick Clarner, Angelos Dimitsas, George H. G. Fonseca, Carlos Lamas-Fernandez, Martin Mariusz Lester, Jaap Pedersen, Antony E. Phillips, Roberto Maria RosatiComments: This is the peer-reviewed author-version of this https URL, published in the European Journal of Operational Research. Copyright 2024. This manuscript version is made available under the LCC-BY-NC-ND 4.0 license (this https URL)Journal-ref: European Journal of Operational Research, 2024, 318, 575-591Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.03234 [pdf, other]
-
Title: Natural Example-Based Explainability: a SurveyComments: Preprint version of a paper accepted in eXplainable Artificial Intelligence. 1st World Conference on eXplainable Artificial Intelligence, xAI-2023, Lisbon, PortugalSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.03251 [pdf, html, other]
-
Title: Temporal Inductive Path Neural Network for Temporal Knowledge Graph ReasoningComments: Accepted to Artificial IntelligenceSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
- arXiv:2309.03638 [pdf, other]
-
Title: Beyond XAI:Obstacles Towards Responsible AIComments: work in progressSubjects: Artificial Intelligence (cs.AI)
- arXiv:2309.03651 [pdf, other]
-
Title: Learning of Generalizable and Interpretable Knowledge in Grid-Based Reinforcement Learning EnvironmentsComments: to be published in AIIDE 2023Subjects: Artificial Intelligence (cs.AI)
- arXiv:2309.03685 [pdf, html, other]
-
Title: PyGraft: Configurable Generation of Synthetic Schemas and Knowledge Graphs at Your FingertipsComments: Accepted in ESWC 2024Subjects: Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
- arXiv:2309.03773 [pdf, html, other]
-
Title: Feature Propagation on Knowledge Graphs using Cellular SheavesSubjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR); Social and Information Networks (cs.SI)
- arXiv:2309.03918 [pdf, other]
-
Title: A recommender for the management of chronic pain in patients undergoing spinal cord stimulationTigran Tchrakian, Mykhaylo Zayats, Alessandra Pascale, Dat Huynh, Pritish Parida, Carla Agurto Rios, Sergiy Zhuk, Jeffrey L. Rogers, ENVISION Studies Physician Author Group, Boston Scientific Research Scientists ConsortiumSubjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)
- arXiv:2309.03924 [pdf, other]
-
Title: Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time LimitsSubjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
- arXiv:2309.04069 [pdf, other]
-
Title: Inferring physical laws by artificial intelligence based causal modelsComments: Latex 12 pages, 16 figures (Minor changes, references added)Subjects: Artificial Intelligence (cs.AI); Data Analysis, Statistics and Probability (physics.data-an); Quantum Physics (quant-ph)
- arXiv:2309.04295 [pdf, html, other]
-
Title: FIMO: A Challenge Formal Dataset for Automated Theorem ProvingChengwu Liu, Jianhao Shen, Huajian Xin, Zhengying Liu, Ye Yuan, Haiming Wang, Wei Ju, Chuanyang Zheng, Yichun Yin, Lin Li, Ming Zhang, Qun LiuComments: Added a hyperlink to the dataset made accessible on GitHubSubjects: Artificial Intelligence (cs.AI)