Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
[HTML][HTML] Preferences in AI: An overview
This editorial of the special issue “Representing, Processing, and Learning Preferences:
Theoretical and Practical Challenges” surveys past and ongoing research on preferences in …
Theoretical and Practical Challenges” surveys past and ongoing research on preferences in …
Answer sets
Publisher Summary This chapter discusses Answer Set Prolog, which is a language for
knowledge representation and reasoning based on the answer set/stable model semantics …
knowledge representation and reasoning based on the answer set/stable model semantics …
[كتاب][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 …
[كتاب][B] Handbook of knowledge representation
F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …
Logic programs with annotated disjunctions
Current literature offers a number of different approaches to what could generally be called
“probabilistic logic programming”. These are usually based on Horn clauses. Here, we …
“probabilistic logic programming”. These are usually based on Horn clauses. Here, we …
Symmetry and approximability of submodular maximization problems
J Vondrák - SIAM Journal on Computing, 2013 - SIAM
A number of recent results on optimization problems involving submodular functions have
made use of the multilinear relaxation of the problem. These results hold typically in the …
made use of the multilinear relaxation of the problem. These results hold typically in the …
On graphical modeling of preference and importance
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation,
reasoning, and representation. CP-nets capture and support reasoning with qualitative …
reasoning, and representation. CP-nets capture and support reasoning with qualitative …
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 …
[PDF][PDF] Answer set optimization
We investigate the combination of answer set programming and qualitative optimization
techniques. Answer set optimization programs (ЫЧ programs) have two parts. The …
techniques. Answer set optimization programs (ЫЧ programs) have two parts. The …
Qualitative choice logic
Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked
options for problem solutions. The logic adds to classical propositional logic a new …
options for problem solutions. The logic adds to classical propositional logic a new …