Foundations of logic programming in hybridised logics

Daniel Găină

doi:10.1007/978-3-319-28114-8_5

Foundations of logic programming in hybridised logics

Daniel Găină

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers
Editors	Ionuţ Ţuţu, Mihai Codescu, Răzvan Diaconescu
Publisher	Springer Verlag
Pages	69-89
Number of pages	21
ISBN (Print)	9783319281131
DOIs	https://doi.org/10.1007/978-3-319-28114-8_5
Publication status	Published - 2015
Externally published	Yes
Event	22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 - Sinaia, Romania Duration: Sept 4 2014 → Sept 7 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9463
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
Country/Territory	Romania
City	Sinaia
Period	9/4/14 → 9/7/14

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-319-28114-8_5

Cite this

Găină, D. (2015). Foundations of logic programming in hybridised logics. In I. Ţuţu, M. Codescu, & R. Diaconescu (Eds.), Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers (pp. 69-89). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9463). Springer Verlag. https://doi.org/10.1007/978-3-319-28114-8_5

Foundations of logic programming in hybridised logics. / Găină, Daniel.
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. ed. / Ionuţ Ţuţu; Mihai Codescu; Răzvan Diaconescu. Springer Verlag, 2015. p. 69-89 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9463).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Găină, D 2015, Foundations of logic programming in hybridised logics. in I Ţuţu, M Codescu & R Diaconescu (eds), Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9463, Springer Verlag, pp. 69-89, 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014, Sinaia, Romania, 9/4/14. https://doi.org/10.1007/978-3-319-28114-8_5

Găină D. Foundations of logic programming in hybridised logics. In Ţuţu I, Codescu M, Diaconescu R, editors, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Springer Verlag. 2015. p. 69-89. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-28114-8_5

Găină, Daniel. / Foundations of logic programming in hybridised logics. Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. editor / Ionuţ Ţuţu ; Mihai Codescu ; Răzvan Diaconescu. Springer Verlag, 2015. pp. 69-89 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{bd9085b25c0f43c7be3b7aba8e9cdd7a,

title = "Foundations of logic programming in hybridised logics",

abstract = "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{\textquoteright}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.",

author = "Daniel G{\u a}in{\u a}",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 ; Conference date: 04-09-2014 Through 07-09-2014",

year = "2015",

doi = "10.1007/978-3-319-28114-8_5",

language = "English",

isbn = "9783319281131",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "69--89",

editor = "Ionu{\c t} {\c T}u{\c t}u and Mihai Codescu and R{\u a}zvan Diaconescu",

booktitle = "Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers",

address = "Germany",

}

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 -

Foundations of logic programming in hybridised logics

Abstract

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this