使坚硬
发表于 2025-3-28 16:27:08
Bernadette Charleux,Rudolf Fausting is conceived in such a way that favorites the development of symbolic representations. This is very much related to many existing pruning techniques, but the pruning process we introduce forces the learning toward development of high level representations.
晚间
发表于 2025-3-28 20:19:53
http://reply.papertrans.cn/15/1468/146717/146717_42.png
悲观
发表于 2025-3-29 02:05:52
Riccardo Benedetti,Carlo Petroniossions. This is generally performed by admitting a constructor for building a concept from a set of enumerated individuals. In this paper we investigate on the consequences of introducing this type of constructor in the concept description language and we provide some complexity results on it.
压迫
发表于 2025-3-29 06:26:35
http://reply.papertrans.cn/15/1468/146717/146717_44.png
青石板
发表于 2025-3-29 10:48:41
https://doi.org/10.1007/978-3-8350-9367-6em; it is ., as it provides well-defined mechanisms for integrating new inference systems; it enjoys a formal, unambigous specification; and it comprises mechanisms to ensure the consistency of the overall, hybrid KB.
incision
发表于 2025-3-29 11:25:08
http://reply.papertrans.cn/15/1468/146717/146717_46.png
大雨
发表于 2025-3-29 16:51:27
Myra E. Conway Ph.D.,Susan M. Hutson Ph.D.ics are concerned: Any such logic respecting some natural conditions has a noncumulative choice provability relation. In contrast to this result, we show that choice provability in the logic L1 recently introduced by Brewka is cumulative. This is possible because L1 manipulates defaults and not formulas.
TIGER
发表于 2025-3-29 20:33:30
A review on standard spines and o-graphs,their terminological and temporal expressiveness. The formalism and the semantics show a tight relation with propositional modal logics of time intervals. We also briefly present results on the problems of decidability of subsumption, relevance of the temporal structure and incomplete subsumption algorithms.
Bridle
发表于 2025-3-29 23:59:28
https://doi.org/10.1007/978-3-8350-9367-6f communication primitives, defined on the spirit of Speech Act theory, which are suitable to model agent interactions and which can be specialised to implement specific communication protocols. In particular, the paper shows how these primitives are suitable to model negotiation protocols.
indecipherable
发表于 2025-3-30 06:45:43
https://doi.org/10.1007/978-3-8350-9367-6ormation. Machine learning techniques and a distributed agent architecture are used to help simulate the reasoning process of lawyers. In this paper, we outline our implementation of the hybrid IKBALS II Rule Based Reasoning / Case Based Reasoning system. It makes extensive use of an automated case representation editor and background information.