home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Artificial Intelligence
, Volume 138
Volume 138, Number 1-2, June 2002
Knowledge Representation and Logic Programming
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/GelfondL02
ask others
Google
Google Scholar
MS Academic Search
PubZone
Michael Gelfond
,
Nicola Leone
:
Knowledge Representation and Logic Programming.
1
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/GelfondL02a
ask others
Google
Google Scholar
MS Academic Search
PubZone
Michael Gelfond
,
Nicola Leone
:
Logic programming and knowledge representation - The A-Prolog perspective.
3-38
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/Lifschitz02
ask others
Google
Google Scholar
MS Academic Search
PubZone
Vladimir Lifschitz
:
Answer set programming and plan generation.
39-54
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/GottlobSS02
ask others
Google
Google Scholar
MS Academic Search
PubZone
Georg Gottlob
,
Francesco Scarcello
,
Martha Sideri
:
Fixed-parameter complexity in AI and nonmonotonic reasoning.
55-86
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/AlferesPPP02
ask others
Google
Google Scholar
MS Academic Search
PubZone
José Júlio Alferes
,
Luís Moniz Pereira
,
Halina Przymusinska
,
Teodor C. Przymusinski
:
LUPSA language for updating logic programs.
87-116
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/CuiS02
ask others
Google
Google Scholar
MS Academic Search
PubZone
Baoqiu Cui
,
Terrance Swift
:
Preference Logic Grammars: Fixed point semantics and application to data standardization.
117-147
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/MarekPT02
ask others
Google
Google Scholar
MS Academic Search
PubZone
V. Wiktor Marek
,
Inna Pivkina
,
Miroslaw Truszczynski
:
Annotated revision programs.
149-180
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/ai/SimonsNS02
ask others
Google
Google Scholar
MS Academic Search
PubZone
Patrik Simons
,
Ilkka Niemelä
,
Timo Soininen
:
Extending and implementing the stable model semantics.
181-234