AGONY
发表于 2025-3-25 06:01:19
Representing and Reasoning with PreferencesMany problems in AI require us to represent and reason about preferences. You may, for example, prefer to schedule all your meetings after 10am. Or you may prefer to buy a faster computer than one with a larger disk.
Small-Intestine
发表于 2025-3-25 07:42:34
http://reply.papertrans.cn/59/5882/588189/588189_22.png
cochlea
发表于 2025-3-25 13:31:37
Logics in Artificial Intelligence978-3-540-30227-8Series ISSN 0302-9743 Series E-ISSN 1611-3349
类人猿
发表于 2025-3-25 17:38:19
http://reply.papertrans.cn/59/5882/588189/588189_24.png
sinoatrial-node
发表于 2025-3-25 23:06:26
Capturing Parallel Circumscription with Disjunctive Logic Programsunctive logic programming in a relatively systematic fashion using a linear and faithful, but . translation. This enables the conscious use of varying atoms in disjunctive logic programs — leading to more elegant and concise problem representations in various domains.
COLON
发表于 2025-3-26 04:00:03
Equivalence of Logic Programs Under Updatesivalence is strong enough to capture many other notions such as weak equivalence, update equivalence on common rules, and uniform equivalence. We also discuss computation and complexity of update equivalence.
期满
发表于 2025-3-26 05:23:09
Knowledge-Theoretic Properties of Strategic Votingess the voter . that it should vote strategically, and how, i.e., knows what the . voters’ preferences are and . alternate preference .′ it should use, the voter will not strategize. Our results suggest that opinion polls in election situations effectively serve as the first .–1 stages in an . stage election.
爵士乐
发表于 2025-3-26 11:06:21
An Implementation of Statistical Default Logicmbedding of an important subset of SDL theories, called ., into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a statistical default theory at a pre-assigned error-bound probability.
enormous
发表于 2025-3-26 16:09:39
Towards a First Order Equilibrium Logic for Nonmonotonic Reasoningsitional many-valued logic .. of here-and-there with strong negation, and define the condition of equilibrium via a minimal model construction. We verify Skolem forms and Herbrand theorems for .. and show that, like its propositional counterpart, the quantified version of equilibrium logic also conservatively extends answer set semantics.
露天历史剧
发表于 2025-3-26 16:54:12
http://reply.papertrans.cn/59/5882/588189/588189_30.png