Results 81 to 90 of about 1,497,677 (335)
SCIENCE, LANGUAGE AND ONTOLOGY: A BIRD IN THE HAND IS WORTH TWO IN THE BUSH [PDF]
, 2007 A comment on: Language, logic and ontology: uncovering the structure of commonsense ...
Kirsh, Dr. Marvin
core
Advanced Materials Technologies, EarlyView.This critical review presents a comprehensive roadmap for the precision 3D printing of cellulose. Quantitative correlations link ink formulation and rheological properties to print fidelity and final material performance. This framework guides the development of advanced functional materials, from biomedical scaffolds to electromagnetic shielding ...
Majed Amini +3 more
wiley +1 more source
Electronic Notes in Theoretical Computer Science, 2002 AbstractMuch of our everyday knowledge is risky. This not only includes personal judgments, but the results of measurement, data obtained from references or by report, the results of statistical testing, etc. There are two (often opposed) views in AI on how to handle risky empirical knowledge.
Kyburg, Henry E., Teng, Choh Man
openaire +1 more source
Dynamic Logic of Common Knowledge in a Proof Assistant [PDF]
, 2007 Common Knowledge Logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong statements on the knowledge of the other agents (the so called \emph{common knowledge}).
Lescanne, Pierre, Puisségur, Jérôme
core +3 more sources
On Properties of Update Sequences Based on Causal Rejection
, 2001 We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in ...
Eiter, T. +3 more
core +2 more sources
Advanced Materials Technologies, EarlyView.Complementary unipolar electrical transport is demonstrated in ZnO‐Co3O4 core–shell nanowires, by engineering multi‐terminal device architectures that allow to selectively address different sections of the nanostructure and resorting on ionic liquid gating for conformal capacitive coupling and field effect control.
Valeria Demontis +5 more
wiley +1 more source
How to Hintikkize a Frege [PDF]
, 2016 The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief.
Schang, Fabien
core
Liquid Metal Sensors for Soft Robots
Advanced Robotics Research, EarlyView.This review thoroughly reviews liquid metal sensors in soft robots. Their unique material properties like high conductivity and good biocompatibility are analyzed. Working principles are classified, and applications in environmental perception, motion detection, and human—robot interaction are introduced.
Qi Zhang +7 more
wiley +1 more source
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced Robotics Research, EarlyView.BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat +4 more
wiley +1 more source
The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N
Известия Иркутского государственного университета: Серия "Математика"In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local ...
N.A. Protsenko, V.V. Rybakov
doaj +1 more source