Results 101 to 110 of about 2,243,371 (296)
Quantified temporal alethic-deontic logic
, 2015 The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic.
Rönnedal, Daniel,
core +1 more source
Phase Engineering of Nanomaterials (PEN): Evolution, Current Challenges, and Future Opportunities
Advanced Materials, EarlyView.This review summarizes the synthesis, phase transition, advanced characterization spanning ex situ to in situ and operando techniques, and diverse applications of phase engineering of nanomaterials (PEN). It further outlines key challenges and future opportunities, such as phase stability, architecture control, and artificial intelligence (AI)‐driven ...
Ye Chen +7 more
wiley +1 more source
Journal of Symbolic Computation, 1989 To exploit efficient temporal proof techniques, a special programming language, TEMPLOG, is proposed. It extends the classical PROLOG-like languages to include temporal operators. TEMPLOG programs will then be collections of ``temporal'' Horn clauses and, the main idea, they will be interpreted with the help of ``temporal'' SLD-resolution.
Martín Abadi, Zohar Manna
openaire +2 more sources
Modalities in medieval logic [PDF]
, 2009 This dissertation is an exercise in conceptual archeology. Using the tools of contemporary logic we analyse texts in medieval logic and reconstruct their logical theories by creating a formal framework which models them. Our focus is medieval texts which
Uckelman, S.L., Uckelman, Sara L.
core +20 more sources
Temporal Data Modeling and Reasoning for Information Systems [PDF]
, 2006 Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research.
Spranger, Stephanie, Bry, François
core +1 more source
Advanced Materials, EarlyView.Aqueous Zn(II) Salphen metallofibers decorated with PNIPAM undergo reversible, multi‐stimuli‐responsive hierarchical bundling. This higher‐order structuring kinetically stabilizes the otherwise fragile assemblies against dilution, acidic hydrolysis, and transmetallation, enables selective sorting of responsive fibers, and programs hydrogelation at ...
Merlin R. Stühler +5 more
wiley +1 more source
Alternating-time temporal logic
Proceedings 38th Annual Symposium on Foundations of Computer Science, 1998 Temporal logic comes in two varieties: linear-time temporal logic assumes implicit universal quantification over all paths that are generated by the execution of a system; branching-time temporal logic allows explicit existential and universal quantification over all paths.
Rajeev Alur +2 more
openaire +5 more sources
Natural deduction calculus for quantified propositional linear-time temporal logic (QPTL) [PDF]
, 2009 We present a natural deduction calculus for the quantified propositional linear-time temporal logic (QPTL) and prove its correctness. The system extends previous natural deduction constructions for the propositional linear-time temporal logic.
Bolotov, A., Grigoriev, O.
core
A Logic Programming Framework for Modelling Temporal Objects [PDF]
, 1996 Published ...
Kesim, N. +5 more
core +1 more source
Advanced Materials, EarlyView.This review examines passive, active, and hybrid liquid manipulation strategies, highlighting hybrid approaches as an emerging route to reconcile energy efficiency with adaptive control. By actively reconstructing passive surfaces to store programmable interfacial energy, hybrid systems enable flexible yet low‐power liquid transport, with perspectives ...
Jiaqi Miao +3 more
wiley +1 more source