Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Explaining non-acceptability in abstract argumentation
Abstract Argumentation frameworks (AFs) provide a central approach to perform reasoning
in many formalisms within argumentation in Artificial Intelligence (AI). Semantics for AFs …
in many formalisms within argumentation in Artificial Intelligence (AI). Semantics for AFs …
Anytime integrated task and motion policies for stochastic environments
In order to solve complex, long-horizon tasks, intelligent robots need to carry out high-level,
abstract planning and reasoning in conjunction with motion planning. However, abstract …
abstract planning and reasoning in conjunction with motion planning. However, abstract …
[HTML][HTML] A framework for step-wise explaining how to solve constraint satisfaction problems
We explore the problem of step-wise explaining how to solve constraint satisfaction
problems, with a use case on logic grid puzzles. More specifically, we study the problem of …
problems, with a use case on logic grid puzzles. More specifically, we study the problem of …
Forgetting in answer set programming–a survey
Forgetting–or variable elimination–is an operation that allows the removal, from a
knowledge base, of middle variables no longer deemed relevant. In recent years, many …
knowledge base, of middle variables no longer deemed relevant. In recent years, many …
A survey of knowledge-based sequential decision-making under uncertainty
Abstract Reasoning with declarative knowledge (RDK) and sequential decision-making
(SDM) are two key research areas in artificial intelligence. RDK methods reason with …
(SDM) are two key research areas in artificial intelligence. RDK methods reason with …
Adaptive learning based on artificial intelligence to overcome student academic inequalities
Background. In the context of higher education, academic inequality is a serious obstacle in
achieving equitable learning outcomes among students. Factors such as educational …
achieving equitable learning outcomes among students. Factors such as educational …
Foundations for projecting away the irrelevant in asp programs
Simplification of logic programs under the answer-set semantics has been studied from the
very beginning of the field. One natural simplification is the removal of atoms that are …
very beginning of the field. One natural simplification is the removal of atoms that are …
Omission-based abstraction for answer set programs
Abstraction is a well-known approach to simplify a complex problem by over-approximating
it with a deliberate loss of information. It was not considered so far in Answer Set …
it with a deliberate loss of information. It was not considered so far in Answer Set …
Explainable answer-set programming
The interest in explainability in artificial intelligence (AI) is growing vastly due to the near
ubiquitous state of AI in our lives and the increasing complexity of AI systems. Answer-set …
ubiquitous state of AI in our lives and the increasing complexity of AI systems. Answer-set …
[PDF][PDF] Lifted planning: recent advances in planning using first-order representations
Lifted planning is usually defined as planning directly over a first-order representation. From
the mid-1990s until the late 2010s, lifted planning was sidelined, as most of the state-of-the …
the mid-1990s until the late 2010s, lifted planning was sidelined, as most of the state-of-the …