harbinger
发表于 2025-3-30 09:44:20
Uroš Pompelity for the role of a general framework for modeling concurrent computation. As a basic tool we introduce a ‘modal’ logic of transition rules and runs, which is, in the context of evolving algebras, just a definitional extension of ordinary first order logic. A notion of independence of rules and r
欢笑
发表于 2025-3-30 12:36:34
Tamás Horváth,Robert H. Sloan,György Turánlity for the role of a general framework for modeling concurrent computation. As a basic tool we introduce a ‘modal’ logic of transition rules and runs, which is, in the context of evolving algebras, just a definitional extension of ordinary first order logic. A notion of independence of rules and r
我不重要
发表于 2025-3-30 19:09:38
Inductive logic programming for natural language processing,ed a system, ., that learns a parser from a training corpus of parsed sentences by inducing heuristics that control an initial overly-general shift-reduce parser. CHILL learns syntactic parsers as well as ones that translate English database queries directly into executable logical form. The ATIS co
十字架
发表于 2025-3-30 21:06:56
http://reply.papertrans.cn/47/4639/463895/463895_54.png
Intentional
发表于 2025-3-31 02:54:02
http://reply.papertrans.cn/47/4639/463895/463895_55.png
阴谋
发表于 2025-3-31 06:30:36
Analysis and prediction of piano performances using inductive logic programming,usal discovery engine Claudien to induce theories for predicting MIDI files from the musical analysis of a score. This extends Dovey‘s work in several directions: MIDI-encodings are used instead of the older Ampico, a richer musical analysis within LaRue‘s SHMRG-model is applied, a much finer qualit
无可争辩
发表于 2025-3-31 10:03:36
Noise detection and elimination applied to noise handling in a KRK chess endgame,tified basis for grading candidate hypotheses. Compression-based induction is appropriate also for handling of noisy data. This paper shows that a simple compression measure can be used to detect noisy examples. A technique is proposed in which noisy examples are detected and eliminated from the tra
GROUP
发表于 2025-3-31 16:38:39
http://reply.papertrans.cn/47/4639/463895/463895_58.png
厚颜
发表于 2025-3-31 20:13:00
Polynomial-time learning in logic programming and constraint logic programming,r of possible matchings between a candidate hypothesis and a training example..This paper investigates the use of a stochastic bias to control this factor of complexity: the exhaustive exploration of the matching space is replaced by considering a fixed number of matchings, obtained by random sampli
Hormones
发表于 2025-3-31 23:00:32
Analyzing and learning ECG waveforms, is based on an attribute grammar specification of ECGs that has been transformed to Prolog. The IMPUT system combines the interactive debugging technique IDT with the unfolding algorithm introduced in SPECTRE. The main result achieved in the new version of the PECG system is that an ILP method can