×

Found 113 Documents (Results 1–100)

A comparative study of three neural-symbolic approaches to inductive logic programming. (English) Zbl 1515.68260

Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 56-61 (2022).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data. (English) Zbl 07570123

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 224-242 (2022).
MSC:  68N17 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

Using inductive rule learning techniques to learn planning domains. (English) Zbl 1512.68289

Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 855, 642-656 (2018).
MSC:  68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Predicting the evolution of communities with online inductive logic programming. (English) Zbl 1487.68189

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 4, 20 p. (2018).
MSC:  68T05 68N17 91D30
PDFBibTeX XMLCite
Full Text: DOI

Markov logic. An interface layer for artificial intelligence. With contributions by Jesse Davis, Tuyen Huynh, Stanley Kok, Lilyana Mihalkova, Raymond J. Mooney, Aniruddh Nath, Hoifung Poon, Matthew Richardson, Parag Singla, Marc Sumner, and Jue Wang. (English) Zbl 1202.68403

Synthesis Lectures on Artificial Intelligence and Machine Learning 7. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-59829-692-1/pbk; 978-1-598-29693-8/ebook). ix, 145 p. (2009).
MSC:  68T27 68T05 68-02
PDFBibTeX XMLCite
Full Text: DOI

Inductive logic, verisimilitude, and machine learning. (English) Zbl 1105.03306

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 295-314 (2005).
MSC:  03B48 03A05 68T05
PDFBibTeX XMLCite

Inductive synthesis of functional programs. (English) Zbl 1072.68525

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 26-37 (2002).
PDFBibTeX XMLCite
Full Text: Link

Induction of decision multi-trees using Levin search. (English) Zbl 1048.68579

Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 1. Berlin: Springer (ISBN 3-540-43591-3). Lect. Notes Comput. Sci. 2329, 166-175 (2002).
MSC:  68T05 68P10
PDFBibTeX XMLCite
Full Text: Link

Modeling user behavior by integrating AQ learning with a database: Initial results. (English) Zbl 1088.68560

Kłopotek, Mieczysław A. (ed.) et al., Intelligent information systems 2002. Proceedings of the IIS’ 2002 symposium, Sopot, Poland, June 3–6, 2002. Heidelberg: Physica-Verlag (ISBN 3-7908-1509-8/pbk). Advances in Soft Computing, 43-56 (2002).
MSC:  68P15 68T05
PDFBibTeX XMLCite

Rough problem settings for inductive logic programming. (English) Zbl 0954.68030

Zhong, Ning (ed.) et al., New directions in rough sets, data mining, and granular-soft computing. 7th international workshop, RSFDGrC ’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1711, 168-177 (1999).
MSC:  68N17 68T05
PDFBibTeX XMLCite

Confirmation theory. (English) Zbl 0944.91012

Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Dordrecht: Kluwer Academic Publishers. 135-167 (1998).
PDFBibTeX XMLCite

Inductive logic programming. (English) Zbl 0962.68027

Brewka, Gerhard (ed.), Principles of knowledge representation. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 153-189 (1996).
MSC:  68N17 68T05
PDFBibTeX XMLCite

Inductive learning from incomplete and imprecise examples. (English) Zbl 0800.68689

Bouchon-Meunier, Bernadette (ed.) et al., Uncertainty in knowledge bases. 3rd international conference on information processing and management of uncertainty in knowlege-based systems, IPMU ’90. Paris, France, July 2-6, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 521, 423-430 (1991).
MSC:  68T05
PDFBibTeX XMLCite

Machine learning - EWSL ’91. European working session on learning, Porto, Portugal, March 6-8, 1991. Proceedings. (English) Zbl 0788.68006

Lecture Notes in Computer Science 482. Lecture Notes in Artificial Intelligence. Berlin etc.: Springer-Verlag. XI, 537 p. (1991).
MSC:  68-06 68T05 00B25
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software