Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Neuro-symbolic artificial intelligence: The state of the art
Neuro-symbolic AI is an emerging subfield of Artificial Intelligence that brings together two
hitherto distinct approaches.” Neuro” refers to the artificial neural networks prominent in …
hitherto distinct approaches.” Neuro” refers to the artificial neural networks prominent in …
Answer set planning: a survey
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans,
that is, solutions to planning problems, that transform a given state of the world to another …
that is, solutions to planning problems, that transform a given state of the world to another …
Multi-shot ASP solving with clingo
We introduce a new flexible paradigm of grounding and solving in Answer Set Programming
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
(ASP), which we refer to as multi-shot ASP solving, and present its implementation in the …
[كتاب][B] Answer set programming
V Lifschitz - 2019 - cdn.aaai.org
Answer set programming (ASP) is a form of declarative programming oriented towards
difficult search problems. As an outgrowth of research on the use of nonmonotonic …
difficult search problems. As an outgrowth of research on the use of nonmonotonic …
An ASP-based solution to the chemotherapy treatment scheduling problem
The problem of scheduling chemotherapy treatments in oncology clinics is a complex
problem, given that the solution has to satisfy (as much as possible) several requirements …
problem, given that the solution has to satisfy (as much as possible) several requirements …
Abstract argumentation framework with conditional preferences
Abstract Dung's abstract Argumentation Framework (AF) has emerged as a central
formalism in the area of knowledge representation and reasoning. Preferences in AF allow …
formalism in the area of knowledge representation and reasoning. Preferences in AF allow …
[HTML][HTML] ASP and subset minimality: Enumeration, cautious reasoning and MUSes
Abstract Answer Set Programming (ASP) is a well-known logic-based formalism that has
been used to model and solve a variety of AI problems. For several years, ASP …
been used to model and solve a variety of AI problems. For several years, ASP …
[HTML][HTML] aspmc: New frontiers of algebraic answer set counting
In the last decade, there has been increasing interest in extensions of answer set
programming (ASP) that cater for quantitative information such as weights or probabilities. A …
programming (ASP) that cater for quantitative information such as weights or probabilities. A …
Extended high-utility pattern mining: an answer set programming-based framework and applications
Detecting sets of relevant patterns from a given dataset is an important challenge in data
mining. The relevance of a pattern, also called utility in the literature, is a subjective measure …
mining. The relevance of a pattern, also called utility in the literature, is a subjective measure …
[PDF][PDF] Treewidth-aware cycle breaking for algebraic answer set counting
Probabilistic reasoning, parameter learning, and most probable explanation inference for
answer set programming have recently received growing attention. They are only some of …
answer set programming have recently received growing attention. They are only some of …