Crossmark

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming

Crossref DOI link: https://doi.org/10.1007/978-3-030-45260-5_9

Published Online: 2020-04-22

Published Print: 2020

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Arias, Joaquín http://orcid.org/0000-0003-4148-311X
Chen, Zhuo http://orcid.org/0000-0003-2322-9070
Carro, Manuel http://orcid.org/0000-0001-5199-3135
Gupta, Gopal http://orcid.org/0000-0001-9727-0362
License Information

Text and Data Mining valid from 2020-01-01
More Information

Chapter History

First Online: 22 April 2020

Conference Information

Conference Acronym: LOPSTR

Conference Name: International Symposium on Logic-Based Program Synthesis and Transformation

Conference City: Porto

Conference Country: Portugal

Conference Year: 2019

Conference Start Date: 8 October 2019

Conference End Date: 10 October 2019

Conference Number: 29

Conference ID: lopstr2019

Conference URL: http://www.cs.unibo.it/projects/lopstr19/

Peer Review Information (provided by the conference organizers)

Type: Single-blind

Conference Management System: Easychair

Number of Submissions Sent for Review: 32

Number of Full Papers Accepted: 15

Number of Short Papers Accepted: 0

Acceptance Rate of Full Papers: 47% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 3

Average Number of Papers per Reviewer: 6

External Reviewers Involved: No