×

Found 9,378 Documents (Results 1–100)

100
MathJax

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

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, 262-281 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

A lazy desugaring system for evaluating programs with sugars. (English) Zbl 07570124

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, 243-261 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

A functional account of probabilistic programming with possible worlds. Declarative pearl. (English) Zbl 07570121

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, 186-204 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Automated generation of control concepts annotation rules using inductive logic programming. System description. (English) Zbl 07570120

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, 171-185 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Unified program generation and verification: a case study on number-theoretic transform. (English) Zbl 07570118

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, 133-151 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Translation certification for smart contracts. (English) Zbl 07570116

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, 94-111 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Program logic for higher-order probabilistic programs in Isabelle/HOL. (English) Zbl 07570114

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, 57-74 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Asynchronous unfold/fold transformation for fixpoint logic. (English) Zbl 07570113

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, 39-56 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. (English) Zbl 07528570

Lecture Notes in Computer Science 13215. Cham: Springer (ISBN 978-3-030-99460-0/pbk; 978-3-030-99461-7/ebook). xvi, 283 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Assumption-based argumentation is logic programming with projection. (English) Zbl 07542341

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 173-186 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

An abstract argumentation and logic programming comparison based on 5-valued labellings. (English) Zbl 07542340

Vejnarová, Jiřina (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 16th European conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12897, 159-172 (2021).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI

Towards a trustworthy semantics-based language framework via proof generation. (English) Zbl 07498194

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 477-499 (2021).
MSC:  68N15 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Ghost signals: verifying termination of busy waiting. (English) Zbl 07498173

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 27-50 (2021).
MSC:  68N19 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Testing your (static analysis) truths. (English) Zbl 07496652

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Prioritise the best variation. (English) Zbl 1490.68141

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021).
MSC:  68Q85 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Testing in ASP: revisited language and programming environment. (English) Zbl 07437052

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 362-376 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Estimating grounding sizes of logic programs under answer set semantics. (English) Zbl 07437051

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 346-361 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

On syntactic forgetting under uniform equivalence. (English) Zbl 07437048

Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 297-312 (2021).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software