Glossy
发表于 2025-3-28 17:37:41
Diagrammatic Inference and Graphical Proofheory of abstraction markers and notational keys for explaining how abstraction can be incorporated in the interpretation of graphics through both syntactic and semantic means. We also explore how the process of reinterpretation of graphics is essential for learning and proving graphical theorems. T
anaerobic
发表于 2025-3-28 22:14:32
http://reply.papertrans.cn/59/5882/588165/588165_42.png
连接
发表于 2025-3-28 22:58:18
http://reply.papertrans.cn/59/5882/588165/588165_43.png
GENUS
发表于 2025-3-29 03:10:06
Model-Guided Proof Planningalled methods. In this paper we propose a strategy for heuristically restricting the set of methods to be applied in proof search. It is based on the idea that the plausibility of a method can be estimated by comparing the model class of proof lines newly generated by the method with that of the ass
subacute
发表于 2025-3-29 09:53:25
http://reply.papertrans.cn/59/5882/588165/588165_45.png
rheumatism
发表于 2025-3-29 12:26:13
Scientific Explanation and Modified Semantic Tableauxthat to abduction problem, paying attention to some versions given in . Our approach of abduction in semantic tableaux faces up to the problem of the existence of infinite branches. Defined Cn, a basic logical operation, a new operation Cn* is obtained. An abduction problem 〈θ, ϕ〉 can
Collected
发表于 2025-3-29 16:11:30
http://reply.papertrans.cn/59/5882/588165/588165_47.png
FISC
发表于 2025-3-29 23:08:37
Encoding and Using Domain Knowledge on Population Dynamics for Equation Discoveryic systems. The approach presented here includes methods for equation discovery: Unlike mainstream system identification methods, which work under the assumption that the form of the equations is known, equation discovery systems explore a space of possible equation structures. We propose a formalis
murmur
发表于 2025-3-30 00:38:35
Reasoning about Models of Nonlinear Systemsr of the target system. PRET is a computer program that automatically builds such models. Its inputs are a set of observations of some subset of the outputs of a nonlinear system, and its output is an ordinary differential equation that models the internal dynamics of that system. Modeling problems
absolve
发表于 2025-3-30 04:21:42
Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generationneration of potential diagnoses as minimal hitting sets of current conflicts. This paper analyzes the problems concerning systematic and efficient conflict generation in the case of continuous systems described with causal graphs and differential equations. The main idea of the paper is to introduce