Keratin
发表于 2025-3-28 16:20:18
Planning and Patching Proof. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning and rippling.
去才蔑视
发表于 2025-3-28 21:49:16
A Paraconsistent Higher Order Logicency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc..Higher order logics have the advantages of being expressive and wi
mettlesome
发表于 2025-3-29 02:59:50
Abstraction Within Partial Deduction for Linear Logic to apply abstraction within Partial Deduction (PD) formalism for Linear Logic (LL). The proposal is accompanied with formal results identifying limitations and advantages of the approach..We adapt a technique from AI planning for constructing abstraction hierarchies, which are then exploited during
Friction
发表于 2025-3-29 06:52:33
http://reply.papertrans.cn/17/1624/162331/162331_44.png
Nonporous
发表于 2025-3-29 07:23:15
http://reply.papertrans.cn/17/1624/162331/162331_45.png
BIBLE
发表于 2025-3-29 14:54:40
http://reply.papertrans.cn/17/1624/162331/162331_46.png
refraction
发表于 2025-3-29 17:44:02
Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniqueseasoning on constraints. However, local computations may lead to slow convergences. In order to handle this problem, we introduce a symbolic technique to combine nonlinear constraints. Such redundant constraints are further simplified according to the precision of interval computations. As a consequ
CALL
发表于 2025-3-29 23:38:46
http://reply.papertrans.cn/17/1624/162331/162331_48.png
宿醉
发表于 2025-3-30 01:06:51
An Evolutionary Local Search Method for Incremental Satisfiabilitysatisfiability is maintained when new clauses are added to an initial satisfiable set of clauses. Since stochastic local search algorithms have been proved highly efficient for SAT, it is valuable to investigate their application to solve ISAT. Extremal Optimization is a simple heuristic local searc
单纯
发表于 2025-3-30 07:44:27
New Developments in Symmetry Breaking in Search Using Computational Group Theorysymbolic computation, in the form of computational group theory. GE-trees are a new conceptual abstraction, providing low-degree polynomial time methods for breaking value symmetries in constraint satisfication problems. In this paper we analyse the structure of symmetry groups of constraint satisfa