GERM
发表于 2025-3-21 17:46:40
书目名称Logics in AI影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588179<br><br> <br><br>书目名称Logics in AI读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588179<br><br> <br><br>
陈旧
发表于 2025-3-21 23:48:28
Commonsense entailment: A modal theory of nonmonotonic reasoning, developed here extends that of Asher and Morreau (1991). That theory enables specific information to prevail over more general information by using techniques familiar from prioritized circumscription; this theory uses a constraint on modal frames to achieve the same effect.
Macronutrients
发表于 2025-3-22 00:25:19
http://reply.papertrans.cn/59/5882/588179/588179_3.png
使隔离
发表于 2025-3-22 08:19:48
, — A methodology for inductive theorem proving,illustrate its explanatory character. In particular, we try to show that our method provides explanations, as much as possible, in terms of the original problem, which makes them understandable for the user and suitable for the system..The paper uses the vocabulary presented in .
handle
发表于 2025-3-22 11:22:26
Extending resolution for model construction,ced, in order to extend resolution, are essentially new. Their necessity in constructing models is proved. A brief comparison with existing methods which bear similarity with ours, . in the use of constraints (a particular case of equational problems) . in the search of a model, shows the originality of our proposal.
谦虚的人
发表于 2025-3-22 13:38:25
http://reply.papertrans.cn/59/5882/588179/588179_6.png
Gobble
发表于 2025-3-22 17:21:28
,NM3 — A three-valued cumulative non-monotonic formalism,xpoint semantics for the default operator. The semantics is based on the notion of ., where a set of sentences Γ preferentially entails a sentence ., if and only if a preferred set of the models of Γ are models of .. We also show that the logic belongs to the class of cumulative non-monotonic formalisms which are a subject of current interest.
不透气
发表于 2025-3-22 23:13:29
http://reply.papertrans.cn/59/5882/588179/588179_8.png
Wallow
发表于 2025-3-23 04:54:17
Conference proceedings 19911990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics
繁重
发表于 2025-3-23 06:22:42
Two theories of dynamic semantics,ompared, viz. ., and .. In section 1 a general characterization of the idea of a dynamic semantics for natural language is given which subsumes these two theories. Sections 2 and 3 are devoted to short expositions of each of them. In the final section 4 a comparison is made.