KOBV-Portal

Treffer pro Seite

Treffer 1 - 2 | 2 Treffer

Sortierung

Online-Ressource

Logic Programming and Nonmonotonic Reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings (2001)

Eiter, Thomas. [editor.] ; Faber, Wolfgang. [editor.] ; Trusczynksi, Miroslaw. [editor.] ; [weitere]

Berlin, Heidelberg :Springer Berlin Heidelberg :

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_9948621570702882

Umfang: X, 454 p. , online resource.

Ausgabe: 1st ed. 2001.

ISBN: 9783540454021

Serie: Lecture Notes in Artificial Intelligence ; 2173

Anmerkung: Invited Papers -- A Computational Logic Approach to Heterogenous Agent Systems -- Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto -- On The Complexity of Model Checking and Inference in Minimal Models -- Data Integration Needs Reasoning -- Nonmonotomic Inductive Logic Programming -- Regular Papers -- Strong Equivalence for Logic Programs and Default Theories (Made Easy) -- On the Effect of Default Negation on the Expressiveness of Disjunctive Rules -- On the Expressibility of Stable Logic Programming -- On the Relationship between Defeasible Logic and Well-Founded Semantics -- A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs -- Reasoning with Open Logic Programs -- Representation of Incomplete Knowledge by Induction of Default Theories -- Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules -- Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded LTL Model Checking with Stable Models -- Diagnosing Physical Systems in A-Prolog -- Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach -- Encoding Solutions of the Frame Problem in Dynamic Logic -- ?-RES: Reasoning about Actions, Events and Observations -- Omega-Restricted Logic Programs -- Improving ASP Instantiators by Join-Ordering Methods -- Optimizing the Computation of Heuristics for Answer Set Programming Systems -- New Generation Systems for Non-monotonic Reasoning -- Algorithms for Computing X-Minimal Models -- Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics -- Multi-adjoint Logic Programming with Continous Semantics -- Multi-dimensional Dynamic Knowledge Representation -- Antitonic Logic Programs -- System Description -- A-system: Declarative Programming with Abduction -- An Update Front-End for Extended Logic Programs -- aspps - An Implementation of Answer-Set Programming with Propositional Schemata -- NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics -- plp: A Generic Compiler for Ordered Logic Programs -- Prototypes for Reasoning with Infinite Stable Models and Function Symbols -- psmodels: Stable Models Based on Pertinence -- System Description: DLV -- System Description: The DLVK Planning System -- The Smodels System -- The USA-Advisor: A Case Study in Answer Set Planning.

In: Springer Nature eBook

Weitere Ausg.: Printed edition: ISBN 9783662191149

Weitere Ausg.: Printed edition: ISBN 9783540425939

Sprache: Englisch

DOI: 10.1007/3-540-45402-0

URL: https://doi.org/10.1007/3-540-45402-0

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Open Access Wunsch

HU Berlin

Online-Ressource

Logic Programming and Nonmotonic Reasoning : 6th International Conference, LPNMR 2001 Vienna, Austria, September 17-19, 2001 Proceedings (2001)

Eiter, Thomas ; Faber, Wolfgang ; Truszczyński, Miros law

Berlin : Springer

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

gbv_744957672

Umfang: Online-Ressource (X, 454 p) , digital

Ausgabe: Springer eBook Collection. Computer Science

ISBN: 9783540454021 , 3540425934

Serie: Lecture Notes in Computer Science 2173

Inhalt: This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc

Anmerkung: Literaturangaben

Weitere Ausg.: ISBN 9783540425939

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783662191149

Weitere Ausg.: Erscheint auch als Druck-Ausgabe ISBN 9783540425939

Sprache: Englisch

Fachgebiete: Informatik

RVK:

SS 4800

Schlagwort(e): Datenbanksystem ; Logische Programmierung ; Wissensrepräsentation ; Nichtmonotones Schließen ; Konferenzschrift

DOI: 10.1007/3-540-45402-0

URL: lizenzpflichtig

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Inhaltstext

Bookmarklink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Online-Ressource

Online Zugang

Open Access Wunsch

UB Potsdam

Treffer 1 - 2 | 2 Treffer

Nichts oder nicht das Richtige gefunden? Bitte überprüfen Sie Ihre Suchanfrage oder benutzen Sie den Fernleihindex.

Meinten Sie 9783662191194?

Meinten Sie 9783642193149?

Meinten Sie 9783662091159?

Kooperativer Bibliotheksverbund

Berlin Brandenburg