Imperial College London
Dr Fariba Sadri

DrFaribaSadri

Faculty of Engineering, Department of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inbook{Kowalski:2023:10.1007/978-3-031-35254-6_17,
author = {Kowalski, R and Sadri, F and Calejo, M and Dávila, J},
booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
doi = {10.1007/978-3-031-35254-6_17},
pages = {210--223},
title = {Combining Logic Programming and Imperative Programming in LPS},
url = {http://dx.doi.org/10.1007/978-3-031-35254-6_17},
year = {2023}
}
Download

RIS format (EndNote, RefMan)

TY  - CHAP
AB  - Logic programs and imperative programs employ different notions of computing. Logic programs compute by proving that a goal is a logical consequence of the program, or by showing that the goal is true in a model defined by the program. Imperative programs compute by starting from an initial state, executing actions to transition from one state to the next, and terminating (if at all) in a final state when the goal is solved. In this paper, we present the language LPS (Logic Production Systems), which combines the logic programming and imperative programming notions of computing. Programs in LPS compute by using beliefs, represented by logic programs, to model the changing world, and by executing actions, to change the world, to satisfy goals, represented by reactive rules and constraints.
AU  - Kowalski,R
AU  - Sadri,F
AU  - Calejo,M
AU  - Dávila,J
DO  - 10.1007/978-3-031-35254-6_17
EP  - 223
PY  - 2023///
SP  - 210
TI  - Combining Logic Programming and Imperative Programming in LPS
T1  - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
UR  - http://dx.doi.org/10.1007/978-3-031-35254-6_17
ER  -
Download