Search Results - "Non-monotonic Inductive Logic Programming"

Iterative Learning of Answer Set Programs from Context Dependent Examples

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

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

Source: 32nd International Conference on Logic Programming

Subject Terms: 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

Access 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

Learning weak constraints in answer set programming

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

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

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

Subject Terms: 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

Access 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 Learning of Answer Set Programs from Noisy Examples

Authors: Law, Mark Russo, Alessandra Broda, Krysia

Index Terms: Computer Science - Artificial Intelligence, text

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

An Inductive Approach for Modal Transition System Refinement

Authors: Alrajeh, Dalal Kramer, Jeff Russo, Alessandra et al.

Index Terms: Modal Transition Systems, Refinement, Inductive Logic Programming, Event Calculus, Data processing Computer science, InProceedings, publishedVersion

Conflict-Driven Inductive Logic Programming.

Authors: LAW, MARK

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

Subject Terms: INDUCTION (Logic), LOGIC programming

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming.

Authors: KATZOURIS, NIKOS PALIOURAS, GEORGIOS ARTIKIS, ALEXANDER

Source: Theory & Practice of Logic Programming; Mar2023, Vol. 23 Issue 2, p362-386, 25p

Subject Terms: ONLINE education, MACHINE learning, SET theory, LOGIC programming, CALCULUS, HUMAN activity recognition

Revising Institutions Governed by Institutions for Compliant Regulations.

Authors: King, Thomas C. Li, Tingting De Vos, Marina et al.

Source: Coordination, Organizations, Institutions & Normes in Agent Systems XI; 2016, p191-208, 18p

Iterative Learning of Answer Set Programs from Context Dependent Examples.

Authors: LAW, MARK RUSSO, ALESSANDRA BRODA, KRYSIA et al.

Source: Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p834-848, 15p

Subject Terms: ITERATIVE learning control, INDUCTIVE logic programming, ALGORITHMS, COMPUTER programming, NONMONOTONIC logic

Techniques to enhance efficiency and effectiveness of inductive logic programming systems: the TWEETY approaches.

Authors: Liu, Chongbing Pontelli, Enrico

Source: Journal of Experimental & Theoretical Artificial Intelligence; Jan2014, Vol. 26 Issue 1, p51-107, 57p

Subject Terms: INDUCTIVE logic programming, HEURISTIC algorithms, ARTIFICIAL intelligence, COMPUTER science, HEURISTIC programming

An Inductive approach for modal transition system refinement

Authors: Alrajeh, D. Kramer, J. Russo, A. et al.

Subject Terms: Event calculus, Inductive logic programming, Modal transition system, Refinement, Automated support, Key characteristics, Modal Transition Systems, Modelling softwares, Partial specifications, Real case, Inductive logic programming (ILP), Specifications

Relation: https://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh

Availability: https://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh

An Inductive approach for modal transition system refinement

Subject Terms: Event calculus, Inductive logic programming, Modal transition system, Refinement, Automated support, Key characteristics, Modal Transition Systems, Modelling softwares, Partial specifications, Real case, Inductive logic programming (ILP), Specifications

Relation: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh; https://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh

Availability: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_18688969_v11_n_p106_Alrajeh
https://hdl.handle.net/20.500.12110/paper_18688969_v11_n_p106_Alrajeh

Reasoning Web. Explainable Artificial Intelligence

Authors: Markus Krötzsch Daria Stepanova

Resource Type: eBook.

Subjects: Database management, Data mining, Artificial intelligence, Information technology—Management, Machine theory

Categories: COMPUTERS / Database Administration & Management, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General

Coordination, Organizations, Institutions, and Norms in Agent Systems XI

Authors: Virginia Dignum Pablo Noriega Murat Sensoy et al.

Resource Type: eBook.

Subjects: Artificial intelligence, Computer networks, Software engineering, Application software, Computer science, User interfaces (Computer systems), Human-computer interaction

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

Latest Advances In Inductive Logic Programming

Authors: Stephen Muggleton Hiroaki Watanabe

Resource Type: eBook.

Subjects: Logic programming, Induction (Logic), Machine learning

Categories: COMPUTERS / Logic Design, COMPUTERS / Machine Theory, COMPUTERS / Artificial Intelligence / Natural Language Processing

Declarative Agent Languages and Technologies X

Authors: Matteo Baldoni Louise Dennis Viviana Mascardi et al.

Resource Type: eBook.

Subjects: Artificial intelligence, Computer science, Software engineering

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Business Process Management Workshops : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers

Authors: Michael zur Muehlen Jianwen Su

Resource Type: eBook.

Subjects: Information technology—Management, Business information services, Application software, Software engineering

Categories: COMPUTERS / Business & Productivity Software / General, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General

Pathway Modeling and Algorithm Research

Authors: Mastorakis, Nikos E.

Resource Type: eBook.

Subjects: Fault-tolerant computing, Mobile computing, Algorithms

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Open Source, COMPUTERS / Software Development & Engineering / Tools

Machine Learning Methods for Commonsense Reasoning Processes : Interactive Models

Authors: Xenia Naidenova

Resource Type: eBook.

Subjects: Recursive partitioning, Correlation (Statistics), Machine learning

Categories: COMPUTERS / Interactive & Multimedia, COMPUTERS / Hardware / Chips & Processors, TECHNOLOGY & ENGINEERING / General