Suchergebnisse - Logic Programming General Terms

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping von 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 …”
Volltext

CLP(H): Constraint logic programming for hedges von 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 …”
Volltext

Logic program proportions: Logic program proportions von 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 …”
Volltext

An efficient propositional system for Abductive Logic Programming von 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 …”
Volltext

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming von 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 …”
Volltext

Agent zero: toward neurocognitive foundations for generative social science. von 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: …”
Volltext

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The constitution of algorithms : ground-truthing, programming, formulating von 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 …”
Volltext

Molecular implementation of simple logic programs von 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 …”
Volltext

Temporal patterns decomposition and Legendre projection for long-term time series forecasting von 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 …”
Volltext

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 von Kobayashi, Naoki, Worrell, James

“… : Types and programming languages; logic and proofs; infinite-state systems …”
Volltext

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

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

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