*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 725*number_thousands_separator*246

1

Logic Programming with Extensible Types
Perez, Ivan ; Herranz, Angel
EPTCS 439, 2026, pp. 248-262

Programming Languages Logic in Computer Scienc...
*Report*
2

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
Shapiro, Ehud

Programming Languages Cryptography and Securit... Distributed, Parallel, a... Logic in Computer Scienc... Multiagent Systems
*Report*
4

Proceedings 41st International Conference on Logic Programming
Gebser, Martin ; Inclezan, Daniela ; Ricca, Francesco ; et al.
EPTCS 439, 2025

Logic in Computer Scienc...
*Report*
5

Are Language Models Efficient Reasoners? A Perspective from Logic Programming
Opedal, Andreas ; Zengaffinen, Yanick ; Shirakami, Haruki ; et al.

Computation and Language Artificial Intelligence Machine Learning Logic in Computer Scienc...
*Report*
6

XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
Dovier, Agostino ; Dreossi, Talissa ; Formisano, Andrea ; et al.
EPTCS 439, 2026, pp. 405-419

Artificial Intelligence
*Report*
7

CoLF Logic Programming as Infinitary Proof Exploration
Chen, Zhibo ; Pfenning, Frank
EPTCS 431, 2025, pp. 34-41

Logic in Computer Scienc... F.4.1
*Report*
8

Logic Programming on Knowledge Graph Networks And its Application in Medical Domain
Wang, Chuanqing ; Zhao, Zhenmin ; Du, Shanshan ; et al.

Artificial Intelligence Computation and Language Machine Learning
*Report*
9

Object-Oriented Transition Modeling with Inductive Logic Programming
Stella, Gabriel ; Loguinov, Dmitri

Machine Learning
*Report*
10

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Spaans, Jeroen ; Heyninck, Jesse

Artificial Intelligence Logic in Computer Scienc...
*Report*
11

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
Kettmann, Pascal ; Heyninck, Jesse ; Strass, Hannes

Logic in Computer Scienc...
*Report*
12

Reasoning about Medical Triage Optimization with Logic Programming
Patil, Jaikrishna Manojkumar ; Chapman, Adam ; Knuszka, Richard ; et al.
EPTCS 439, 2026, pp. 320-333

Logic in Computer Scienc...
*Report*
13

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
Johnson, Blair ; Kerce, Clayton ; Fekri, Faramarz

Artificial Intelligence Machine Learning Logic in Computer Scienc...
*Report*
14

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
Hansen, Zachary
EPTCS 416, 2025, pp. 332-344

Computer Science - Logic... Computer Science - Artif... Computer Science - Progr...
*Report*
15

Satisfiability Modulo Theory Meets Inductive Logic Programming
Upreti, Nijesh ; Belle, Vaishak

Artificial Intelligence
*Report*
16

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
Cristiá, Maximiliano ; Capozucca, Alfredo ; Rossi, Gianfranco

Logic in Computer Scienc...
*Report*
17

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications
Saccon, Enrico ; De Martini, Davide ; Saveriano, Matteo ; et al.
IEEE Robotics and Automation Letters, vol. 11, no. 2, pp. 1770-1777, Feb. 2026

Robotics Artificial Intelligence I.2.8, I.2.9, I.6.3
*Report*
18

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
Nerode, Anil ; Liu, Yanhong A.

Computer Science - Artif... Computer Science - Logic... Computer Science - Progr...
*Report*
19

Operational semantics on arbitrary first-order fuzzy logic programming
Medina, Jesús ; José Antonio Torné-Zambrano
In Fuzzy Sets and Systems 1 June 2026 532

*Academic Journal*
20

Symmetry breaking for inductive logic programming
Cropper, Andrew ; Cerna, David M. ; Järvisalo, Matti

Artificial Intelligence Machine Learning
*Report*

*Filter*