×

Found 9,773 Documents (Results 1–100)

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Artificial bee colony optimized precompensated interval type-2 fuzzy logic controller for a magnetic levitation system. (English) Zbl 07799448

Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 43-56 (2023).
MSC:  93C42 90C59 93C10
PDFBibTeX XMLCite
Full Text: DOI

A higher-order language for Markov kernels and linear operators. (English) Zbl 07770333

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 89-112 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Preferential voting and applications: approaches based on data envelopment analysis. (English) Zbl 07731954

Studies in Systems, Decision and Control 471. Cham: Springer (ISBN 978-3-031-30402-6/hbk; 978-3-031-30405-7/pbk; 978-3-031-30403-3/ebook). ix, 185 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reversible debugging in logic programming. (English) Zbl 07729482

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 266-280 (2023).
MSC:  68N17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proof-theoretic foundations of normal logic programs. (English) Zbl 07729480

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 233-252 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Modularization of logic programs. (English) Zbl 07729479

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 222-232 (2023).
MSC:  68N17 68Q55 68T30
PDFBibTeX XMLCite
Full Text: DOI

Layerings of logic programs – layer decomposable semantics and incremental model computation. (English) Zbl 07729478

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 206-221 (2023).
MSC:  68N17 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Answer set programming made easy. (English) Zbl 07729474

Lopez-Garcia, Pedro (ed.) et al., Analysis, verification and transformation for declarative programming and intelligent systems. Essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13160, 133-150 (2023).
MSC:  68N17 68T27 68T30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Statistical relational extension of answer set programming. (English) Zbl 07729284

Bertossi, Leopoldo (ed.) et al., Reasoning web. Causality, explanations and declarative knowledge. 18th international summer school 2022, Berlin, Germany, September 27–30, 2022. Tutorial lectures. Cham: Springer. Lect. Notes Comput. Sci. 13759, 132-160 (2023).
MSC:  68T05 68N17
PDFBibTeX XMLCite
Full Text: DOI

Program semantics and verification technique for AI-centred programs. (English) Zbl 07728858

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 473-491 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Reasoning about promises in weak memory models with event structures. (English) Zbl 07728848

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 282-300 (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Prolog: the next 50 years. (English) Zbl 1517.68030

Lecture Notes in Computer Science 13900. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-031-35253-9/pbk; 978-3-031-35254-6/ebook). xvi, 394 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Intuitionistic fuzzy knapsack problem trough the index matrices prism. (English) Zbl 1521.90108

Georgiev, Ivan (ed.) et al., Numerical methods and applications. 10th international conference, NMA 2022, Borovets, Bulgaria, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13858, 314-326 (2023).
MSC:  90C27 90C70
PDFBibTeX XMLCite
Full Text: DOI

Mathematical methods for engineering applications. ICMASE 2022, Bucharest, Romania, July 4–7, 2022. (English) Zbl 1515.65007

Springer Proceedings in Mathematics & Statistics 414. Cham: Springer (ISBN 978-3-031-21699-2/hbk; 978-3-031-21702-9/pbk; 978-3-031-21700-5/ebook). vii, 293 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

A gaze into the internal logic of graph neural networks, with logic. (English) Zbl 07793284

Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 93-106 (2022).
MSC:  68T05 68N17 68T27
PDFBibTeX XMLCite
Full Text: arXiv Link

Jumping evaluation of nested regular path queries. (English) Zbl 07793283

Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 79-92 (2022).
MSC:  68P15 68N17 68P05
PDFBibTeX XMLCite
Full Text: arXiv Link

Tree-like justification systems are consistent. (English) Zbl 07793276

Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 1-11 (2022).
MSC:  03B60 68N17
PDFBibTeX XMLCite
Full Text: arXiv Link

Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. (English) Zbl 1522.68036

Electronic Proceedings in Theoretical Computer Science (EPTCS) 364. Waterloo: Open Publishing Association (OPA). 242 p., electronic only, open access (2022).
MSC:  68-06 68N17 00B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Polarized subtyping. (English) Zbl 07722322

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 431-461 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

A dependent dependency calculus. (English) Zbl 07722321

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 403-430 (2022).
MSC:  68N30 03B70 68N18
PDFBibTeX XMLCite
Full Text: DOI arXiv

A framework for substructural type systems. (English) Zbl 07722320

Sergey, Ilya (ed.), Programming languages and systems. 31st European symposium on programming, ESOP 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13240, 376-402 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software