Search Results - Logic Programming General Terms Algorithms*

Non-Termination of Logic Programs Using Patterns.

Authors: PAYET, ETIENNE

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p739-755, 17p

Subject Terms: LOGIC programming, PATTERN perception, DETECTION algorithms, FORMAL methods (Computer science), EMPIRICAL research

General Policies, Subgoal Structure, and Planning Width

Authors: Blai Bonet Héctor Geffner

Source: Journal of Artificial Intelligence Research 80, 475-516 (2024). doi:10.1613/jair.1.15581
Journal of Artificial Intelligence Research

Subject Terms: FOS: Computer and information sciences, Computer Science - Artificial Intelligence, Computer Networks and Communications, Artificial Intelligence Planning and Reasoning, Distributed Constraint Optimization Problems and Algorithms, Epistemology, 0102 computer and information sciences, 02 engineering and technology, Polynomial, Mathematical analysis, 01 natural sciences, Bounded function, Artificial Intelligence, Logic Programming and Knowledge Representation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Scope (computer science), Spatial Reasoning, Domain (mathematical analysis), Discrete Mathematics, Exponential function, Semantics (computer science), Discrete mathematics, Diskret matematik, Computer science, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Artificial Intelligence (cs.AI), Computer Science, Physical Sciences, Simple (philosophy), Tuple, Mathematics

File Description: application/pdf

Access URL: http://arxiv.org/abs/2311.05490
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-205437
https://publications.rwth-aachen.de/record/988540

On the use of stochastic logic for nonlinear circuits and systems

Authors: Camps Pascual, Oscar Vicente

Thesis Advisors: Picos Gayà, Rodrigo, Stavrinides, Stavros G.

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Computación estocástica, Memristores, Sistemas no lineales, Computación Estocástica

Time: 621.3

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/688339

A flexible system-on-chip FPGA architecture for prototyping experimental GNSS receivers

Authors: Majoral Ramoneda, Marc

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions

Thesis Advisors: Fernández Prades, Carlos, Arribas Lázaro, Javier, Pérez Neira, Ana Isabel

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Àrees temàtiques de la UPC::Enginyeria de la telecomunicació

Time: 621.3

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/691253
https://dx.doi.org/10.5821/dissertation-2117-409131

Splitting a Disjunctive Logic Program.

Authors: BEN-ELIYAHU-ZOHARY, RACHEL

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p507-521, 15p

Subject Terms: POLYNOMIAL time algorithms, LOGIC programming, NONMONOTONIC logic, COMPUTER science

Golem: a flexible and efficient solver for constrained Horn clauses.

Authors: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

Source: Formal Methods in System Design; Nov2025, Vol. 67 Issue 2, p143-160, 18p

Subject Terms: SATISFIABILITY (Computer science), CONSTRAINT programming, ALGORITHMS, MODULAR design, LOGIC programming, MODEL validation

SYNTACTIC AND SEMANTIC CONNECTIONS BETWEEN LOGIC PROGRAMMING AND ARGUMENTATION SYSTEMS.

Authors: SÁ, SAMY DVOŘÁK, WOLFGANG CAMINADA, MARTIN

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Mar2025, Vol. 12 Issue 3, p591-660, 70p

Subject Terms: LOGIC programming, SEMANTICS, TERMS & phrases, ARGUMENT

Counting Answer Sets of Disjunctive Answer Set Programs.

Authors: KABIR, MD MOHIMENUL CHAKRABORTY, SUPRATIK MEEL, KULDEEP S.

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p703-721, 19p

Subject Terms: LOGIC programming, KNOWLEDGE representation (Information theory), ALGORITHMS

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.

Authors: Marinho Rocha, Filipe Dutra, Inês Santos Costa, Vítor et al.

Source: Intelligenza Artificiale; Aug2025, Vol. 19 Issue 2, p85-101, 17p

Subject Terms: LOGIC programming, GENERALIZATION, ARTIFICIAL intelligence, INDUCTION (Logic), DOMAIN-specific programming languages, COGNITIVE ability

A General Framework for Dynamic MAPF Using Multi-Shot ASP and Tunnels.

Authors: BOGATARKAN, AYSU ERDEM, ESRA

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p540-557, 18p

Subject Terms: TUNNELS, ROBOTIC path planning, APPLIED sciences, LOGIC programming, AUTOMATED materials handling, PLANNING techniques

An Inductive Logical Model with Exceptional Information for Error Detection and Correction in Large Knowledge Bases.

Authors: Wu, Yan Lin, Xiao Lian, Haojie et al.

Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1877, 23p

Subject Terms: LOGIC programming, INDUCTION (Logic), VALUES (Ethics), ALGORITHMS

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.

Authors: CALIMERI, FRANCESCO IANNI, GIOVAMBATTISTA PACENZA, FRANCESCO et al.

