Suchergebnisse - "Logic Programming"

Programming Directional Strand Polymerization on DNA Origami for Logic Computing.

Autoren: Li, Zimu Hao, Yaya Tang, Yuqing et al.

Quelle: Small Structures. Oct2025, Vol. 6 Issue 10, p1-11. 11p.

Schlagwörter: *DNA nanotechnology, *LOGIC programming, *SINGLE molecule detection, *BIOSENSORS, *MOLECULAR self-assembly, *REACTION mechanisms (Chemistry), *DNA folding

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.

Autoren: Hocaoğlu, Mehmet Fatih¹ (AUTHOR) mfatih.hocaoglu@medeniyet.edu.tr

Quelle: Simulation. Sep2025, Vol. 101 Issue 9, p951-979. 29p.

Schlagwörter: *PETRI nets, *LOGIC programming, *SCHEDULING, *SIMULATION methods & models, *DISCRETE event simulation, *MODULAR design

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

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

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

Schlagwörter: *LOGIC programming, *GENERALIZATION, *ARTIFICIAL intelligence, *INDUCTION (Logic), *DOMAIN-specific programming languages, *COGNITIVE ability

Techniques for measuring the inferential strength of forgetting policies

Autoren: Doherty, Patrick Szalas, Andrzej

Quelle: Journal of logic and computation (Print). 35(3)

Schlagwörter: knowledge representation and reasoning, forgetting, inferential strength, probabilistic logic programming

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-213455
https://doi.org/10.1093/logcom/exaf023

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Autoren: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Weitere Verfasser: Larroque, Lucas Ostropolski-Nalewaja, Piotr Thomazo, Michaël

Quelle: Proceedings of the ACM on Management of Data. 3:1-20

Schlagwörter: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability

Dateibeschreibung: application/pdf

Zugangs-URL: https://inria.hal.science/hal-05273623v1/document
https://inria.hal.science/hal-05273623v1
https://doi.org/10.1145/3725238

Towards Constraint Temporal Answer Set Programming

Autoren: PEDRO CABALAR MARTÍN DIÉGUEZ FRANÇOIS OLIVIER et al.

Quelle: Theory and Practice of Logic Programming. :1-16

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Temporal logic programming, Knowledge representation, Artificial Intelligence, Logic in Computer Science, Nonmonotonic reasoning, Constraint programming, Logic in Computer Science (cs.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2507.13958
https://hdl.handle.net/2183/45943

Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming

Autoren: FELICIDAD AGUADO PEDRO CABALAR BRAIS MUÑIZ et al.

Quelle: Theory and Practice of Logic Programming. :1-15

Schlagwörter: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Forks, Artificial Intelligence, Answer set programming, Equilibrium logic, Disjunctive logic programming

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2507.18198
https://hdl.handle.net/2183/45933

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

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

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

Schlagwörter: *LOGIC programming, *INDUCTION (Logic), *VALUES (Ethics), *ALGORITHMS

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

Autoren: Liang, Baoyu Wang, Yuchen Tong, Chao

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

Schlagwörter: *ARTIFICIAL intelligence, *LOGIC programming, *MATHEMATICAL logic, *DEEP learning, *BRITTLENESS, *SCALABILITY

Heuristic search and constraint verification for value-centric electrification planning

Autoren: Berglund, William Brännström, Andreas

Quelle: Digital Humanism Lecture Notes in Computer Science. :3-18

Schlagwörter: Heuristic search, Logic Programming, Electrification planning, Value alignment, Knowledge elicitation, Computer Science, datalogi

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-245427
https://doi.org/10.1007/978-3-032-11108-1_1

Teaching logic programming: a review

Autoren: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Quelle: CTE Workshop Proceedings, Vol 12 (2025)

Schlagwörter: logic programming, Datalog, constraint logic programming, Technology, Answer Set Programming, Prolog, computer science education, Education

Zugangs-URL: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Pearce's Characterisation in an Epistemic Domain

Autoren: Su, Ezgi Iraz

Quelle: Electronic Proceedings in Theoretical Computer Science. 416:201-214

Schlagwörter: Programming problem, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Literals, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, Problem-solving, Answer set programming, Monotonics, Equilibrium logic, Answer set, Program debugging, Specification languages, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Logic programs, Non-monotonic reasoning, Declarative logic, Inductive logic programming (ILP), Majority logic, Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2502.09221
https://hdl.handle.net/11486/4356
https://doi.org/10.4204/EPTCS.416.18

Graphical Conditions for the Existence, Unicity and Number of Regular Models

Autoren: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

Weitere Verfasser: Trinh, Van-Giang Benhamou, Belaid Soliman, Sylvain et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 416:175-187

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, semantics of negation, Datalog, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Discrete Mathematics (cs.DM), Computer Science - Artificial Intelligence, Boolean network, feedback vertex set, Logic in Computer Science (cs.LO), canonical model, logic programming, Artificial Intelligence (cs.AI), three-valued model, abstract argumentation, model counting, Computer Science - Discrete Mathematics

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2502.09220
https://amu.hal.science/hal-04708861v1/document
https://doi.org/10.4204/eptcs.416.16
https://amu.hal.science/hal-04708861v1

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Autoren: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Schlagwörter: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

Answer Set Searching with Weighted MaxSAT.

Autoren: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Quelle: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Schlagwörter: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

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

Autoren: Blicha, Martin Britikov, Konstantin Sharygina, Natasha

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

Schlagwörter: SATISFIABILITY (Computer science), CONSTRAINT programming, ALGORITHMS, MODULAR design, LOGIC programming, MODEL validation

FROM THE GUIDE TO NONEXISTENT BIRDS: AN ORNITHOLOGICAL LOGIC.

Autoren: DUVVOORI, KAVI

Quelle: Michigan Quarterly Review; Fall2025, Vol. 64 Issue 4, p645-666, 22p

Schlagwörter: ARTIFICIAL intelligence, HYPERTEXT literature, COMPUTER art, LOGIC programming, COMPUTER programming

Artificial Intelligence and Inherent Mathematical Difficulty Open Access.

Autoren: Dean, Walter Naibo, Alberto

Quelle: Philosophia Mathematica; Oct2025, Vol. 33 Issue 3, p283-329, 47p

Schlagwörter: ARTIFICIAL intelligence, MATHEMATICS, LANGUAGE models, RECURSION theory, CONSTRAINT satisfaction, MATHEMATICAL proofs, COMPLEXITY (Philosophy), LOGIC programming

A UNIFYING FRAMEWORK FOR PROBABILISTIC ARGUMENTATION.

Autoren: ALFANO, GIANVINCENZO LEIVA, MARIO A. SIMARI, GERARDO I.

Quelle: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1757-1784, 28p

Schlagwörter: KNOWLEDGE representation (Information theory), COMPUTATIONAL complexity, LOGIC, LOGIC programming

Synthesizing Recursive Logic Programs by Inverting General Resolution

Autoren: Taosheng Qiu Ryutaro Ichise

Quelle: IEEE Access, Vol 13, Pp 102649-102658 (2025)

Schlagwörter: Inductive logic programming, Electrical engineering. Electronics. Nuclear engineering, inverse resolution, predicate invention, TK1-9971

Zugangs-URL: https://doaj.org/article/e78f644541064187840b6691444d44a4