Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text