Suchergebnisse - Non-monotonic Inductive Logic Programming

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

inductive logic programming as abductive search

Autoren: Corapi, Domenico Russo, Alessandra Lupu, Emil et al.

Weitere Verfasser: Corapi, Domenico Russo, Alessandra Lupu, Emil et al.

Schlagwörter: Non-monotonic Reasoning, Abductive Logic Programming, ddc:004, Inductive Logic Programming

Dateibeschreibung: application/pdf

Zugangs-URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.54

Proceedings 40th International Conference on Logic Programming

Autoren: Cabalar, Pedro Fabiano, Francesco Gebser, Martin et al.

Index Begriffe: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2502.08453

Multiple Predicate Learning in Two Inductive Logic Programming Settings: Multiple predicate learning in two inductive logic programming settings

Autoren: De Raedt, Luc Lavrac, Nada

Quelle: Logic Journal of IGPL. 4:227-254

Schlagwörter: computational logic, Learning and adaptive systems in artificial intelligence, 0202 electrical engineering, electronic engineering, information engineering, inductive logic programming, 0102 computer and information sciences, 02 engineering and technology, inductive machine learning, Logic programming, 01 natural sciences

Dateibeschreibung: application/xml

Zugangs-URL: https://lirias.kuleuven.be/bitstream/123456789/134688/1/96_igpl.pdf
https://zbmath.org/877754
https://lirias.kuleuven.be/handle/123456789/134688
https://doi.org/10.1093/jigpal/4.2.227

Learning weak constraints in answer set programming

Autoren: Law, M Russo, A Broda, K et al.

Weitere Verfasser: Law, M Russo, A Broda, K et al.

Quelle: Theory and Practice of Logic Programming. 15:511-525

Schlagwörter: Preference Learning, FOS: Computer and information sciences, Technology, Science & Technology, Answer Set Programming, Logic, Computer Science - Artificial Intelligence, Theory & Methods, INDUCTION, Software Engineering, 0803 Computer Software, 0801 Artificial Intelligence And Image Processing, 02 engineering and technology, Computer Science, Software Engineering, 16. Peace & justice, Computation Theory & Mathematics, Artificial Intelligence (cs.AI), Non-monotonic Inductive Logic Programming, Computer Science, Theory & Methods, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics

Zugangs-URL: http://arxiv.org/pdf/1507.06566
http://arxiv.org/abs/1507.06566
http://ui.adsabs.harvard.edu/abs/2015arXiv150706566L/abstract
https://spiral.imperial.ac.uk/handle/10044/1/33615
https://dblp.uni-trier.de/db/journals/tplp/tplp15.html#LawRB15
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/learning-weak-constraints-in-answer-set-programming/E4835EB9377FAC96D94F650973D95CCE
https://spiral.imperial.ac.uk/bitstream/10044/1/33615/8/AcceptedVersion.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1507.html#LawRB15
https://arxiv.org/pdf/1507.06566
https://arxiv.org/abs/1507.06566
http://hdl.handle.net/10044/1/33615

Inductive Logic Programming

Autoren: Elena Bellodi Francesca Alessandra Lisi Riccardo Zese

Resource Type: eBook.

Schlagworte: Logic programming--Congresses, Induction (Logic)--Congresses, Machine learning--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Inductive Logic Programming

Autoren: Stephen H. Muggleton Alireza Tamaddoni-Nezhad

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer engineering, Computer networks, Compilers (Computer programs), Computer science, Machine theory

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Learning Brave Assumption-Based Argumentation Frameworks via ASP

Autoren: Emanuele De Angelis Maurizio Proietti Francesca Toni

Quelle: 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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-URL: 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

Introducing possibilistic logic in ILP for dealing with exceptions

Autoren: Serrurier, Mathieu Prade, Henri Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA) et al.

Weitere Verfasser: Serrurier, Mathieu Prade, Henri Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA) et al.

Quelle: Artificial Intelligence. 171:939-950

Schlagwörter: Possibilistic logic, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Non-monotonic reasoning, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Inductive logic programming, 02 engineering and technology

Zugangs-URL: https://dl.acm.org/doi/10.1016/j.artint.2007.04.016
https://www.sciencedirect.com/science/article/pii/S0004370207000914
https://core.ac.uk/display/81951757
https://dblp.uni-trier.de/db/journals/ai/ai171.html#SerrurierP07
http://www.sciencedirect.com/science/article/pii/S0004370207000914
https://hal.archives-ouvertes.fr/hal-03033452

