Výsledky vyhľadávania - Logic Programming General Terms

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping Autor ALFANO, GIANVINCENZO, GRECO, SERGIO, PARISI, FRANCESCO, TRUBITSYNA, IRINA

“…Dung’s abstract Argumentation Framework (AF) has emerged as a key formalism for argumentation in artificial intelligence. It has been extended in several…”
Získať plný text

CLP(H): Constraint logic programming for hedges Autor DUNDUA, BESIK, FLORIDO, MÁRIO, KUTSIA, TEMUR, MARIN, MIRCEA

“…CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges…”
Získať plný text

Logic program proportions: Logic program proportions Autor Antić, Christian

“… into S ” as a mechanism for deriving similar programs by analogy-making. The idea is to instantiate a fragment of a recently introduced abstract algebraic framework of analogical proportions in the domain of logic programming…”
Získať plný text

An efficient propositional system for Abductive Logic Programming Autor Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“…Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting problems, such as diagnosis, planning, and verification with formal methods…”
Získať plný text

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming Autor Cabrero-Holgueras, José, Pastrana, Sergio

“… Still, HE is not widespread due to limitations in terms of efficiency and usability. Among the challenges of HE, scheme parametrization (i.e…”
Získať plný text

Agent zero: toward neurocognitive foundations for generative social science. Autor Epstein, Joshua M, Epstein, Joshua M

“…The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity:…”
Získať plný text

Alignment Completeness for Relational Hoare Logics Autor Nagasamudram, Ramana, Naumann, David A.

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Získať plný text

MSVL： a typed language for temporal logic programming Autor WANG, Xiaobing, TIAN, Cong, DUAN, Zhenhua, ZHAO, Liang

“…The development of types is an important but challenging issue in temporal logic programming…”
Získať plný text

Bounded rationality: from fast and frugal heuristics to logic programming and back Autor Vargas, Francisco, Martignon, Laura, Stenning, Keith

“…).We elaborate on how bounded rationality is usually conceived in psychology and on its relationship with logic…”
Získať plný text

Uniformity and the Taylor expansion of ordinary lambda-terms Autor Ehrhard, Thomas, Regnier, Laurent

“…We define the complete Taylor expansion of an ordinary lambda-term as an infinite linear combination…”
Získať plný text

Anyone Can Code: The Art and Science of Logical Creativity Autor Arya, Ali

“… accomplishes skills to develop solutions using programming.” — Andrés A. Navarro Newball , Professor, Pontificia Universidad Javeriana Cali Colombia…”
Získať plný text

Short-term prediction of solar energy in Saudi Arabia using automated-design fuzzy logic systems Autor Almaraashi, Majid

“…) for the next day in 8 stations in Saudi Arabia. The designed models are based on computational intelligence methods of automated-design fuzzy logic systems…”
Získať plný text

A fuzzy logic system and VDF adaptive iteration-based metaverse secure authentication scheme: A fuzzy logic system and VDF adaptive iteration Autor Bao, Shuang, Li, Lixiang, Peng, Haipeng, Zhang, Ran

“… To solve the above problems, this paper proposes a fuzzy logic system and VDF adaptive iteration-based metaverse security authentication scheme…”
Získať plný text

Learning programs by learning from failures Autor Cropper, Andrew, Morel, Rolf

“…We describe an inductive logic programming (ILP) approach called learning from failures…”
Získať plný text

The constitution of algorithms : ground-truthing, programming, formulating Autor Jaton, Florian, Bowker, Geoffrey C.

“…A laboratory study that investigates how algorithms come into existence. Algorithms—often associated with the terms big data, machine learning, or artificial intelligence…”
Získať plný text

Molecular implementation of simple logic programs Autor Ran, Tom, Kaplan, Shai, Shapiro, Ehud

“… . Biomolecular implementations of finite automata 8 , 9 and logic gates 4 , 10 , 11 , 12 , 13 have already been developed 14 , 15 , 16 , 17 , 18…”
Získať plný text

Temporal patterns decomposition and Legendre projection for long-term time series forecasting Autor Liu, Jianxin, Ma, Tinghuai, Su, Yuming, Rong, Huan, Khalil, Alaa Abd El-Raouf Mohamed, Wahab, Mohamed Magdy Abdel, Osibo, Benjamin Kwapong

“…Long-term time series forecasting (LTSF) means utilizing historical data to forecast future sequences that are relatively distant in time, providing support for long-term warnings, planning, and decision-making…”
Získať plný text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II Autor Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Získať plný text

Inexact fuzzy-stochastic mixed-integer programming approach for long-term planning of waste management – Part A: Methodology Autor Guo, P., Huang, G.H.

“…In this study, an inexact fuzzy chance-constrained two-stage mixed-integer linear programming (IFCTIP…”
Získať plný text

An Optimized Type-2 Self-Organizing Fuzzy Logic Controller Applied in Anesthesia for Propofol Dosing to Regulate BIS Autor Wei, Zi-Xiao, Doctor, Faiyaz, Liu, Yan-Xin, Fan, Shou-Zen, Shieh, Jiann-Shing

“…). However, in this article, an optimized type-2 self-organizing fuzzy logic controller (SOFLC) is designed for a target controlled infusion pump related to propofol dosing guided by BIS, to realize automatic control of general anesthesia…”
Získať plný text