Výsledky vyhledávání - "Inductive Logic Programming"

Pearce's Characterisation in an Epistemic Domain

Autoři: Su, Ezgi Iraz

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

Témata: 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)

Přístupová URL adresa: http://arxiv.org/abs/2502.09221
https://hdl.handle.net/11486/4356
https://doi.org/10.4204/EPTCS.416.18

Synthesizing Recursive Logic Programs by Inverting General Resolution

Autoři: Taosheng Qiu Ryutaro Ichise

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

Témata: Inductive logic programming, Electrical engineering. Electronics. Nuclear engineering, inverse resolution, predicate invention, TK1-9971

Přístupová URL adresa: https://doaj.org/article/e78f644541064187840b6691444d44a4

Learning differentiable logic programs for abstract visual reasoning

Autoři: Hikaru Shindo Viktor Pfanschilling Devendra Singh Dhami a další

Zdroj: Machine Learning. 113:8533-8584

Témata: Machine Learning, FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Differentiable reasoning, Artificial Intelligence, Computer Vision and Pattern Recognition (cs.CV), Inductive logic programming, Computer Vision and Pattern Recognition, Neuro-symbolic AI, Graph neural network, Machine Learning (cs.LG)

Přístupová URL adresa: http://arxiv.org/abs/2307.00928

Automating Hypothesis Generation and Testing: Towards Self-driving Biology

Autoři: Brunnsåker, Daniel, 1992

Témata: mass spectrometry, systems biology, machine learning, laboratory automation, Automation of science, inductive logic programming, metabolomics

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/548360
https://research.chalmers.se/publication/548360/file/548360_Fulltext.pdf

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

Autoři: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security a další

Přispěvatelé: FIEKE HILLERSTRÖM GERTJAN BURGHOUTS DSS - Defence, Safety & Security a další

Zdroj: Theory and Practice of Logic Programming, 24(4), pp. 628-643.

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Artificial Intelligence (cs.AI), Sensory data, Computer Science - Artificial Intelligence, Probabilistic background knowledge, Inductive logic programming, Neurosymbolic inference, Relational patterns, Machine Learning (cs.LG)

Přístupová URL adresa: http://arxiv.org/abs/2408.11367
https://publications.tno.nl/publication/34643722/h3r4B1wu/TNO-2025-P10140.pdf
https://resolver.tno.nl/uuid:b366fa16-c6b6-46b1-9fb7-c67b83ea456e

Learning answer set programs with aggregates via sampling and genetic programming

Autoři: Azzolini D.

Zdroj: Machine Learning. 114

Témata: Answer set programming, Genetic programming, Inductive logic programming

Přístupová URL adresa: https://link.springer.com/article/10.1007/s10994-025-06780-7
https://doi.org/10.1007/s10994-025-06780-7
https://hdl.handle.net/11392/2590650

Counterfactual Explanations for Dynamic Multi-Valued Logic

Autoři: Ribeiro, Tony Folschette, Maxime Magnin, Morgan a další

Přispěvatelé: Ribeiro, Tony Folschette, Maxime Magnin, Morgan a další

Témata: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], logical modeling, counterfactual explanations, inductive logic programming, Explainable artificial intelligence, dynamic systems

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-05230575v1

Task-To-Processor Assignment for Real-Time Mixed-Critical Networked Systems Using Inductive Logic Programming

Autoři: Gualtieri, Marcus Juette, Christian Dasari, Dakshina a další

Přispěvatelé: Gualtieri, Marcus Juette, Christian Dasari, Dakshina a další

Témata: Auto-Configuration, Task-to-Processor Mapping, Active Learning, ddc:004, Real-Time Distributed Systems, Inductive Logic Programming

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2025.14

Online Inductive Learning from Answer Sets for Efficient Reinforcement Learning Exploration

Autoři: Veronese, Celeste Meli, Daniele Farinelli, Alessandro

Zdroj: Communications in Computer and Information Science ISBN: 9783031893650

Témata: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Answer Set Programming, Explainable AI, Inductive Logic Programming, Neurosymbolic AI, Reinforcement Learning

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2501.07445
https://hdl.handle.net/11562/1164088
https://doi.org/10.1007/978-3-031-89366-7_7

Inductive learning of robot task knowledge from raw data and online expert feedback

Autoři: Meli, Daniele Fiorini, Paolo

Zdroj: Machine Learning. 114

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Answer set programming, Inductive logic programming, Learning under uncertainty, Logic in Computer Science (cs.LO), Computer Science - Robotics, Artificial Intelligence (cs.AI), Online learning, Symbolic planning, Explainable AI, Human-robot interaction, Robotics (cs.RO)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2501.07507

Agentic AI Integrated with Scientific Knowledge: Laboratory Validation in Systems Biology

Autoři: Brunnsåker, Daniel Gower, Alexander Naval, Prajakta a další

Témata: systems biology, automation of science, inductive logic programming, machine learning, Laboratory automation, large language models

