Results 201 to 210 of about 37,011 (230)

The realism of behavioral theory-based vs. non-theory-based AI agents during a simulated infant formula shortage. [PDF]

Front Artif Intell
Desens L, Walling B, O'Neill R, Howard V, Giammarino M, Scannell D, Kemble A, Wilkerson T, Nhial N, Elson SB, Rosen S.   +10 more
europepmc   +1 more source

Empirical Logic for Bio-Inspired Soft Computing: Illustrative Applications in Control Engineering and Cluster Analysis. [PDF]

Biomimetics (Basel)
Grotrian J.
europepmc   +1 more source

Sustainable Design Reuse: Integrating Biomimicry and Parametric Thinking in Architectural Education. [PDF]

Biomimetics (Basel)
Semlali A, Tamzini S, Cazacova L.
europepmc   +1 more source

Adopting Soft Logic to enhance an Adizes tool: A comprehensive approach to represent the evaluation of management styles. [PDF]

PLoS One
Kordova S, Hirschprung RS.
europepmc   +1 more source

Multi-function multi-level grid tied inverter based on a new combined logic-analog controller with capacitors balancing ability. [PDF]

Sci Rep
Nematzadeh Meinagh V, Sabahi M, Bannae Sharifian MB, Hagh MT.   +3 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Kripke semantics for higher-order type theory applied to constraint logic programming languages

Theoretical Computer Science, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
James Lipton, Susana Nieva
openaire   +3 more sources

Material Dialogues for First-Order Logic in Constructive Type Theory

Lecture Notes in Computer Science, 2022
Material dialogues are turn taking games which model debates about the satisfaction of logical formulas. A novel variant played over first-order structures gives rise to a notion of first-order satisfaction.
Dominik Wehr, Dominik Kirst, Kirst Dominik   +2 more
exaly   +2 more sources