breath-focus
发表于 2025-3-21 17:09:44
书目名称Logics in Artificial Intelligence影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0588181<br><br> <br><br>书目名称Logics in Artificial Intelligence读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0588181<br><br> <br><br>
Arboreal
发表于 2025-3-21 23:41:49
http://reply.papertrans.cn/59/5882/588181/588181_2.png
纹章
发表于 2025-3-22 03:14:24
Propositional Clausal Defeasible Logicties and note that each defeasible logic fails to have some of these properties. We define and explain a new defeasible logic, called clausal defeasible logic (CDL), which has all these properties. CDL is easy to implement, consistent, detects loops, terminates, and has a range of deduction algorith
isotope
发表于 2025-3-22 06:15:17
Complexity and Succinctness Issues for Linear-Time Hybrid Logicsperators ↓ and ∃. We investigate complexity and succinctness issues for . in terms of the number of variables and nesting depth of binder modalities. First, we present . automata-theoretic decision procedures for satisfiability and model-checking of ., which require space of exponential height equal
cognizant
发表于 2025-3-22 09:13:54
http://reply.papertrans.cn/59/5882/588181/588181_5.png
黄瓜
发表于 2025-3-22 16:03:23
Normal Form Nested Programsasoning during the last decade. Lifschitz, Tang, and Turner have introduced an extended language of ., called Nested Logic Programming (.), in 1999 . It often allows for more concise representations by permitting a richer syntax in rule heads and bodies. However, that language is propositional an
字谜游戏
发表于 2025-3-22 18:11:15
A Logic for Closed-World Interactionction can be determined by the agents themselves and in which Nature does not play an active role. We formalize this intuition by identifying all such interactions and axiomatizing their logic. We apply the formal tools to reason about games and their regulation.
Morsel
发表于 2025-3-23 00:11:11
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraintseveral semantics for revision programs combining ideas from logic programming and ., a formalism to model preferred ways to enforce integrity constraints on databases. We present results on the complexity of the semantics we introduce. We also show that all these semantics are invariant under “shift
草率女
发表于 2025-3-23 04:57:12
http://reply.papertrans.cn/59/5882/588181/588181_9.png
aerial
发表于 2025-3-23 08:54:13
A Fluent Calculus Semantics for ADL with Plan Constraintsnt consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual meta-theoretical state transition semantics.