Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
.
Bookmark für diesen Satz setzen
Katalogdatensatz500254620
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500254620
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-3-319-61659-9
Name
Balduccini, Marcello ¬[Hrsg.]¬
Janhunen, Tomi ¬[Hrsg.]¬
Name ANZEIGE DER KETTE
Janhunen, Tomi ¬[Hrsg.]¬
T I T E L
Logic Programming and Nonmonotonic Reasoning
Zusatz zum Titel
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Verlagsort
Cham
Verlag
Springer
Erscheinungsjahr
2017
2017
Umfang
Online-Ressource (XIII, 359 p. 41 illus, online resource)
Reihe
Lecture Notes in Computer Science ; 10377
Lecture notes in computer science
Band
10377
Titelhinweis
Druckausg.ISBN: 978-3-319-61659-9
Printed editionISBN: 978-3-319-61659-9
ISBN
ISBN 978-3-319-61660-5
Klassifikation
TJFM1
*68-06
68N17
68T27
00B25
UYQ
COM004000
006.3
Q334-342
TJ210.2-211.495
Kurzbeschreibung
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications
2. Kurzbeschreibung
Invited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird’s-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization
SWB-Titel-Idn
490764053
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-319-61660-5
Internetseite / Link
Volltext
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500254620
.
Kategorien-Anzeige
Katalogdatensatz500254620
.
Verwandte Werke
Katalogdatensatz500254620
.
Bände anzeigen
Katalogdatensatz500254620
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500254620
.
Kataloginformation500254620
Datensatzanfang
.
Kataloginformation500254620
Seitenanfang
.
Titel vormerken
Katalogdatensatz500254620
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach