Entry Costantini:1995:CSM from tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Costantini:1995:CSM,
author = "Stefania Costantini",
title = "Contributions to the stable model semantics of logic
programs with negation",
journal = j-THEOR-COMP-SCI,
volume = "149",
number = "2",
pages = "231--255",
day = "02",
month = oct,
year = "1995",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Jul 19 22:19:25 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1995&volume=149&issue=2;
http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1995&volume=149&issue=2&aid=1893",
acknowledgement = ack-nhfb,
classification = "C4210L (Formal languages and computational
linguistics); C6110L (Logic programming)",
corpsource = "Dipartimento di Sci. dell'Inf., Milan Univ., Italy",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "computational linguistics; default logic; instance
abduction; logic programming; logic programs; negation;
nonmonotonic reasoning; stable model semantics",
pubcountry = "Netherlands",
treatment = "T Theoretical or Mathematical",
}
Related entries
- abduction,
184(1)1,
189(1)129
- C6110L,
135(1)67,
142(1)27,
142(1)59,
142(1)89,
142(1)125,
142(2)141,
146(1)243,
149(2)201,
151(1)37,
155(1)157,
158(1)279,
160(1)283,
165(1)171,
165(1)201,
166(1)101,
166(1)221,
169(1)81,
170(1)209,
170(1)383,
171(1)61,
171(1)77,
171(1)147,
173(1)3,
173(1)89,
173(1)113,
173(1)151,
173(1)183,
173(1)209,
173(1)235,
173(1)253,
173(1)283,
173(2)485,
176(1)175,
179(1)273,
182(1)183,
183(2)281,
184(1)1,
184(1)105,
185(1)47,
185(1)191,
185(2)319,
190(2)211,
190(2)241,
192(1)77,
192(1)107,
192(2)259,
193(1)149,
194(1)245-2,
197(1)247
- Contributions,
183(1)1,
207(1)13
- default,
160(1)321,
170(1)209,
170(1)383,
171(1)111,
177(1)155,
220(2)489
- instance,
160(1)217,
161(1)123,
166(1)221,
179(1)301,
194(1)207
- negation,
146(1)145,
155(1)157,
160(1)283,
170(1)209,
170(1)383,
171(1)61,
184(1)1,
184(1)105,
192(1)77
- nonmonotonic,
155(1)157,
160(1)321,
166(1)221,
170(1)209,
171(1)111,
177(1)155,
184(1)1
- reasoning,
137(1)25,
138(1)201,
142(2)277,
151(2)437,
152(2)219,
152(2)269,
155(1)157,
160(1)321,
160(1)365,
166(1)1,
166(1)221,
166(1)291,
167(1)47,
169(2)161,
170(1)129,
170(1)209,
171(1)61,
171(1)111,
171(1)221,
171(1)247,
173(2)311,
177(1)155,
182(1)183,
183(2)253,
184(1)1,
185(1)15,
185(2)277,
189(1)129,
190(2)241,
192(1)3,
192(2)201,
224(1)291
- stable,
138(1)201,
141(1)53,
146(1)331,
153(1)129,
155(1)157,
159(2)271,
166(1)203,
166(1)221,
170(1)209,
187(1)49,
200(1)45