BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Israel
1 × Italy
1 × Japan
1 × Spain
5 × USA
Collaborated with:
V.Lifschitz H.Przymusinska Y.Zhang V.S.Mellarkod J.Lobo A.Gabaldon S.Baselice P.A.Bonatti C.Baral O.Kosheleva T.C.Przymusinski M.Truszczynski M.Nogueira M.Balduccini R.Watson M.Barry
Talks about:
program (6) logic (6) answer (3) set (3) constraint (2) system (2) integr (2) extend (2) solv (2) relationship (1)

Person: Michael Gelfond

DBLP DBLP: Gelfond:Michael

Facilitated 2 volumes:

ICLP 2011Ed
ICLP 2011Ed

Contributed to:

ICLP 20142014
FLOPS 20082008
ICLP 20082008
ICLP 20052005
ICLP 20042004
PADL 20012001
ILPS 19971997
ILPS 19931993
JICSLP 19921992
KR 19911991
ICLP 19901990
ICLP/SPL 19881988
PODS 19861986

Wrote 13 papers:

ICLP-J-2014-GelfondZ #logic programming #source code
Vicious Circle Principle and Logic Programs with Aggregates (MG, YZ), pp. 587–601.
FLOPS-2008-MellarkodG #constraints #reasoning #set #theorem proving
Integrating Answer Set Reasoning with Constraint Solving Techniques (VSM, MG), pp. 15–31.
ICLP-2008-GelfondL #policy
Authorization and Obligation Policies in Dynamic Systems (MG, JL), pp. 22–36.
ICLP-2005-BaseliceBG #constraints #integration #set #theorem proving #towards
Towards an Integration of Answer Set and Constraint Solving (SB, PAB, MG), pp. 52–66.
ICLP-2004-Gelfond #design #programming #set
Answer Set Programming and the Design of Deliberative Agents (MG), pp. 19–26.
PADL-2001-NogueiraBGWB #prolog
An A-Prolog Decision Support System for the Space Shuttle (MN, MB, MG, RW, MB), pp. 169–183.
ILPS-1997-GelfondG #functional #logic programming #specification
From Functional Specifications to Logic Programms (MG, AG), pp. 355–369.
ILPS-1993-BaralGK #approximate #logic programming #source code
Approximating General Logic Programs (CB, MG, OK), pp. 181–198.
JICSLP-1992-GelfondL #logic programming #representation
Representing Actions in Extended Logic Programming (MG, VL), pp. 559–573.
Disjective Defaults (MG, HP, VL, MT), pp. 230–237.
CLP-1990-GelfondL90 #logic programming #source code
Logic Programs with Classical Negation (MG, VL), pp. 579–597.
JICSCP-1988-GelfondL88 #logic programming #semantics
The Stable Model Semantics for Logic Programming (MG, VL), pp. 1070–1080.
PODS-1986-GelfondPP #parallel
The Extended Closed World Assumpution and its Relationship to Parallel Circumscription (MG, HP, TCP), pp. 133–139.

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.