degradation
发表于 2025-3-28 15:14:39
http://reply.papertrans.cn/55/5417/541668/541668_41.png
labyrinth
发表于 2025-3-28 20:30:31
Revising Nonmonotonic Theories: The Case of Defeasible Logic of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising first order theories..Nonmonotonic reasoning provides
开花期女
发表于 2025-3-28 23:12:13
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logicsspaces. We show how to translate our constraints into formulas of a multimodal propositional logic and give a rigorous proof that this translation preserves satisfiability. As a consequence, the known algorithms for reasoning in modal logics can be applied to qualitative spatial reasoning. Our resul
增长
发表于 2025-3-29 04:00:26
http://reply.papertrans.cn/55/5417/541668/541668_44.png
新娘
发表于 2025-3-29 08:28:50
A Theory of First-Order Counterfactual Reasoningsoning about actions. The assertion of a counter-factual antecedent is axiomatized as the performance of a special action. An existing solution to the Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immedia
Grasping
发表于 2025-3-29 12:03:12
Logic—Based Choice of Projective Termshoice of projective terms such as . etc. that is based on abductive reasoning. After a motivation for the need to treat these lexical items as candidates for lexical choice, we outline the semantic and pragmatic conditions for their use.We present an abductive proof method that allows us to collect
场所
发表于 2025-3-29 18:43:13
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Stylee of its distinct features is that microstructure (i.e. relations between notes), macrostructure (i.e. relations between larger parts) and their interdependences have to be dealt with. In this paper, we give an overview of the process of composition which consists of the subtasks planning of macrost
EXTOL
发表于 2025-3-29 19:55:08
http://reply.papertrans.cn/55/5417/541668/541668_48.png
Provenance
发表于 2025-3-30 03:47:44
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms of “expressive power” is. We formalize the intuition that expressive power is a measure of how concisely planning domains and plans can be expressed in a particular formalism by introducing the notion of “compilation schemes” between planning formalisms. Using this notion, we analyze the expressive
Commonwealth
发表于 2025-3-30 07:47:55
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessmentated by a concrete application in the area of electronic design reuse, we introduce the concept of a generalized case that represents experience that naturally covers a space rather than a point. Within a formal framework we introduce the semantics of generalized cases and derive a canonical similar