Výsledky vyhledávání - "35th International Conference on Logic Programming"

Introduction to the 35th International Conference on Logic Programming Special Issue

Autoři: ESRA ERDEM ANDREA FORMISANO GERMÁN VIDAL a další

Přispěvatelé: ESRA ERDEM ANDREA FORMISANO GERMÁN VIDAL a další

Zdroj: Theory and Practice of Logic Programming. 19:630-635

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5C8A8945F95A45FF3E0EBF648471DEDA/S1471068419000413a.pdf/div-class-title-introduction-to-the-35th-international-conference-on-logic-programming-special-issue-div.pdf
http://arxiv.org/abs/1908.03719
https://arxiv.org/pdf/1908.03719.pdf
https://arxiv.org/abs/1908.03719
https://research.sabanciuniv.edu/40912/
https://dblp.uni-trier.de/db/journals/corr/corr1908.html#abs-1908-03719
https://hdl.handle.net/11390/1187431
https://doi.org/10.1017/S1471068419000413

Proceedings 35th International Conference on Logic Programming (Technical Communications): LP Based Integration of Computing and Science Education in Middle Schools

Autoři: Yuanlin Zhang Fox Bolduc Jianlan Wang a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:361-364

Proceedings 35th International Conference on Logic Programming (Technical Communications): Reasoning about Problems of Actual Causation Using an Action Language Approach

Autoři: Emily C. Leblanc Joost Vennekens Marcello Balduccini

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:67-70

Témata: 0102 computer and information sciences, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences

Proceedings 35th International Conference on Logic Programming (Technical Communications): Pre-Mappable Constraints in Recursive Programs

Autoři: Ariyam Das Jiaqi Gu Jin Wang a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:255-258

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Proceedings 35th International Conference on Logic Programming (Technical Communications): Tree Decomposition Rewritings for Optimizing Logic Programs under Answer Set Semantics

Autoři: Francesco Calimeri Jessica Zangari Simona Perri

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:330-332

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards a General Framework for Static Cost Analysis of Parallel Logic Programs

Autoři: Pedro López-García Manuel V. Hermenegildo José F. Morales a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:238-240

Introduction to the 35th International Conference on Logic Programming Special Issue

Autoři: Erdem, Esra Formisano, Andrea Vidal, German a další

Témata: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1908.03719

Proceedings of the 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019

Autoři: Bart Bogaerts Esra Erdem Paul Fodor a další

Přístupová URL adresa: https://hdl.handle.net/20.500.11770/349501

Proceedings 35th International Conference on Logic Programming (Technical Communications)

Autoři: Bogaerts, Bart Erdem, Esra Fodor, Paul a další

Přispěvatelé: Bogaerts, Bart Erdem, Esra Fodor, Paul a další

Zdroj: arXiv: Logic in Computer Science.

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/1909.07646
https://researchportal.vub.be/en/publications/proceedings-35th-international-conference-on-logic-programming-te
https://ui.adsabs.harvard.edu/abs/2019arXiv190907646B/abstract
http://arxiv.org/pdf/1909.07646.pdf
https://arxiv.org/abs/1909.07646
https://biblio.vub.ac.be/vubir/proceedings-35th-international-conference-on-logic-programming-technical-communications-iclp-2019-technical-communications-las-cruces-nm-usa-september-2025-2019(9e3982ac-3f22-4ab3-a901-658f8165578c).html
https://doi.org/10.4204/eptcs.306

Proceedings 35th International Conference on Logic Programming (Technical Communications): Preface

Autoři: Alicia Villanueva Daniela Inclezan Giovambattista Ianni a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings 35th International Conference on Logic Programming (Technical Communications): On Improving Unit Testing in IDEs for ASP (Extended Abstract)

Autoři: Giovanni Amendola Francesco Ricca Tobias Berei

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:85-86

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Proceedings 35th International Conference on Logic Programming (Technical Communications): Hybrid Answer Set Programming for Design Space Exploration

Autoři: Kai Neubauer Torsten Schaub Philipp Wanko a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:359-360

Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards Computing Abstract Distances in Logic Programs

Autoři: Manuel V. Hermenegildo José F. Morales Ignacio Casso a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:65-66

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings 35th International Conference on Logic Programming (Technical Communications): Towards Dynamic Answer Set Programming over Finite Traces

Autoři: Pedro Cabalar Martín Diéguez Torsten Schaub

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:357-358

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Proceedings 35th International Conference on Logic Programming (Technical Communications): Founded Semantics and Constraint Semantics of Logic Rules: An Overview

Autoři: Yanhong A. Liu Scott D. Stoller

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:367-368

Proceedings 35th International Conference on Logic Programming (Technical Communications): Strong Equivalence for Epistemic Logic Programs Made Easy: Extended Abstract

Autoři: Stefan Woltran Wolfgang Faber Michael Morak

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:365-366

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Proceedings 35th International Conference on Logic Programming (Technical Communications): Strong Equivalence for LPMLN Programs

Autoři: Man Luo

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:418-419

Proceedings 35th International Conference on Logic Programming (Technical Communications): Digital Forensics and Investigations Meet Artificial Intelligence

Autoři: Stefania Costantini Giovanni De Gasperis Raffaele Olivieri

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:355-356

Proceedings 35th International Conference on Logic Programming (Technical Communications): Weight Learning in a Probabilistic Extension of Answer Set Programs (Extended Abstract)

Autoři: Yi Wang Joohyung Lee

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:369-370

Témata: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Proceedings 35th International Conference on Logic Programming (Technical Communications): Reward Machines: Structuring Reward Function Specifications and Reducing Sample Complexity in Reinforcement Learning

Autoři: Sheila A. McIlraith

Zdroj: Electronic Proceedings in Theoretical Computer Science. 306:3-3