残暴
发表于 2025-3-26 22:29:43
P. Asirelli,P. Inverardi,A. Mustaros). RBDEs use knowledge about the specific development process of a software project in order to provide automated assistance to developers working on the project. The knowledge is in the form of rules, where each rule models a development activity. The rules operate on the project components which
Isolate
发表于 2025-3-27 02:37:52
http://reply.papertrans.cn/47/4601/460100/460100_32.png
Neutral-Spine
发表于 2025-3-27 08:58:00
Anthony J. Bonnerd neither population nor environment is exposed to risks during operation or afterwards. This requires the development and application of methods to monitor groundwater, vadose zone and atmosphere. Therefore, extensive investigations of the near-surface aquifers were performed to characterize the ge
MINT
发表于 2025-3-27 13:05:51
http://reply.papertrans.cn/47/4601/460100/460100_34.png
甜得发腻
发表于 2025-3-27 17:20:15
http://reply.papertrans.cn/47/4601/460100/460100_35.png
Carminative
发表于 2025-3-27 19:41:20
Data models and languages for databases, is concerned with so called "advanced systems for new types of applications". In this activity, much emphasis is placed on the development of new data models and languages. The data models include complex objects, which are in essence hierarchical structures, and various flavors of object oriented
果核
发表于 2025-3-28 00:09:07
http://reply.papertrans.cn/47/4601/460100/460100_37.png
同音
发表于 2025-3-28 05:58:51
On the composition and decomposition of datalog program mappings,braic axiom system. Also considered are (i) the decomposability of a subclass of linear recursive programs into single-rule programs; (ii) the structure of the class of prime programs; and the factorizability of bounded recursive programs into single-rule primes.
RAG
发表于 2025-3-28 08:59:10
On the semantics of rule-based expert systems with uncertainty,revious works, our framework is general enough to accommodate most of the known schemes of reasoning with uncertainty found in the existing expert systems. We provide a rigorous treatment of the issue of evidential independence, and study its impact on the semantics. To the best of our knowledge, th
仇恨
发表于 2025-3-28 12:52:26
Efficient consistency control in deductive databases, is based on focussing on the relevant parts of the database by reasoning forwards from the updates of a transaction, and using this knowledge about real or just possible implicit updates for simplifying the consistency constraints in question. Opposite to the algorithms by Kowalski/Sadri and Lloyd/