×

Found 328 Documents (Results 1–100)

Anti-unification of unordered goals. (English) Zbl 07830393

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 37, 17 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

DeduDeep: an extensible framework for combining deep learning and ASP-based models. (English) Zbl 07671912

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, 505-510 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

Learning to rank the distinctiveness of behaviour in serial offending. (English) Zbl 07671910

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, 484-497 (2022).
MSC:  68N17 68T27
PDFBibTeX XMLCite
Full Text: DOI

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

Is impredicativity implicitly implicit? (English) Zbl 1535.03067

Bezem, Marc (ed.) et al., 25th international conference on types for proofs and programs. TYPES 2019, June 11–14, 2019, Oslo, Norway. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 175, Article 9, 19 p. (2020).
MSC:  03B40 68N18
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

Inductive learning from state transitions over continuous domains. (English) Zbl 1455.68180

Lachiche, Nicolas (ed.) et al., Inductive logic programming. 27th international conference, ILP 2017, Orléans, France, September 4–6, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10759, 124-139 (2018).
MSC:  68T05 37M10 68N17
PDFBibTeX XMLCite
Full Text: DOI HAL

Learning dynamics with synchronous, asynchronous and general semantics. (English) Zbl 1455.68179

Riguzzi, Fabrizio (ed.) et al., Inductive logic programming. 28th international conference, ILP 2018, Ferrara, Italy, September 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11105, 118-140 (2018).
MSC:  68T05 68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI HAL

Efficient Mendler-style lambda-encodings in Cedille. (English) Zbl 1511.68053

Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 235-252 (2018).
MSC:  68N18 03B40 68V20
PDFBibTeX XMLCite
Full Text: DOI arXiv

The definitional side of the forcing. (English) Zbl 1394.68063

Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 367-376 (2016).
MSC:  68N18 03B40 03E40 03G30 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI HAL

Type theory in type theory using quotient inductive types. (English) Zbl 1347.68045

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 18-29 (2016).
MSC:  68N18 03B15 03B40 03B70 68N30
PDFBibTeX XMLCite
Full Text: DOI Link

Learning probabilistic action models from interpretation transitions. (English) Zbl 1407.68407

De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 14 p. (2015).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: Link

Relational and semantic data mining (invited talk). (English) Zbl 1467.68046

Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 20-31 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Mendler-style iso-(co)inductive predicates: a strongly normalizing approach. (English) Zbl 1458.68039

Ronchi Della Rocca, Simona (ed.) et al., Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 81, 30-46 (2012).
MSC:  68N30 03B16 03B70
PDFBibTeX XMLCite
Full Text: arXiv Link

Abduction in annotated probabilistic temporal logic. (English) Zbl 1245.68056

Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011).
MSC:  68N17 03B48 68T37
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software