BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.Baral E.Pontelli T.C.Son
Talks about:
logic (2) knowledg (1) program (1) applic (1) studi (1) model (1) find (1) case (1)

Person: Gregory Gelfond

DBLP DBLP: Gelfond:Gregory

Contributed to:

ICLP 20102010

Wrote 1 papers:

ICLP-J-2010-BaralGPS #case study #logic #logic programming #modelling
Logic programming for finding models in the logics of knowledge and its applications: A case study (CB, GG, EP, TCS), pp. 675–690.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.