漂白
发表于 2025-3-30 10:32:36
http://reply.papertrans.cn/64/6322/632150/632150_51.png
ACRID
发表于 2025-3-30 15:01:22
Using semantic information for processing negation and disjunction in logic programs,compilation can be used to transform a disjunctive database with or without functions and denial constraints without negation into a new disjunctive database that complies with the integrity constraints.
规范要多
发表于 2025-3-30 20:36:27
Conference proceedings 1993t the NorwegianInstitute of Technology, Trondheim, Norway, inJune 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logicforartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning
Bridle
发表于 2025-3-30 20:44:28
http://reply.papertrans.cn/64/6322/632150/632150_54.png
先驱
发表于 2025-3-31 02:37:55
Defining variants of default logic: A modal approach,nstrained Default Logic, Brewka‘s CDL and also Lukaszewicz‘ variant, can be reconstructed within KDL: for each variant a different modal translation of default rules is proposed. In this way, the differences among the variants are made explicit on a syntactic ground.
讽刺滑稽戏剧
发表于 2025-3-31 06:32:08
http://reply.papertrans.cn/64/6322/632150/632150_56.png
炸坏
发表于 2025-3-31 12:28:50
System reorganization and load balancing of parallel database rule processing, rule programs to partition the workload of rule evaluation among an arbitrary number of processing sites, and dynamic load balancing protocols that update and reorganize the distribution of workload at runtime. Finally, we analyze the dynamic load balancing protocols in terms of efficiency and scalability criteria.
neoplasm
发表于 2025-3-31 16:51:32
http://reply.papertrans.cn/64/6322/632150/632150_58.png
Devastate
发表于 2025-3-31 19:45:25
Compiling proof search in semantic tableaux,t to be expanded any more, but the proof consists of determining whether it can be closed, only. It is shown how the method can be applied for compiling to the target language Prolog, although any other general purpose language can be used.
粗糙
发表于 2025-3-31 21:42:36
Combining classification and nonmonotonic inheritance reasoning: A first step,though it seems to be desirable to (re-)unify the two approaches, such an attempt has not been made until now. In this paper, we will make a first step into this direction by specifying a nonmonotonic extension of a simple terminological logic.