A logic programming approach to knowledge-state planning, 2: the DLVk system

Saved in:
Bibliographic Details
Published in:Artificial intelligence 2003-03, Vol.144 (1-2), p.157-211
Main Authors: Eiter, T, Faber, W, Leone, N, Pfeifer, G, Polleres, A
Format: Article
Language:English
Subjects:
Artificial intelligence
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 211
container_issue 1-2
container_start_page 157
container_title Artificial intelligence
container_volume 144
creator Eiter, T
Faber, W
Leone, N
Pfeifer, G
Polleres, A
description
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_miscellaneous_57571119</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>57571119</sourcerecordid><originalsourceid>FETCH-proquest_miscellaneous_575711193</originalsourceid><addsrcrecordid>eNqNjLsKwjAUQDMoWB__cCcnC0lrKXUTHzh0FNcS6jWtzaP2poh_bwY_wOlw4HAmLOKcb-M058mMzYmeQdOiEBEr96CdamvoB6cGaUxrFcg-mKwb8A46694a7wpj8tIj9FpaG6INJDvwDcKxvHVAH_Jolmz6kJpw9eOCrc-n6-ESh91rRPKVaalGHRboRqqyPMuFEEX6d_gFJes_YA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>57571119</pqid></control><display><type>article</type><title>A logic programming approach to knowledge-state planning, 2: the DLVk system</title><source>Library &amp; Information Science Abstracts (LISA)</source><source>ScienceDirect Freedom Collection 2022-2024</source><creator>Eiter, T ; Faber, W ; Leone, N ; Pfeifer, G ; Polleres, A</creator><creatorcontrib>Eiter, T ; Faber, W ; Leone, N ; Pfeifer, G ; Polleres, A</creatorcontrib><identifier>ISSN: 0004-3702</identifier><language>eng</language><subject>Artificial intelligence</subject><ispartof>Artificial intelligence, 2003-03, Vol.144 (1-2), p.157-211</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,34115</link.rule.ids></links><search><creatorcontrib>Eiter, T</creatorcontrib><creatorcontrib>Faber, W</creatorcontrib><creatorcontrib>Leone, N</creatorcontrib><creatorcontrib>Pfeifer, G</creatorcontrib><creatorcontrib>Polleres, A</creatorcontrib><title>A logic programming approach to knowledge-state planning, 2: the DLVk system</title><title>Artificial intelligence</title><subject>Artificial intelligence</subject><issn>0004-3702</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2003</creationdate><recordtype>article</recordtype><sourceid>F2A</sourceid><recordid>eNqNjLsKwjAUQDMoWB__cCcnC0lrKXUTHzh0FNcS6jWtzaP2poh_bwY_wOlw4HAmLOKcb-M058mMzYmeQdOiEBEr96CdamvoB6cGaUxrFcg-mKwb8A46694a7wpj8tIj9FpaG6INJDvwDcKxvHVAH_Jolmz6kJpw9eOCrc-n6-ESh91rRPKVaalGHRboRqqyPMuFEEX6d_gFJes_YA</recordid><startdate>20030301</startdate><enddate>20030301</enddate><creator>Eiter, T</creator><creator>Faber, W</creator><creator>Leone, N</creator><creator>Pfeifer, G</creator><creator>Polleres, A</creator><scope>E3H</scope><scope>F2A</scope></search><sort><creationdate>20030301</creationdate><title>A logic programming approach to knowledge-state planning, 2: the DLVk system</title><author>Eiter, T ; Faber, W ; Leone, N ; Pfeifer, G ; Polleres, A</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_miscellaneous_575711193</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2003</creationdate><topic>Artificial intelligence</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Eiter, T</creatorcontrib><creatorcontrib>Faber, W</creatorcontrib><creatorcontrib>Leone, N</creatorcontrib><creatorcontrib>Pfeifer, G</creatorcontrib><creatorcontrib>Polleres, A</creatorcontrib><collection>Library &amp; Information Sciences Abstracts (LISA)</collection><collection>Library &amp; Information Science Abstracts (LISA)</collection><jtitle>Artificial intelligence</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Eiter, T</au><au>Faber, W</au><au>Leone, N</au><au>Pfeifer, G</au><au>Polleres, A</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A logic programming approach to knowledge-state planning, 2: the DLVk system</atitle><jtitle>Artificial intelligence</jtitle><date>2003-03-01</date><risdate>2003</risdate><volume>144</volume><issue>1-2</issue><spage>157</spage><epage>211</epage><pages>157-211</pages><issn>0004-3702</issn></addata></record>
fulltext fulltext
identifier ISSN: 0004-3702
ispartof Artificial intelligence, 2003-03, Vol.144 (1-2), p.157-211
issn 0004-3702
language eng
recordid cdi_proquest_miscellaneous_57571119
source Library & Information Science Abstracts (LISA); ScienceDirect Freedom Collection 2022-2024
subjects Artificial intelligence
title A logic programming approach to knowledge-state planning, 2: the DLVk system
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T23%3A01%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20logic%20programming%20approach%20to%20knowledge-state%20planning,%202:%20the%20DLVk%20system&rft.jtitle=Artificial%20intelligence&rft.au=Eiter,%20T&rft.date=2003-03-01&rft.volume=144&rft.issue=1-2&rft.spage=157&rft.epage=211&rft.pages=157-211&rft.issn=0004-3702&rft_id=info:doi/&rft_dat=%3Cproquest%3E57571119%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-proquest_miscellaneous_575711193%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=57571119&rft_id=info:pmid/&rfr_iscdi=true