Results 71 to 80 of about 45,694 (311)
Learning Concepts Definable in First-Order Logic with Counting [PDF]
Logical Methods in Computer ScienceWe study Boolean classification problems over relational background structures in the logical framework introduced by Grohe and Turán (TOCS 2004). It is known (Grohe and Ritzert, LICS 2017) that classifiers definable in first-order logic over structures ...
Steffen van Bergerem
doaj +1 more source
Optimising ITS behaviour with Bayesian networks and decision theory
, 2001 We propose and demonstrate a methodology for building tractable normative intelligent tutoring systems (ITSs). A normative ITS uses a Bayesian network for long-term student modelling and decision theory to select the next tutorial action.
Mitrovic, Antonija, Mayo, Michael
core
Progression semantics for disjunctive logic programs
, 2011 In this paper, we extend the progression semantics for first-order disjunctive logic programs and show that it coincides with the stable model semantics.
Zhang, Yan (R8899) +3 more
core +1 more source
Recent Advances of Slip Sensors for Smart Robotics
Advanced Materials Technologies, EarlyView.This review summarizes recent progress in robotic slip sensors across mechanical, electrical, thermal, optical, magnetic, and acoustic mechanisms, offering a comprehensive reference for the selection of slip sensors in robotic applications. In addition, current challenges and emerging trends are identified to advance the development of robust, adaptive,
Xingyu Zhang +8 more
wiley +1 more source
Skin‐Like Tri‐Modal Sensors Based on Soft Piezoelectric and Ionic Composites
Advanced Materials Technologies, EarlyView.Inspired by the multimodal perception of human skin, a soft, skin‐like tri‐modal sensor is presented. The device incorporates an ionically conductive, piezoelectric, elastic composite as its active layer, enabling independent detection of temperature, static strain, and dynamic strain within a single two‐terminal architecture.
Liren Wang +9 more
wiley +1 more source
The Use of Artificial Intelligence in Political Decision-Making
PhilosophiesThe use of artificial intelligence for political decision-making is in an early stage of development; however, there are several questions that arise about its current and hypothetical uses.
Carlos Vera Hoyos +1 more
doaj +1 more source
First-order disjunctive logic programming vs normal logic programming
, 2015 In this paper, we study the expressive power of firstorder disjunctive logic programming (DLP) and normal logic programming (NLP) under the stable model semantics.
Zhou, Yi (R12034)
core
Multimodal Haptic Perception Through Synergistic Nanocomposite Sensor Arrays
Advanced Materials Technologies, EarlyView.Multi‐modal fingertip haptics are advanced through a bioinspired &vertical‐via' electronic skin architecture. A confined PDMS/MWCNT/NiNP nanocomposite, sitting at the percolation threshold, enables tactile, thermal, and magnetic sensing. A unique via‐density gradient and dedicated &Un‐Touch' reference nodes provide robust spatial resolution and signal ...
Amos Bardea, Fernando Patolsky
wiley +1 more source
Expertik: Experience with Artificial Intelligence and Mobile Computing
Publicaciones e Investigación, 2013 This article presents the experience in the development of services based in Artificial Intelligence, Service Oriented Architecture, mobile computing.
José Edward Beltrán Lozano
doaj +1 more source
Applications of General Exact Satisfiability in Propositional Logic Modelling
, 2005 This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005.
Vilhelm Dahllöf, Dahllöf, Vilhelm,
core +1 more source