仔细检查
发表于 2025-3-25 07:16:05
https://doi.org/10.1007/978-3-642-15675-5AI logic; Argumentation; Extension; algorithms; artificial intelligence; description logic; epistemic logi
sinoatrial-node
发表于 2025-3-25 09:53:53
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588185.jpg
Macronutrients
发表于 2025-3-25 11:50:05
http://reply.papertrans.cn/59/5882/588185/588185_23.png
正常
发表于 2025-3-25 16:48:51
http://reply.papertrans.cn/59/5882/588185/588185_24.png
configuration
发表于 2025-3-25 21:19:46
Counter Systems for Data Logicstems, timed words, etc.). In this survey talk, we shall see how satisfiability problems for such data logics are related to reachability problems for counter systems (including counter automata with errors, vector addition systems with states, etc.). This is the opportunity to provide an overview ab
FLASK
发表于 2025-3-26 02:25:05
Similarity-Based Inconsistency-Tolerant Logicsirable, and practically useful, to refine such logics in a way that inconsistency does not cause the derivation of any formula, and, at the same time, inferences with respect to consistent premises are not affected. In this paper, we introduce a general method of doing so by incorporating preference
修饰
发表于 2025-3-26 07:37:48
http://reply.papertrans.cn/59/5882/588185/588185_27.png
Negligible
发表于 2025-3-26 09:46:28
http://reply.papertrans.cn/59/5882/588185/588185_28.png
钻孔
发表于 2025-3-26 15:09:28
A Decidable Constructive Description Logiche DLs setting problems that have a consolidate tradition in constructive logics. In this paper we introduce a constructive description logic for the language of . based on the Kripke semantics for Intuitionistic Logic. Moreover we give a tableau calculus and we show that it is sound, complete and t
600
发表于 2025-3-26 18:23:06
A Normal Form for Linear Temporal Equilibrium Logiclogic programs to arbitrary theories in the syntax of Linear Temporal Logic. It has already been shown that, in the non-temporal case, arbitrary propositional theories can always be reduced to logic program rules (with disjunction and negation in the head) independently on the context. That is, logi