Iterative Learning of Answer Set Programs from Context Dependent Examples

Autoren: Broda, KB Law, M Russo, A et al.

Weitere Verfasser: Broda, KB Law, M Russo, A et al.

Quelle: 32nd International Conference on Logic Programming

Schlagwörter: FOS: Computer and information sciences, Technology, Science & Technology, Answer Set Programming, Logic, Computer Science - Artificial Intelligence, 0803 Computer Software, 0801 Artificial Intelligence And Image Processing, 0102 computer and information sciences, 02 engineering and technology, Computer Science, Software Engineering, 01 natural sciences, Iterative Learning, Computation Theory & Mathematics, Artificial Intelligence (cs.AI), Non-monotonic Inductive Logic Programming, Computer Science, Theory & Methods, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics

Zugangs-URL: http://arxiv.org/pdf/1608.01946
http://arxiv.org/abs/1608.01946
https://ui.adsabs.harvard.edu/abs/2016arXiv160801946L/abstract
https://dblp.uni-trier.de/db/journals/corr/corr1608.html#LawRB16
https://spiral.imperial.ac.uk/handle/10044/1/42063
https://doi.org/10.1017/S1471068416000351
https://spiral.imperial.ac.uk/bitstream/10044/1/42063/4/ArchiveVersion.pdf
http://dblp.uni-trier.de/db/journals/corr/corr1608.html#LawRB16
http://hdl.handle.net/10044/1/42063
http://hdl.handle.net/10044/1/52844

Conflict-Driven Inductive Logic Programming.

Autoren: LAW, MARK

Quelle: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p387-414, 28p

Schlagwörter: INDUCTION (Logic), LOGIC programming

Inductive Logic Programming At 30: A New Introduction.

Autoren: Cropper, Andrew Dumančić, Sebastijan

Quelle: Journal of Artificial Intelligence Research; 2022, Vol. 74, p765-850, 86p

Schlagwörter: INDUCTIVE logic programming, MACHINE learning, HYPOTHESIS, DIMENSIONS, COMPUTER programming

Inductive Logic Programming : 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings

Autoren: Dimitar Kazakov Can Erten

Resource Type: eBook.

Schlagworte: Artificial intelligence, Machine theory, Computer science, Compilers (Computer programs), Application software, Computer networks

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General

Applications of Partial Inductive Definitions. Conclusions from some projects run at SICS KBS-lab 1986-1992

Autoren: Kreuger, Per

Quelle: SICS Technical Report.

Schlagwörter: knowledge based systems, logic programming, non monotonic reasoning, programming language GCLA

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21197
https://ri.diva-portal.org/smash/get/diva2:1041231/FULLTEXT01.ps

Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Autoren: Fabrizio Riguzzi Elena Bellodi Riccardo Zese

Resource Type: eBook.

Schlagworte: Artificial intelligence, Computer science, Compilers (Computer programs), Computer programming, Information technology—Management

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General

The complexity and generality of learning answer set programs.

Autoren: Law, Mark Russo, Alessandra Broda, Krysia

Quelle: Artificial Intelligence. Jun2018, Vol. 259, p110-146. 37p.

Schlagwörter: *INDUCTIVE logic programming, *LEARNING ability, *REASONING, *DECISION making, *TASK performance

Inductive logic programming at 30.

Autoren: Cropper, Andrew Dumančić, Sebastijan Evans, Richard et al.

Quelle: Machine Learning; Jan2022, Vol. 111 Issue 1, p147-172, 26p

Schlagwörter: INDUCTION (Logic), LOGIC programming, MACHINE learning

Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers

Autoren: James Cussens Alessandra Russo

Resource Type: eBook.

Schlagworte: Artificial intelligence, Machine theory, Computer programming, Computer science, Data mining

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General

An abductive-inductive algorithm for probabilistic inductive logic programming

Autoren: Dragiev, S Russo, A Broda, K et al.

Quelle: 26th International Conference on Inductive Logic Programming

Zugangs-URL: http://hdl.handle.net/10044/1/56328

Inductive Logic Programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Autoren: Katsumi Inoue Hayato Ohwada Akihiro Yamamoto

Resource Type: eBook.

Schlagworte: Machine theory, Artificial intelligence, Computer programming, Computer science, Data mining

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / General, MATHEMATICS / Probability & Statistics / General