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

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, K...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org
Main Authors: Bogaerts, Bart, Erdem, Esra, Fodor, Paul, misano, Andrea, Ianni, Giovambattista, Inclezan, Daniela, Vidal, German, Villanueva, Alicia, De Vos, Marina, Yang, Fangkai
Format: Paper
Language:English
Published: Ithaca Cornell University Library, arXiv.org 17.09.2019
Subjects:
Agents (artificial intelligence)
Artificial intelligence
Concurrency
Cybersecurity
Data integration
Debugging
Declarative programming
Distributed memory
Domain specific languages
Functional programming
Knowledge representation
Logic programming
Mathematical programming
Memory management
Natural language processing
Object oriented programming
Probabilistic inference
Robotics
Semantic web
Semantics
Software engineering
Solvers
User interfaces
Virtual environments
Virtual memory systems
ISSN:2331-8422
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.
AbstractList Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics.
Author Inclezan, Daniela
Yang, Fangkai
Bogaerts, Bart
Vidal, German
Villanueva, Alicia
Fodor, Paul
misano, Andrea
Erdem, Esra
De Vos, Marina
Ianni, Giovambattista
Author_xml – sequence: 1
  givenname: Bart
  surname: Bogaerts
  fullname: Bogaerts, Bart
– sequence: 2
  givenname: Esra
  surname: Erdem
  fullname: Erdem, Esra
– sequence: 3
  givenname: Paul
  surname: Fodor
  fullname: Fodor, Paul
– sequence: 4
  givenname: Andrea
  surname: misano
  fullname: misano, Andrea
– sequence: 5
  givenname: Giovambattista
  surname: Ianni
  fullname: Ianni, Giovambattista
– sequence: 6
  givenname: Daniela
  surname: Inclezan
  fullname: Inclezan, Daniela
– sequence: 7
  givenname: German
  surname: Vidal
  fullname: Vidal, German
– sequence: 8
  givenname: Alicia
  surname: Villanueva
  fullname: Villanueva, Alicia
– sequence: 9
  givenname: Marina
  surname: De Vos
  fullname: De Vos, Marina
– sequence: 10
  givenname: Fangkai
  surname: Yang
  fullname: Yang, Fangkai
BookMark eNotj01PhDAYhBujieu6P8BbEy96AF_68QJHQ1zdhEQPXDxt2lJYNtAqBePPl1VPM4d5JjNX5Nx5Zwm5SSAWmZTwoMbv7itOcshjSFHgGVkxzpMoE4xdkk0IRwBgmDIp-Yq8v43eWFt3rg2Uy-lAd26yo1NT553qaeFdY0frjKXe0dK3naEL0o5qGBaG3lXWHFxnfqPDMJ_sCQ331-SiUX2wm39dk2r7VBUvUfn6vCsey0hJlkdcaGkAkww1WA0GUQiQXCZpw2xWS9RYC661ViiUSJtmSWIOMgOslwuKr8ntX-3H6D9nG6b90c_L_j7sGcuZBMA05z8YslS0
ContentType Paper
Copyright 2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.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: 2019. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.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.1909.07646
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic
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
  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-a529-34b5c06186b0eb0c6644053517f2e8d56b6d43bbba64a47ff1866905806d725a3
IEDL.DBID M7S
IngestDate Mon Jun 30 09:18:41 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a529-34b5c06186b0eb0c6644053517f2e8d56b6d43bbba64a47ff1866905806d725a3
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2292500679?pq-origsite=%requestingapplication%
PQID 2292500679
PQPubID 2050157
ParticipantIDs proquest_journals_2292500679
PublicationCentury 2000
PublicationDate 20190917
PublicationDateYYYYMMDD 2019-09-17
PublicationDate_xml – month: 09
  year: 2019
  text: 20190917
  day: 17
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2019
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.6996744
SecondaryResourceType preprint
Snippet Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Agents (artificial intelligence)
Artificial intelligence
Concurrency
Cybersecurity
Data integration
Debugging
Declarative programming
Distributed memory
Domain specific languages
Functional programming
Knowledge representation
Logic programming
Mathematical programming
Memory management
Natural language processing
Object oriented programming
Probabilistic inference
Robotics
Semantic web
Semantics
Software engineering
Solvers
User interfaces
Virtual environments
Virtual memory systems
Title Proceedings 35th International Conference on Logic Programming (Technical Communications)
URI https://www.proquest.com/docview/2292500679
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3PS8MwFA66KXjyN_6YIwcPeujWNj97EpQNBR1Fd9hOI0kT3MFutnP455tk3cYQvHgsoVBeyPtev_flewBcE8OQyngWaOrajMrQgGcmcipzTWIjlZLexPWZ9Xp8MEjSinArK1nlMif6RJ1NlOPI23GcWLR2tMfd9DNwU6Ncd7UaobEN6s4lIfLSvbcVxxJTZitmtGhmeuuutii-x_OWRcGkZf_gMf2Vgj2udPf_-0UHoJ6KqS4OwZbOj8Cu13Oq8hgM0xUwlRCR2TvcoP7g-qIfnOTQDVxWMF1ItT7sO_DGU-5uA-HGFZLy9gT0u53-w2NQTVEIBImTAGFJVOhc8WWoZaioLYCcp0vETKx5RqikGUZSSkGxwMwY54CXhISHNLPRE-gU1PJJrs8ARLZ0wpQSIbXB0ghOeMJjRLAxhFmYOweNZaBG1UkoR-soXfy9fAn2bDHi9VsRa4DarPjSV2BHzWfjsmiC-n2nl742_Qbbp_TpJR3-ACE6sNk
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT8JAEJ4gaPTkOz5Q96CJHipl2922B-NBJRCQNJEDnkh3uxs5WLBF1B_lf3R3oRBi4o2D5z6S9pvOTGe--QbgnEjP4bEfW4LqNiOX1PJjWdUsc0GwZJwzI-La8tptv9sNwgJ857MwmlaZ-0TjqOMB1zXyCsaBita67HE7fLP01ijdXc1XaEzMoim-PtQvW3bTuFf4XmBce-jc1a3pVgErIjiwHJcRbmuVeGYLZnOqEgKtcVL1JBZ-TCijseswxiLqRq4npVaEC2zi2zT2MIkcddsVKKksAgeGKfg0K-lgqk4gzqR3apTCKlH62R9fq6AbXNsedekvj2_CWG3zn72ALSiF0VCk21AQyQ6sGbYqz3bhOZyF3Qw5ZPSCFgqbaD7GiAYJ0uukOQonRLRXdQ26NA0FbZ5oYUAmu9qDzjIeZh-KySARB4AcBalLKYmYkC6TkU_8wMcOcaUkngrih1DOcelNv_OsNwfl6O_DZ7Be7zy2eq1Gu3kMGyrtMky1qleG4ih9FyewysejfpaeGptC0FsyhD8NDgaU
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+35th+International+Conference+on+Logic+Programming+%28Technical+Communications%29&rft.jtitle=arXiv.org&rft.au=Bogaerts%2C+Bart&rft.au=Erdem%2C+Esra&rft.au=Fodor%2C+Paul&rft.au=misano%2C+Andrea&rft.date=2019-09-17&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1909.07646