• Search: "Inductive logic programming"

Showing 1 - 20 of 2,495

1

Counterfactual Explanations for Dynamic Multi-Valued Logic
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.
Special Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan

Toyama, Japan counterfactual explanati... dynamic systems logical modeling inductive logic programm... Explainable artificial i... …
Conference
Save to List
2

Counterfactual Explanations Under Learning From Interpretation Transitions
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.

Explainable artificial i... inductive logic programm... logical modeling dynamic systems counterfactual explanati... [INFO]Computer Science [...
Electronic Resource
Save to List
3

Counterfactual Explanations for Learning From Interpretation Transitions
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.

Explainable artificial i... inductive logic programm... logical modeling dynamic systems counterfactual explanati... [INFO]Computer Science [...
Electronic Resource
Save to List
4

Comment gagner : expliquer les bonnes trajectoires
Kazi Aoual, Malik ; Rouveirol, Céline ; Soldano, Henry ; et al.
CNIA 2023 - Conférence Nationale en Intelligence Artificielle. :20-30

Strasbourg, France Explanation Inductive Logic Programm... Abduction Explications Programmation Logique In... …
Conference
Save to List
5

Pearce's Characterisation in an Epistemic Domain
Su, Ezgi Iraz
Electronic Proceedings in Theoretical Computer Science. 416:201-214

Programming problem FOS: Computer and inform... Computer Science - Logic... Literals Computer Science - Progr... Computer Science - Artif... …
Academic journal
Save to List
6

Common abductive explanations in first order logic
Rouveirol, Céline ; Soldano, Henry ; Kazi Aoual, Malik ; et al.
Machine Learning. 114(12)

Academic journal
Save to List
7

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
Ai, Lun ; Muggleton, Stephen H. ; Liang, Shi-Shun ; et al.
Machine Learning. 114(11)

Academic journal
Save to List
8

Synthesizing Recursive Logic Programs by Inverting General Resolution
Taosheng Qiu ; Ryutaro Ichise
IEEE Access, Vol 13, Pp 102649-102658 (2025)

Inductive logic programm... Electrical engineering.... inverse resolution predicate invention TK1-9971
Academic journal
Save to List
9

Transduce: learning transduction grammars for string transformation
Transduce : apprentissage de grammaires de transduction pour la transformation de chaines
Frydman, Francis ; Mangion, Philippe ; Aucune ; et al.

Program synthesis Progra... Program synthesis Programming by Examples Inductive Logic Programm... String transformation Abstract Transduction Gr... …
Electronic Resource
Save to List
11

Learning differentiable logic programs for abstract visual reasoning
Hikaru Shindo ; Viktor Pfanschilling ; Devendra Singh Dhami ; et al.
Machine Learning. 113:8533-8584

Machine Learning FOS: Computer and inform... Artificial Intelligence... Differentiable reasoning Artificial Intelligence Computer Vision and Patt... …
Academic journal
Save to List
12

Inductive Programming Meets the Real World.
GULWANI, SUMIT ; HERNÁNDEZ-ORALLO, JOSÉ ; KITZELMANN, EMANUEL ; et al.
Communications of the ACM. Nov2015, Vol. 58 Issue 11, p90-99. 10p. 1 Color Photograph, 2 Diagrams, 7 Charts.

APPLICATION software ELECTRONIC spreadsheets SCRIPTING languages (Com... INDUCTIVE logic programm... END users (Information t... INTELLIGENT tutoring sys...
Journal
Save to List
13

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
FIEKE HILLERSTRÖM ; GERTJAN BURGHOUTS ; DSS - Defence, Safety & Security ; et al.
Theory and Practice of Logic Programming, 24(4), pp. 628-643.

FOS: Computer and inform... Computer Science - Machi... Artificial Intelligence... Sensory data Computer Science - Artif... Probabilistic background... …
Academic journal
Save to List
14

Inductive learning of robot task knowledge from raw data and online expert feedback
Meli, Daniele ; Fiorini, Paolo
Machine Learning. 114(4)

Academic journal
Save to List
15

Task-To-Processor Assignment for Real-Time Mixed-Critical Networked Systems Using Inductive Logic Programming
Gualtieri, Marcus ; Juette, Christian ; Dasari, Dakshina ; et al.

Auto-Configuration Task-to-Processor Mappin... Active Learning ddc:004 Real-Time Distributed Sy... Inductive Logic Programm...
Conference
Save to List
16

Online Inductive Learning from Answer Sets for Efficient Reinforcement Learning Exploration
Veronese, Celeste ; Meli, Daniele ; Farinelli, Alessandro
Communications in Computer and Information Science ISBN: 9783031893650

FOS: Computer and inform... Artificial Intelligence... Computer Science - Artif... Answer Set Programming,...
Book
Save to List
17

Sketched Answer Set Programming
Paramonov, Sergey ; Bessiere, Christian ; Dries, Anton ; et al.
ICTAI: International Conference on Tools with Artificial Intelligence. :694-701

Volos, Greece Relational learning Constraint programming Sketching Answer set programming Constraint learning …
Conference
Save to List
18

Inductive Learning from State Transitions over Continuous Domains
Ribeiro, Tony ; Tourret, Sophie ; Folschette, Maxime ; et al.
27th International Conference on Inductive Logic Programming. 10759(27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩):124-139

Continuous Logic Program... Inductive Logic Programm... learning from interpreta... dynamical systems [INFO.INFO-MO]Computer S... Modeling and Simulation …
Book
Save to List
19

Rule learning by modularity
Nössig, Albert ; Hell, Tobias ; Moser, Georg
Machine Learning. 113(10):7479-7508

Academic journal
Save to List
20

Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies
Iman Sharifi ; Mustafa Yildirim ; Saber Fallah
Applied Sciences, Vol 15, Iss 23, p 12464 (2025)

symbolic imitation learn... inductive logic programm... first-order logic autonomous driving Technology Engineering (General). C... …
Academic journal
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter