Proceedings 38th International Conference on Logic Programming

ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concur...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:arXiv.org
Hlavní autori: Lierler, Yuliya, Morales, Jose F, Dodaro, Carmine, Dahl, Veronica, Gebser, Martin, Tekle, Tuncay
Médium: Paper
Jazyk:English
Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.08.2022
Predmet:
Agents (artificial intelligence)
Artificial intelligence
Big Data
Cybersecurity
Data integration
Declarative programming
Distributed memory
Domain specific languages
Knowledge representation
Logic programming
Machine learning
Mathematical programming
Memory management
Natural language processing
Robotics
Semantics
Software engineering
User interfaces
Virtual environments
Virtual memory systems
ISSN:2331-8422
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.
AbstractList ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.
Author Lierler, Yuliya
Tekle, Tuncay
Morales, Jose F
Gebser, Martin
Dodaro, Carmine
Dahl, Veronica
Author_xml – sequence: 1
  givenname: Yuliya
  surname: Lierler
  fullname: Lierler, Yuliya
– sequence: 2
  givenname: Jose
  surname: Morales
  middlename: F
  fullname: Morales, Jose F
– sequence: 3
  givenname: Carmine
  surname: Dodaro
  fullname: Dodaro, Carmine
– sequence: 4
  givenname: Veronica
  surname: Dahl
  fullname: Dahl, Veronica
– sequence: 5
  givenname: Martin
  surname: Gebser
  fullname: Gebser, Martin
– sequence: 6
  givenname: Tuncay
  surname: Tekle
  fullname: Tekle, Tuncay
BookMark eNotjk1LxDAURYMoOI7zA9wFXLemL03zshGk-DFQ0MXsh2ea1A6dRJOO-PMt6OouLufce8XOQwyOsZtKlDUqJe4o_YzfJYDAUkCD6oytQMqqwBrgkm1yPgixFBqUkit2_5aida4fw5C5xPmDb8PsUqB5jIEm3sbgXXLBOh4D7-IwWr4gQ6LjcWGu2YWnKbvNf67Z7ulx174U3evztn3oClKAhVa-p96Q0FUlUZBdFoUD5dFrMkobbdF5Qcq-Y2WsRqFMX9c9aG8aJCPX7PZP-5ni18nleX-Ip-XklPfQGDQIDaD8BYShS9o
ContentType Paper
Copyright 2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2022. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.2208.02685
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials - QC
ProQuest Central
ProQuest Technology Collection
ProQuest One Community College
ProQuest Central Korea
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
Proquest Central Premium
ProQuest One Academic (New)
ProQuest Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: ProQuest Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a528-75fdad9a0711380accee0e25f8f7a95797c8ef0a5cb819c78059d44d27f968a93
IEDL.DBID M7S
IngestDate Mon Jun 30 09:27:45 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a528-75fdad9a0711380accee0e25f8f7a95797c8ef0a5cb819c78059d44d27f968a93
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2698982628?pq-origsite=%requestingapplication%
PQID 2698982628
PQPubID 2050157
ParticipantIDs proquest_journals_2698982628
PublicationCentury 2000
PublicationDate 20220804
PublicationDateYYYYMMDD 2022-08-04
PublicationDate_xml – month: 08
  year: 2022
  text: 20220804
  day: 04
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2022
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.8028504
SecondaryResourceType preprint
Snippet ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming,...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Agents (artificial intelligence)
Artificial intelligence
Big Data
Cybersecurity
Data integration
Declarative programming
Distributed memory
Domain specific languages
Knowledge representation
Logic programming
Machine learning
Mathematical programming
Memory management
Natural language processing
Robotics
Semantics
Software engineering
User interfaces
Virtual environments
Virtual memory systems
Title Proceedings 38th International Conference on Logic Programming
URI https://www.proquest.com/docview/2698982628
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB60VfDkGx-17MHr2m32keSioLTowRK0h3oqk8eiB7d1txZ_vkm6bRHBi8cQ8mASJh8z3-QDuLSImGXa8DDTMYaJlpH1g2ibnEiTIOdURl5sgg4GbDTiog64VTWtcukTvaPWE-Vi5B3ilQ5JRtjN9CN0qlEuu1pLaGxC0_2S0PXUvedVjIVk1CLmeJHM9F93dbD8eptfEeIolCRj6S8X7N-V_u5_d7QHTYFTU-7DhikOYNvzOVV1CNdi9TBVQcxmr8GP0F-wLvQLJkXgBJdVIBZUrXc75giG_d7w7j6spRJCTAkLaZpr1BwtXujG1tbKrhAZkuYsp-gScVQxk0eYKmkRgHI6BlwniSY05xlDHh9Do5gU5gQC6vS9pQUuGMkECUMaMWSYSjstJTk7hdbSGuP6ulfjtSnO_u4-hx3i6gcc5yJpQWNWfpoL2FLz2VtVtqF52xuIp7Y_RdsSD4_i5Rumgqd8
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwELaqFgQTb_Eo4AHG0HB52B6AAahatVSR6NAtcmxHdCAtSSnwo_iP2G7TCiGxMTBGUSLr7Hx3ufvuPoTOdERMQ6mYE0qPO75MXI2DXF8ySJTPGSOJa8UmSK9HBwMWVdBn2QtjaJUlJlqgliNhcuQNsEqHEAK9Gb84RjXKVFdLCY3Zseiojzf9y1Zcte_0_p4DNO_7ty1nrirg8ACoQ4JUcsm4dq2Xnl6W0F7CVRCkNCXc1KyIoCp1eSAS7SyFGfnPpO9LICkLKTezlzTi13QUAcwyBR8XKR0IiQ7QvVnt1E4Ka_D8fTi9ADCMTQhp8APxrRtrbvwzA2yiWsTHKt9CFZVto1XLVhXFDrqOFm63wB6dPOFviU28bGPEowwbOWmBoxkR7Vk_s4v6f7HiPVTNRpnaR5gY9fJEh2XcTXwOlBOXcsqDRL-WQEoPUL00fjz_mIt4afnD32-forVW_6Ebd9u9zhFaB9MpYdglfh1VJ_mrOkYrYjoZFvmJPTgYxX-8T1921ACF
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Proceedings+38th+International+Conference+on+Logic+Programming&rft.jtitle=arXiv.org&rft.au=Lierler%2C+Yuliya&rft.au=Morales%2C+Jose+F&rft.au=Dodaro%2C+Carmine&rft.au=Dahl%2C+Veronica&rft.date=2022-08-04&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.2208.02685