Foundations of logic programming in hybridised logics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 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 languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers
EditorsIonuţ Ţuţu, Mihai Codescu, Răzvan Diaconescu
PublisherSpringer Verlag
Pages69-89
Number of pages21
ISBN (Print)9783319281131
DOIs
Publication statusPublished - Jan 1 2015
Event22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014 - Sinaia, Romania
Duration: Sep 4 2014Sep 7 2014

Publication series

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

Conference

Conference22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014
CountryRomania
CitySinaia
Period9/4/149/7/14

Fingerprint

Logic programming
Logic Programming
Logic
Hybrid systems
Semantics
Query
Arbitrary
Theorem
Model

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Gaina, D. M. (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. / Gaina, Daniel Mircea.

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 proceedingConference contribution

Gaina, DM 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
Gaina DM. 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)). https://doi.org/10.1007/978-3-319-28114-8_5
Gaina, Daniel Mircea. / 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’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 = "Gaina, {Daniel Mircea}",
year = "2015",
month = "1",
day = "1",
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ţ Ţuţu and Mihai Codescu and Ră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 - Gaina, Daniel Mircea

PY - 2015/1/1

Y1 - 2015/1/1

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

ER -