Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008843418/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b12406892.
- catalog contributor b12406893.
- catalog contributor b12406894.
- catalog contributor b12406895.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "A Computational Logic Approach to Heterogenous Agent Systems / Jurgen Dix -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner, Sergio Flesca and Georg Gottlob -- On the Complexity of Model Checking and Inference in Minimal Models (Extended Abstract) / Lefteris M. Kirousis and Phokion G. Kolaitis -- Data Integration Needs Reasoning / Maurizio Lenzerini -- Nonmonotonic Inductive Logic Programming / Chiaki Sakama -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) / Hudson Turner -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules / Tomi Janhunen -- On the Expressibility of Stable Logic Programming / V.W. Marek and J.B. Remmel.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "xi, 444 p. :".
- catalog identifier "3540425934 (pbk. : acid-free paper)".
- catalog isPartOf "Lecture notes in computer science ; 2173. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 2173.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/15".
- catalog subject "Logic programming Congresses.".
- catalog subject "Nonmonotonic reasoning Congresses.".
- catalog subject "QA76.63 .L74 2001".
- catalog tableOfContents "A Computational Logic Approach to Heterogenous Agent Systems / Jurgen Dix -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner, Sergio Flesca and Georg Gottlob -- On the Complexity of Model Checking and Inference in Minimal Models (Extended Abstract) / Lefteris M. Kirousis and Phokion G. Kolaitis -- Data Integration Needs Reasoning / Maurizio Lenzerini -- Nonmonotonic Inductive Logic Programming / Chiaki Sakama -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) / Hudson Turner -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules / Tomi Janhunen -- On the Expressibility of Stable Logic Programming / V.W. Marek and J.B. Remmel.".
- catalog title "Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings / Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Wien (2001) swd".
- catalog type "text".