Results 101 to 110 of about 10,814 (309)
Logical form and natural language [PDF]
Philosophical Studies, 1975 Peer Reviewed ; http://deepblue.lib.umich.edu/bitstream/2027.42/43381/1/11098_2004_Article_BF00372902 ...
openaire +2 more sources
Logic-based preference languages with intermediate complexity
, 2008 Logic-based preference representation languages are used to represent utility functions in combinatorial auctions, and can also be used for voting. A canonical problem in this context is, given a set of propositional formulas with associated weights, to ...
Andreas Witzel +3 more
core
The Language Theory of Bounded Context-Switching
, 2010 Concurrent compositions of recursive programs with finite data are a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form of reachability has become popular in the formal verification ...
Salvatore La Torre +8 more
core +1 more source
On the Role of Preprocessing and Memristor Dynamics in Reservoir Computing for Image Classification
Advanced Electronic Materials, EarlyView.ABSTRACT Reservoir computing (RC) is an emerging recurrent neural network architecture that has attracted growing attention for its low training cost and modest hardware requirements. Memristor‐based circuits are particularly promising for RC, as their intrinsic dynamics can reduce network size and parameter overhead in tasks such as time‐series ...
Rishona Daniels +4 more
wiley +1 more source
Representation Synthesis by Probabilistic Many-Valued Logic Operation in Self-Supervised Learning
IEEE Open Journal of Signal ProcessingIn this paper, we propose a new self-supervised learning (SSL) method for representations that enable logic operations. Representation learning has been applied to various tasks like image generation and retrieval.
Hiroki Nakamura +2 more
doaj +1 more source
Natural language processing and logic programming
The Journal of Logic Programming, 1994 AbstractThis paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural language processing. It emphasizes the importance of taking into account the most general analyses from linguistic theory in building NLP ...
openaire +1 more source
Material Strategies for Stimulation and Recording in Neural Biocomputing Platforms
Advanced Electronic Materials, EarlyView.Material strategies enabling stimulation and recording are central to neural biocomputing systems. This review examines how electronic materials govern the encoding of inputs and decoding of outputs in living neural networks. Advances in electrical, optical, and multimodal interfaces highlight emerging design principles for biocomputing platforms ...
Sehong Kang +5 more
wiley +1 more source
Second-order logic : ontological and epistemological problems
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core
Relational and Allegorical Semantics for Constraint Logic Programming
, 2012 El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de
Gallego Arias, Emilio Jesús
core +1 more source
Keeping Pace or Falling Behind? The Depth of Latin American Trade Agreements
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT This article examines whether Latin American countries are keeping pace with global trends in trade agreement depth or falling behind. Using 681 agreements (1970–2019), we develop the Depth Index of Trade Agreements (DITA) to weight provisions endogenously through factor analysis based on co‐occurrence patterns.
Raphael Gomes da Silva +2 more
wiley +1 more source