骚扰
发表于 2025-3-23 12:49:21
: A Context Description Logic in this logic, as well as in its proper fragment . with global TBoxes and local roles, is .-complete. Hence, the surprising conclusion is that the significant increase in the expressiveness of . due to adding the vocabulary comes for no substantial price in terms of its worst-case complexity.
jet-lag
发表于 2025-3-23 16:20:08
Nonmonotonic Tools for Argumentation acceptance conditions for nodes. We present the basic underlying definitions and give an example illustrating why they are useful. More precisely, we show how they can be used to provide a semantical foundation for Gordon, Prakken and Walton’s Carneades model of argumentation, lifting the limitation of this model to acyclic argument graphs.
证实
发表于 2025-3-23 18:32:51
Counter Systems for Data Logicscounter systems (including counter automata with errors, vector addition systems with states, etc.). This is the opportunity to provide an overview about the relationships between data logics and verification problems for counter systems.
flammable
发表于 2025-3-24 00:06:18
Extensional Higher-Order Logic Programming. We also propose an SLD-resolution proof procedure which is sound and complete with respect to the minimum model semantics. In other words, we provide a purely extensional theoretical framework for higher-order logic programming which generalizes the familiar theory of classical (first-order) logic programming.
镇痛剂
发表于 2025-3-24 04:32:45
978-3-642-15674-8Springer-Verlag Heidelberg 2010
Efflorescent
发表于 2025-3-24 08:07:56
http://reply.papertrans.cn/59/5882/588185/588185_16.png
fender
发表于 2025-3-24 11:10:14
0302-9743 Overview: 978-3-642-15674-8978-3-642-15675-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
锉屑
发表于 2025-3-24 18:51:58
http://reply.papertrans.cn/59/5882/588185/588185_18.png
额外的事
发表于 2025-3-24 21:15:11
http://reply.papertrans.cn/59/5882/588185/588185_19.png
实施生效
发表于 2025-3-25 00:47:04
http://reply.papertrans.cn/59/5882/588185/588185_20.png