Titlebook: Non-Monotonic Reasoning; 2nd International Wo M. Reinfrank,J. Kleer,E. Sandewall Conference proceedings 1989 Springer-Verlag Berlin Heidelb

T-cell

书目名称Non-Monotonic Reasoning影响因子(影响力)




书目名称Non-Monotonic Reasoning影响因子(影响力)学科排名




书目名称Non-Monotonic Reasoning网络公开度




书目名称Non-Monotonic Reasoning网络公开度学科排名




书目名称Non-Monotonic Reasoning被引频次




书目名称Non-Monotonic Reasoning被引频次学科排名




书目名称Non-Monotonic Reasoning年度引用




书目名称Non-Monotonic Reasoning年度引用学科排名




书目名称Non-Monotonic Reasoning读者反馈




书目名称Non-Monotonic Reasoning读者反馈学科排名

可憎

Autoepistemic logic and formalization of commonsense reasoning preliminary report,

colloquial

MAG

The complexity of Model-Preference Default theories,miting the system‘s expressive power; and by restricting our attention to systems of Acyclic Horn Defaults. These acyclic theories can encode inheritance hierarchies of the form examined by Touretzky, but are strictly more general..This analysis suggests several directions for future research: findi

instulate

A nonmonotonic logic for reasoning about speech acts and belief revision,c (a refinement of Moore‘s autoepistemic logic), in which revision of both the speaker‘s and hearer‘s attitudes can be adequately described. As a collateral benefit, efficient automatic reasoning methods for the formalism exist. The theory has been implemented and is now being employed by an utteran

拥挤前

Nonmonotonic reasoning in temporal domains: The knowledge independence problem,ance of a more general problem which we call the .. In this paper, we provide a preliminary definition of the knowledge independence problem; we leave to future work further development of the obvious connections with statistical independence. Using our preliminary definition, we show how to represe

女上瘾

间谍活动

熄灭

New results on semantical nonmonotonic reasoning, this article we generalize and extend the earlier work. We elucidate the structural relation between the new work and the old. Finally, we apply the new results to give a logical semantical account of justification-based truth maintenance.

COW

The semantics of non-monotonic entailment defined using partial interpretations,nts about the preference ordering, and thereby constrain it. The following technique is used: An . is a pair 〈Δ, ≪〉, where Δ is a set of partial interpretations, and ≪ is a preference order on the members of Δ. A monadic propositional operator . (for default) is introduced, where . is satisfied in a