Přístupová URL adresa: https://research.chalmers.se/publication/548359

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation

Autoři: Hillerström, F.H.J. Burghouts, G.J. DSS - Defence, Safety & Security a další

Přispěvatelé: Hillerström, F.H.J. Burghouts, G.J. DSS - Defence, Safety & Security a další

Zdroj: Theory and Practice of Logic Programming, 24(4), pp. 628-643.

Témata: Sensory data, Probabilistic background knowledge, Inductive logic programming, Neurosymbolic inference, Relational patterns

Přístupová URL adresa: https://publications.tno.nl/publication/34643722/h3r4B1wu/TNO-2025-P10140.pdf
https://resolver.tno.nl/uuid:b366fa16-c6b6-46b1-9fb7-c67b83ea456e

MP-SPILDL: A Massively Parallel Inductive Logic Learner in Description Logic

Autoři: Eyad Algahtani

Zdroj: IEEE Access, Vol 12, Pp 130884-130895 (2024)

Témata: big data, Machine learning, GPU, inductive logic programming, description logic, MapReduce, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Přístupová URL adresa: https://doaj.org/article/d43473e2e4474178882045687413fe83

MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic

Autoři: Eyad Algahtani

Zdroj: IEEE Access, Vol 12, Pp 89113-89123 (2024)

Témata: big data, Machine learning, GPU, 0202 electrical engineering, electronic engineering, information engineering, inductive logic programming, description logic, MapReduce, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, TK1-9971

Přístupová URL adresa: https://doaj.org/article/25dbc1dd646a41fb9826342a8e6be4fb

Explainable AI for Sperm Morphology: Integrating YOLO with FastLAS

Autoři: Dreossi T. Dovier A. Urli S. a další

Přispěvatelé: Dreossi T. Dovier A. Urli S. a další

Témata: AI Explainability, ASP, Inductive Logic Programming, Object Detection

Relation: ispartofbook:CEUR Workshop Proceedings; 40th Italian Conference on Computational Logic, CILC 2025; volume:4003; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11390/1312465

Dostupnost: https://hdl.handle.net/11390/1312465

Learning Brave Assumption-Based Argumentation Frameworks via ASP

Autoři: Emanuele De Angelis Maurizio Proietti Francesca Toni

Zdroj: Frontiers in Artificial Intelligence and Applications ISBN: 9781643685489
32nd International Conference on Inductive Logic Programming, Bari, 13-15/11/2023
info:cnr-pdr/source/autori:Emanuele De Angelis; Maurizio Proietti; Francesca Toni/congresso_nome:32nd International Conference on Inductive Logic Programming/congresso_luogo:Bari/congresso_data:13-15%2F11%2F2023/anno:2023/pagina_da:/pagina_a:/intervallo_pagine

Témata: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Logic-based Learning, Answer Set Programming, Computer Science - Artificial Intelligence, Logic-based machine learning, Computational Argumentation, Inductive logic programming, Symbolic Machine Learning, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), Assumption-Based Argumentation

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2408.10126
https://ilp2023.unife.it/wp-content/uploads/2023/11/Learning-Brave-Assumption-Based-Argumentation-Frameworks-via-ASP_De_Angelis_Proietti_Toni.pdf
https://publications.cnr.it/doc/489123
http://www.cnr.it/prodotto/i/489123

Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming (Extended Version)

Autoři: Goncalves, Rafael Gouveia, Filipe Lynce, Ines a další

Témata: Machine Learning, Proxy Attributes, Fairness, Inductive Logic Programming

Object Identity Reloaded—A Comprehensive Reference for an Efficient and Effective Framework for Logic-Based Machine Learning

Autoři: Stefano Ferilli

Zdroj: Electronics ; Volume 14 ; Issue 8 ; Pages: 1523

Témata: machine learing, inductive logic programming, incrementality, object identity

Popis souboru: application/pdf

Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics14081523

Dostupnost: https://doi.org/10.3390/electronics14081523

Relational data factorization

Autoři: Paramonov, Sergey van Leeuwen, Matthijs De Raedt, Luc

Zdroj: Machine Learning. 106(12):1867-1904

Témata: Answer set programming, Inductive logic programming, Pattern mining, Relational data, Factorization, Data mining, Declarative modeling

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-84427
https://doi.org/10.1007/s10994-017-5660-6

Inductive Programming Meets the Real World.

Autoři: GULWANI, SUMIT HERNÁNDEZ-ORALLO, JOSÉ KITZELMANN, EMANUEL a další

Zdroj: Communications of the ACM. Nov2015, Vol. 58 Issue 11, p90-99. 10p. 1 Color Photograph, 2 Diagrams, 7 Charts.

Témata: *APPLICATION software, *ELECTRONIC spreadsheets, *SCRIPTING languages (Computer science), INDUCTIVE logic programming, END users (Information technology), INTELLIGENT tutoring systems