A Well-founded Semantics for Hybrid MKNF Knowledge Bases

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (Scopus)
19 Downloads (Pure)
Original languageEnglish
Title of host publicationCEUR Workshop Proceedings
Pages347-354
Number of pages8
Volume250
Publication statusPublished - 1 Jan 2007
EventInternational Workshop on Description Logics (DL2007) -
Duration: 1 Jan 2007 → …

Conference

ConferenceInternational Workshop on Description Logics (DL2007)
Period1/01/07 → …

Keywords

  • Logic programming
  • stable models
  • Semantics
  • Fix point construction

Cite this