Search Results - Logic Programming General Terms

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping by 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…”
Get full text

CLP(H): Constraint logic programming for hedges by 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…”
Get full text

Logic program proportions: Logic program proportions by 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…”
Get full text

An efficient propositional system for Abductive Logic Programming by 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…”
Get full text

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming by 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…”
Get full text

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

“…Relational Hoare logics (RHL) provide rules for reasoning about relations between programs…”
Get full text

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

“…The development of types is an important but challenging issue in temporal logic programming…”
Get full text

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

“…).We elaborate on how bounded rationality is usually conceived in psychology and on its relationship with logic…”
Get full text

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

“…We define the complete Taylor expansion of an ordinary lambda-term as an infinite linear combination…”
Get full text

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

“… accomplishes skills to develop solutions using programming.” — Andrés A. Navarro Newball , Professor, Pontificia Universidad Javeriana Cali Colombia…”
Get full text

Short-term prediction of solar energy in Saudi Arabia using automated-design fuzzy logic systems by 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…”
Get full text

A fuzzy logic system and VDF adaptive iteration-based metaverse secure authentication scheme: A fuzzy logic system and VDF adaptive iteration by 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…”
Get full text

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

“…We describe an inductive logic programming (ILP) approach called learning from failures…”
Get full text

Molecular implementation of simple logic programs by 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…”
Get full text

Temporal patterns decomposition and Legendre projection for long-term time series forecasting by 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…”
Get full 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 by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text

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

“…In this study, an inexact fuzzy chance-constrained two-stage mixed-integer linear programming (IFCTIP…”
Get full text

An Optimized Type-2 Self-Organizing Fuzzy Logic Controller Applied in Anesthesia for Propofol Dosing to Regulate BIS by 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…”
Get full text

Agent zero: toward neurocognitive foundations for generative social science. by 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:…”
Get full text

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or…”
Get full text