呻吟
发表于 2025-3-21 19:36:24
书目名称Logics in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588187<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588187<br><br> <br><br>
分离
发表于 2025-3-21 21:36:57
Disjunctive Logic Program = Horn Program + Control Programintroduce a program transformation which transforms a disjunctive logic program into a Horn program and a so called control program. The control program consists of only disjunctions of new propositional atoms and controls the “execution” of the Horn program. The relationship between original and tr
AVERT
发表于 2025-3-22 02:03:40
Semantics of Partial-Order Programsind of problems, in particular optimization problems. In this paper we present some more examples that we can model using partial-order clauses and we also introduce its Fix-Point semantics. We show that this paradigm and standard logic programming can be naturally integrated in one paradigm. We als
zonules
发表于 2025-3-22 04:53:03
Persistence and Minimality in Epistemic Logicecially relevant under epistemic interpretations of an operator. Relative to a modal system ., we give three characterizations of minimality of a formula . and give conditions under which these characterizations are equivalent. We then argue that rather than using bisimulations, it is more appropria
Panacea
发表于 2025-3-22 12:48:55
Prohairetic Deontic Logic (PDL) is true if (1) no ¬.∧. state is as preferable as an .∧. state and (2) the preferred . states are . states. We show that the different elements of this mixed representation solve different problems of deontic logic. The first part of the definition is used to formalize contrary-to-duty reasoning, th
Acupressure
发表于 2025-3-22 16:06:44
Phased Labeled Logics of Conditional Goalsstriction discussed in this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has been applied earlier in the derivation. We call a set of proof rules that can be applied in any order a phase in the proof theory. We propose a one-phase logic of goals c
设想
发表于 2025-3-22 18:25:32
Analysis of Distributed-Search Contraction-Based Strategieslel search the bounded-search-spaces approach to the measurement of infinite search spaces, capturing both the advantages of parallelization, e.g., the subdivision of work, and its disadvantages, e.g., the cost of communication, in terms of search space. These tools are applied to compare the search
不能强迫我
发表于 2025-3-23 00:38:20
A Deduction Method Complete for Refutation and Finite Satisfiability complete but also complete for finite satisfiability. A novel deduction method is introduced for such applications. Instead of relying on Skolemization, as most refutation methods do, the proposed method processes existential quantifiers in a special manner which makes it complete not only for refu
electrolyte
发表于 2025-3-23 03:42:08
Requirement-Based Cooperative Theorem Provingme problems arising from the use of common success-driven cooperation methods, and we propose the application of our approach of requirement-based cooperative theorem proving. This approach aims to allowing more orientation on current needs of provers in comparison with conventional cooperation conc
贝雷帽
发表于 2025-3-23 09:15:56
http://reply.papertrans.cn/59/5882/588187/588187_10.png