Results 51 to 60 of about 1,501,850 (327)
Strategic Reasoning in Automated Mechanism Design
International Conference on Principles of Knowledge Representation and Reasoning, 2021 Mechanism Design aims at defining mechanisms that satisfy a predefined set of properties, and Auction Mechanisms are of foremost importance. Core properties of mechanisms, such as strategy-proofness or budget-balance, involve: (i) complex strategic ...
Bastien Maubert +3 more
semanticscholar +1 more source
α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [PDF]
International Journal of Computational Intelligence Systems, 2015 In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication algebra.
Weitao Xu +4 more
doaj +1 more source
REFINER: Reasoning Feedback on Intermediate Representations [PDF]
Conference of the European Chapter of the Association for Computational Linguistics, 2023 Language models (LMs) have recently shown remarkable performance on reasoning tasks by explicitly generating intermediate inferences,e.g., chain-of-thought prompting.
Debjit Paul +6 more
semanticscholar +1 more source
The Automated Taxonomic Concept Reasoner [PDF]
Biodiversity Information Science and Standards, 2020 We present a visual and interactive taxonomic Artificial Intelligence (AI) tool, the Automated Taxonomic Concept Reasoner (ATCR), whose graphical web interface is under development and will also become available via an Application Programming Interface (API). The tool employs automated reasoning (Beeson 2014) to align multiple taxonomies visually, in a
Atriya Sen +3 more
openaire +2 more sources
Hierarchical Document Classification Method Based on Improved Self-attention Mechanism and Representation Learning [PDF]
Jisuanji kexueAn essential task of document classification is to study how to effectively represent input features,and sentence and document vector representations can assist in downstream tasks in natural language processing,such as text sentiment analysis and data ...
LIAO Xingbin, QIAN Yangge, WANG Qianlei, QIN Xiaolin
doaj +1 more source
Verifiable Decryption Scheme Based on MLWE and MSIS [PDF]
Jisuanji kexueThe verifiable decryption technology involved in the two-party secure computing can be applied in real-world scenarios that require privacy protection,such as medical research data sharing,and inter-institutional cooperation for model training,which can ...
GUO Chuntong, WU Wenyuan
doaj +1 more source
Automated Reasoning on Feature Models [PDF]
, 2005 Premio Mensual Publicación Científica Destacada de la US.
Benavides Cuevas, David Felipe +2 more
openaire +4 more sources
Qualitative Mechanical Problem-Solving by Artificial Agents:
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 Qualitative mechanical problem-solving (QMPS) is central to human-level intelligence. Human agents use their capacity for such problem-solving to succeed in tasks as routine as opening the tap to drink or hanging a picture on the wall, as well as for ...
Shreya Banerjee +3 more
doaj +1 more source
Symbolic execution proofs for higher order store programs [PDF]
, 2014 Higher order store programs are programs which store, manipulate and invoke code at runtime. Important examples of higher order store programs include operating system kernels which dynamically load and unload kernel modules.
Charlton, Nathaniel +2 more
core +1 more source
Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System
Journal of Applied Mathematics, 2013 We propose an approach for constructing Lyapunov function in quadratic form of a differential system. First, positive polynomial system is obtained via the local property of the Lyapunov function as well as its derivative.
Zhenyi Ji +3 more
doaj +1 more source