×

Found 9,268 Documents (Results 1–100)

100
MathJax

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, 170 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

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 07493474

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

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

A design of GPU-based quantitative model checking. (English) Zbl 1472.68091

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 441-463 (2021).
MSC:  68Q60 03B44 68N30
PDF BibTeX XML Cite
Full Text: DOI

A synchronous effects logic for temporal verification of pure Esterel. (English) Zbl 1472.68020

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 417-440 (2021).
MSC:  68N15 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Generative program analysis and beyond: the power of domain-specific languages (invited paper). (English) Zbl 1472.68042

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 29-51 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Verified software units. (English) Zbl 1473.68035

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 118-147 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimal design of interval type-2 fuzzy tracking controllers of mobile robots using a metaheuristic algorithm. (English) Zbl 1471.93159

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 315-341 (2021).
MSC:  93C42 93C85 90C59
PDF BibTeX XML Cite
Full Text: DOI

Optimization of fuzzy trajectory tracking in autonomous mobile robots based on bio-inspired algorithms. (English) Zbl 1471.93158

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 249-271 (2021).
MSC:  93C42 93C85 90C59
PDF BibTeX XML Cite
Full Text: DOI

Optimal design of fuzzy logic systems through a chicken search optimization algorithm applied to a benchmark problem. (English) Zbl 07392108

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 229-247 (2021).
MSC:  68-XX 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Fuzzy dynamic parameter adaptation for particle swarm optimization of modular granular neural networks applied to time series prediction. (English) Zbl 07392105

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 189-204 (2021).
MSC:  68-XX 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Comparative study of type-1 and interval type-2 fuzzy systems in parameter adaptation of the fuzzy flower pollination algorithm. (English) Zbl 07392102

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 145-161 (2021).
MSC:  68-XX 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Comparison of genetic algorithm and particle swarm optimization of ensemble neural networks for complex time series prediction. (English) Zbl 07392097

Melin, Patricia (ed.) et al., Recent advances of hybrid intelligent systems based on soft computing. Cham: Springer. Stud. Comput. Intell. 915, 51-77 (2021).
MSC:  68Txx 90Cxx
PDF BibTeX XML Cite
Full Text: DOI

Computational thinking: a perspective on computer science. (English) Zbl 07385350

Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
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