Source: Theory & Practice of Logic Programming; May2025, Vol. 25 Issue 3, p281-303, 23p

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming, ADAPTIVE computing systems, EVENT processing (Computer science)

Introduction to the 41 $^{st}$ International Conference on Logic Programming Special Issue.

Authors: GEBSER, MARTIN INCLEZAN, DANIELA RICCA, FRANCESCO

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p394-401, 8p

Subject Terms: LOGIC programming, CONFERENCES & conventions, SCHOLARLY publishing

Open Educational Resource for Studying Algorithms and Programming Logic: An Approach to the Technical Level Integrated with Secondary School.

Authors: PEREIRA, Diego E. F. SEABRA, Rodrigo D.

Source: Informatics in Education; Sep2023, Vol. 22 Issue 3, p441-462, 22p

Subject Terms: LOGIC programming, OPEN educational resources, SECONDARY schools, ALGORITHMS, TECHNICAL education, STUDENT development, TEACHING models

AI Reasoning in Deep Learning Era: From Symbolic AI to Neural–Symbolic AI.

Authors: Liang, Baoyu Wang, Yuchen Tong, Chao

Source: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p

Subject Terms: ARTIFICIAL intelligence, LOGIC programming, MATHEMATICAL logic, DEEP learning, BRITTLENESS, SCALABILITY

Building supply-chain resilience: an artificial intelligence-based technique and decision-making framework.

Authors: Belhadi, Amine Kamble, Sachin Fosso Wamba, Samuel et al.

Source: International Journal of Production Research; Jul2022, Vol. 60 Issue 14, p4487-4507, 21p, 1 Diagram, 9 Charts, 2 Graphs

Subject Terms: ARTIFICIAL intelligence, DECISION making, LOGIC programming, FUZZY algorithms, FUZZY systems

Rule learning by modularity.

Authors: Nössig, Albert Hell, Tobias Moser, Georg

Source: Machine Learning; Oct2024, Vol. 113 Issue 10, p7479-7508, 30p

Subject Terms: INDUCTION (Logic), LOGIC programming, CLASSIFICATION algorithms, INSURANCE companies, BUSINESS insurance

Integrating Belief Domains into Probabilistic Logic Programs.

Authors: AZZOLINI, DAMIANO RIGUZZI, FABRIZIO SWIFT, THERESA

Source: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p455-472, 18p

Subject Terms: EPISTEMIC uncertainty, LOGIC programming, DEMPSTER-Shafer theory, UNCERTAINTY (Information theory), EPISTEMIC logic

White-box Induction From SVM Models: Explainable AI with Logic Programming.

Authors: SHAKERIN, FARHAD GUPTA, GOPAL

Source: Theory & Practice of Logic Programming; Sep2020, Vol. 20 Issue 5, p656-670, 15p

Subject Terms: LOGIC programming, ALGORITHMS, INFORMATION theory, INDUCTION (Logic), SUPPORT vector machines

When the Decomposition Meets the Constraint Satisfaction Problem

Authors: Youcef Djenouri Djamel Djenouri Zineb Habbas et al.

Source: IEEE Access, Vol 8, Pp 207034-207043 (2020)
207034-207043
IEEE Access

Subject Terms: Artificial intelligence, Decomposition method (queueing theory), Data Stream Management Systems and Techniques, GPU, Distributed Constraint Optimization Problems and Algorithms, 0211 other engineering and technologies, 02 engineering and technology, Constraint satisfaction, Soft Constraints, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, Canopy clustering algorithm, scalability, Probabilistic logic, Adaptation (eye), Ecology, Physics, General Engineering, Correlation clustering, Discrete mathematics, Programming language, Top-k Query Processing, Algorithm, Physical Sciences, Electrical engineering. Electronics. Nuclear engineering, General Computer Science, Computer Networks and Communications, Constraint satisfaction problem, Trajectory Data Mining and Analysis, Geometry, Set (abstract data type), Local consistency, Query Optimization, Clustering Algorithms, Cluster analysis, Theoretical computer science, CSP, FOS: Mathematics, Constraint (computer-aided design), Biology, Decomposition, Constraint logic programming, decomposition, Optics, Computer science, DBSCAN, TK1-9971, Constraint satisfaction dual problem, FOS: Biological sciences, Computer Science, Signal Processing, Constraint Optimization, Mathematics

File Description: PDF; application/pdf

Access URL: https://doaj.org/article/d67faf3c34de4e0581ca7b29364a0499
https://ieeexplore.ieee.org/document/9260140
https://doi.org/10.1109/ACCESS.2020.3038228
https://hvlopen.brage.unit.no/hvlopen-xmlui/handle/11250/2729390
https://dblp.uni-trier.de/db/journals/access/access8.html#DjenouriDHLMC20
https://hdl.handle.net/11250/3057457
https://hdl.handle.net/11250/2729390