地名表
发表于 2025-3-28 15:58:32
http://reply.papertrans.cn/59/5879/587896/587896_41.png
gentle
发表于 2025-3-28 20:16:37
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation languages have been proposed that are inspired from functional languages (such as XSLT [.]) and/or database query languages (such as XQuery [.]). This paper addresses applying logic programming concepts and techniques to designing a declarative, rule-based query and transformation language for XML a
Incorruptible
发表于 2025-3-28 23:24:58
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming typed λ-terms and the body of clauses may contain implication and universal quantification. In this paper, we describe . where some redundant computation is eliminated by memoizing sub-computation and re-using its result later. This work extends Tamaki and Sato’s search strategy based on memoizatio
格言
发表于 2025-3-29 03:08:59
http://reply.papertrans.cn/59/5879/587896/587896_44.png
GORGE
发表于 2025-3-29 10:41:08
A Model Theoretic Semantics for Multi-level Secure Deductive Databases negation. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we also establish the equivalence of MultiLog’s three logical characterizations — model theory, fixpoint theory and proof theory.
Ossification
发表于 2025-3-29 11:32:16
A Different Look at Garbage Collection for the WAMd start for the formal specification of the garbage collection process and it shows a potential for new compile time analyses that can improve run time memory management. Choice point trimming is used as a vehicle to show selective liveness of data, so its relation to the more common stack maps is established.
Scintigraphy
发表于 2025-3-29 18:51:35
Reasoning about Actions with CHRs and Finite Domain Constraintsonstraint solver is used as the kernel of a high-level programming language for agents that reason and plan. Experiments have shown that the constraint solver exhibits excellent computational behavior and scales up well.
具体
发表于 2025-3-29 21:28:22
http://reply.papertrans.cn/59/5879/587896/587896_48.png
VEIL
发表于 2025-3-30 02:58:39
Learning in Logic with RichProlog and .. queries (as a side effect of an inductive inference followed by a deductive inference). RichProlog can be used to learn: a learning problem is expressed as a usual logic program, supplemented with data, and solved by asking a .. query. The output is correct in the limit, ., when sufficient data have been provided.
Cholecystokinin
发表于 2025-3-30 06:20:56
http://reply.papertrans.cn/59/5879/587896/587896_50.png