ICLP'23 Workshop on Goal-directed Execution of Answer Set Programs

Accepted papers:

Anitha Murugesan, Isaac Hong Wong, Robert Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan and John Rushby. "Semantic Analysis of Assurance Cases using s(CASP)"

Steve Moyle, Nicholas Allott and John Manslow. "Modelling Cyber Defenses using s(CASP)"

Joaquín Arias, Mar Moreno-Rebato, Jose Antonio Rodríguez and Sascha Ossowski. "Value awareness and process automation: a reflection through school place allocation models (Extended Abstract)"

Parth Padalkar, Huaduo Wang and Gopal Gupta. "NeSyFOLD: Extracting Logic Programs from Convolutional Neural Networks"

Jason Morris. "Building Blawx"

Abhiramon Rajasekharan, Yankai Zeng and Gopal Gupta. "Argument analysis using Answer Set Programming and Semantics-guided Large Language Models"

Galileo Sartor, Jacinto Davila, Alessia Fidelangeli and Giuseppe Pisano. "(Re)Integration of Logical English and s(CASP) "