TY - GEN
T1 - Foundations of logic programming in hybridised logics
AU - Găină, Daniel
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand’s theorem, are developed over a very general hybrid logical system.We employ the hybridisation process proposed by Diaconescu over an arbitrary logical system captured as an institution to define the logic programming framework.
AB - The present paper sets the foundation of logic programming in hybridised logics. The basic logic programming semantic concepts such as query and solutions, and the fundamental results such as the existence of initial models and Herbrand’s theorem, are developed over a very general hybrid logical system.We employ the hybridisation process proposed by Diaconescu over an arbitrary logical system captured as an institution to define the logic programming framework.
UR - http://www.scopus.com/inward/record.url?scp=84955308006&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84955308006&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-28114-8_5
DO - 10.1007/978-3-319-28114-8_5
M3 - Conference contribution
AN - SCOPUS:84955308006
SN - 9783319281131
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 69
EP - 89
BT - Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers
A2 - Ţuţu, Ionuţ
A2 - Codescu, Mihai
A2 - Diaconescu, Răzvan
PB - Springer Verlag
T2 - 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
Y2 - 4 September 2014 through 7 September 2014
ER -