COKE
发表于 2025-3-23 10:31:05
http://reply.papertrans.cn/55/5417/541668/541668_11.png
ARIA
发表于 2025-3-23 14:56:08
Conference proceedings 1999 much to the vision of the so-called Information Society. As early as the 1980s, some of us imagined distributed knowledge bases containing the explicable knowledge of a company or any other organization. Today, such systems are becoming reality. In the process, other technologies have had to be dev
BLOT
发表于 2025-3-23 18:41:29
From AI to Systemic Knowledge Managementus 1988) ignored the linguistic turn” in the hermeneutic sciences, and it has completely ignored the ongoing cognitivistic turnïn the sciences that are mostly interested in putting to use the vastly exaggerated promises of AI: management sciences, innovation management, business consulting, and knowledge management (see Ryan 1991).
责任
发表于 2025-3-23 22:55:03
http://reply.papertrans.cn/55/5417/541668/541668_14.png
Anal-Canal
发表于 2025-3-24 04:55:52
http://reply.papertrans.cn/55/5417/541668/541668_15.png
Chagrin
发表于 2025-3-24 10:32:38
A Theory of First-Order Counterfactual Reasoning Ramification Problem in the Fluent Calculus, where indirect effects of actions are accounted for via causal propagation, allows to deduce the immediate consequences of a counterfactual condition. We show that our theory generalizes Pearl etal.’s characterization, based on causal models, of propositional counterfactuals.
间接
发表于 2025-3-24 14:31:59
Logic—Based Choice of Projective Termstes for lexical choice, we outline the semantic and pragmatic conditions for their use.We present an abductive proof method that allows us to collect these conditions. Sets of collected conditions can be mapped unambiguously to corresponding projective items.
Barrister
发表于 2025-3-24 16:45:28
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalismsin a particular formalism by introducing the notion of “compilation schemes” between planning formalisms. Using this notion, we analyze the expressive power of a large family of propositional planning formalisms and show, e.g., that Gazen and Knoblock’s approach to compiling conditional effects away is optimal.
Confirm
发表于 2025-3-24 23:01:05
http://reply.papertrans.cn/55/5417/541668/541668_19.png
恃强凌弱
发表于 2025-3-25 01:03:11
KI-99: Advances in Artificial Intelligence978-3-540-48238-3Series ISSN 0302-9743 Series E-ISSN 1611-3349