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
Externally publishedYes
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

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Foundations of logic programming in hybridised logics'. Together they form a unique fingerprint.

  • 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