Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Reliable natural language understanding with large language models and answer set programming
Humans understand language by extracting information (meaning) from sentences,
combining it with existing commonsense knowledge, and then performing reasoning to draw …
combining it with existing commonsense knowledge, and then performing reasoning to draw …
Automated interactive domain-specific conversational agents that understand human dialogs
We present the AutoConcierge system that can “understand” human dialogs in a specific
domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” …
domain, namely, restaurant recommendation. AutoConcierge will interactively “understand” …
AUTO-DISCERN: autonomous driving using common sense reasoning
Driving an automobile involves the tasks of observing surroundings, then making a driving
decision based on these observations (steer, brake, coast, etc.). In autonomous driving, all …
decision based on these observations (steer, brake, coast, etc.). In autonomous driving, all …
Automated legal reasoning with discretion to act using s (LAW)
J Arias, M Moreno-Rebato… - Artificial Intelligence and …, 2024 - Springer
Automated legal reasoning and its application in smart contracts and automated decisions
are increasingly attracting interest. In this context, ethical and legal concerns make it …
are increasingly attracting interest. In this context, ethical and legal concerns make it …
Knowledge-driven natural language understanding of english text and its applications
Understanding the meaning of a text is a fundamental challenge of natural language
understanding (NLU) research. An ideal NLU system should process a language in a way …
understanding (NLU) research. An ideal NLU system should process a language in a way …
[PDF][PDF] Semantic Analysis of Assurance Cases using s (CASP).
A Murugesan, IH Wong, RJ Stroud, J Arias… - ICLP …, 2023 - platon.etsii.urjc.es
The use of assurance cases is gaining popularity, particularly in the safety-critical system
industry, as an organized approach to submitting documentation for the safety and security …
industry, as an organized approach to submitting documentation for the safety and security …
Explorer: Exploration-guided reasoning for textual reinforcement learning
Text-based games (TBGs) have emerged as an important collection of NLP tasks, requiring
reinforcement learning (RL) agents to combine natural language understanding with …
reinforcement learning (RL) agents to combine natural language understanding with …
[PDF][PDF] Advancements in xASP, an XAI System for Answer Set Programming.
Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling
solutions with reasons that justify the provided answer. In the context of Answer Set …
solutions with reasons that justify the provided answer. In the context of Answer Set …
Automating semantic analysis of system assurance cases using goal-directed ASP
A Murugesan, I Wong, J Arias, R Stroud… - Theory and Practice of …, 2024 - cambridge.org
Assurance cases offer a structured way to present arguments and evidence for certification
of systems where safety and security are critical. However, creating and evaluating these …
of systems where safety and security are critical. However, creating and evaluating these …
FOLD-RM: a scalable, efficient, and explainable inductive learning algorithm for multi-category classification of mixed data
FOLD-RM is an automated inductive learning algorithm for learning default rules for mixed
(numerical and categorical) data. It generates an (explainable) answer set programming …
(numerical and categorical) data. It generates an (explainable) answer set programming …