×

Found 121 Documents (Results 1–100)

Prolog technology reinforcement learning prover (system description). (English) Zbl 07614694

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 489-507 (2020).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logic programming and machine ethics. (English) Zbl 07455700

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 6-17 (2020).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Constraint learning: an appetizer. (English) Zbl 07817424

Krötzsch, Markus (ed.) et al., Reasoning web. Explainable artificial intelligence. 15th international summer school 2019, Bolzano, Italy, September 20–24, 2019. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 11810, 232-249 (2019).
MSC:  68T05 68T20
PDFBibTeX XMLCite
Full Text: DOI

Knowledge representation and rule mining in entity-centric knowledge bases. (English) Zbl 07817421

Krötzsch, Markus (ed.) et al., Reasoning web. Explainable artificial intelligence. 15th international summer school 2019, Bolzano, Italy, September 20–24, 2019. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 11810, 110-152 (2019).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI HAL

Learning definable hypotheses on trees. (English) Zbl 07561484

Barcelo, Pablo (ed.) et al., 22nd international conference on database theory, ICDT 2019, March 26–28, 2019, Lisbon, Portugal. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 127, Article 24, 18 p. (2019).
MSC:  68P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards ethical machines via logic programming. (English) Zbl 07453129

Bogaerts, Bart (ed.) et al., Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20–25, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 306, 333-339 (2019).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

On distinguishing sets of structures by first-order sentences of minimal quantifier rank. (English) Zbl 1434.03090

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).
MSC:  03C13 68W40
PDFBibTeX XMLCite
Full Text: DOI

From reinforcement learning to deep reinforcement learning: an overview. (English) Zbl 1518.68283

Rozonoer, Lev (ed.) et al., Braverman readings in machine learning. Key ideas from inception to current state. International conference commemorating the 40th anniversary of Emmanuil Braverman’s decease, Boston, MA, USA, April 28–30, 2017. Invited talks. Cham: Springer. Lect. Notes Comput. Sci. 11100, 298-328 (2018).
MSC:  68T05 68T07
PDFBibTeX XMLCite
Full Text: DOI

Statistical relational learning with soft quantifiers. (English) Zbl 1347.68330

Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 60-75 (2016).
MSC:  68T37 68T05 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

A proposal for extending formal concept analysis to knowledge graphs. (English) Zbl 1312.68187

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 271-286 (2015).
MSC:  68T30 68R10 68T05
PDFBibTeX XMLCite
Full Text: DOI HAL

Learning through hypothesis refinement using answer set programming. (English) Zbl 1319.68166

Zaverucha, Gerson (ed.) et al., Inductive logic programming. 23rd international conference, ILP 2013, Rio de Janeiro, Brazil, August 28–30, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44922-6/pbk; 978-3-662-44923-3/ebook). Lecture Notes in Computer Science 8812. Lecture Notes in Artificial Intelligence, 31-46 (2014).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

Abduction-based search for cooperative answers. (English) Zbl 1348.68269

Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 208-224 (2011).
MSC:  68T42 68N17 68T20
PDFBibTeX XMLCite
Full Text: DOI

Reducing one class of machine learning algorithms to logical operations of plausible reasoning. (English. Russian original) Zbl 1308.68100

J. Comput. Syst. Sci. Int. 48, No. 3, 401-414 (2009); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2009, No. 3, 73-88 (2009).
MSC:  68T05 68T37
PDFBibTeX XMLCite
Full Text: DOI

Analytical inductive functional programming. (English) Zbl 1185.68197

Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 87-102 (2009).
MSC:  68N18
PDFBibTeX XMLCite
Full Text: DOI

A comparison between two statistical relational models. (English) Zbl 1156.68548

Železný, Filip (ed.) et al., Inductive logic programming. 18th international conference, ILP 2008, Prague, Czech Republic, September 10–12, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85927-7/pbk). Lecture Notes in Computer Science 5194. Lecture Notes in Artificial Intelligence, 244-260 (2008).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

Using ILP to construct features for information extraction from semi-structured text. (English) Zbl 1136.68501

Blockeel, Hendrik (ed.) et al., Inductive logic programming. 17th international conference, ILP 2007, Corvallis, OR, USA, June 19–21, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78468-5/pbk). Lecture Notes in Computer Science 4894. Lecture Notes in Artificial Intelligence, 211-224 (2008).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

Relational sequence learning. (English) Zbl 1137.68545

De Raedt, Luc (ed.) et al., Probabilistic inductive logic programming. Theory and applications. Berlin: Springer (ISBN 978-3-540-78651-1/pbk). Lecture Notes in Computer Science 4911. Lecture Notes in Artificial Intelligence, 28-55 (2008).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic inductive logic programming. (English) Zbl 1137.68530

De Raedt, Luc (ed.) et al., Probabilistic inductive logic programming. Theory and applications. Berlin: Springer (ISBN 978-3-540-78651-1/pbk). Lecture Notes in Computer Science 4911. Lecture Notes in Artificial Intelligence, 1-27 (2008).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI Link

A debugging scheme for functional logic programs. (English) Zbl 1268.68062

Hanus, Michael (ed.), WFLP 2001. Selected papers of the international workshop on functional and (constraint) logic programming, Kiel, Germany, September 13–15, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 64, 18-55 (2002).
MSC:  68N30 68N17 68N18
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