KOBV Portal

Hits per page

hits 1 - 8 | 8 hits

Sorting

Online Resource

Logic programming and nonmonotonic reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019 : proceedings (2019)

LPNMR 15. 2019 Philadelphia, Pa. ; Balduccini, Marcello ; Lierler, Yuliya ; [et al.]

Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV045913816

Format: 1 Online-Ressource (xxi, 348 Seiten) , Illustrationen,Diagramme

ISBN: 9783030205287

Series Statement: Lecture notes in computer science 11481

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-20527-0

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-20529-4

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Logische Programmierung ; Nichtmonotones Schließen ; Deklarative Programmierung ; Wissensrepräsentation ; Konferenzschrift

DOI: 10.1007/978-3-030-20528-7

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Online Resource

Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings (2019)

Balduccini, Marcello. [editor.] ; Lierler, Yuliya. [editor.] ; Woltran, Stefan. [editor.] ; [et al.]

Cham :Springer International Publishing :

add to watchlist on the watchlist

Details

UID:

almahu_9948105347602882

Format: XXI, 348 p. 787 illus., 21 illus. in color. , online resource.

ISBN: 9783030205287

Series Statement: Lecture Notes in Artificial Intelligence ; 11481

Content: This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019. The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions. The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems.

Note: Applications -- Train scheduling with hybrid ASP -- Telco Network Inventory Validation with NoHR -- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots -- C-ASP: Continuous ASP-based Reasoning over RDF Streams -- Internet Routing and Non-Monotonic Reasoning -- Argumentation -- Assessing arguments with schemes and fallacies -- Simple Contrapositive Assumption-Based Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views with Autoepistemic Equilibrium Logic -- Towards Dynamic Answer Set Programming over finite traces -- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur -- Knowledge Representation and Reasoning -- Diagnosing Data Pipeline Failures Using Action Languages -- Repair-Based Degrees of Database Inconsistency -- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies -- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+ -- Systems -- Evaluation of disjunctive programs in WASP -- telinge = ASP + Time -- Verifying Strong Equivalence of Programs in the Input Language of GRINGO -- The return of XORRO -- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving -- Enhancing DLV for Large-Scale Reasoning -- Pruning External Minimality Checking for ASP Using Semantic Dependencies -- Declarative local search for predicate logic.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783030205270

Additional Edition: Printed edition: ISBN 9783030205294

Language: English

DOI: 10.1007/978-3-030-20528-7

URL: https://doi.org/10.1007/978-3-030-20528-7

URL: lizenzpflichtig

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

UB Potsdam

Online Resource

Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings (2017)

Lierler, Yuliya. [editor.] ; Taha, Walid. [editor.] ; SpringerLink 〈Online service〉

Cham :Springer International Publishing :

add to watchlist on the watchlist

Details

UID:

almahu_9947391744602882

Format: X, 215 p. 31 illus. , online resource.

ISBN: 9783319516769

Series Statement: Lecture Notes in Computer Science, 10137

Content: This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. .

Note: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783319516752

Language: English

DOI: 10.1007/978-3-319-51676-9

URL: http://dx.doi.org/10.1007/978-3-319-51676-9

URL: Volltext (lizenzpflichtig)

URL: Cover

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HU Berlin

UB Potsdam

Online Resource

Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings (2017)

PADL 19. 2017 Paris ; Lierler, Yuliya

[Cham] :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV044023881

Format: 1 Online-Ressource X, 213 Seiten : , Illustrationen, Diagramme.

ISBN: 978-3-319-51676-9 , 978-3-319-51675-2

Series Statement: Lecture Notes in Computer Science Volume 10137

Language: English

Keywords: Deklarative Programmiersprache ; Mehrfachzugriff ; Zugangsverfahren ; Funknetz ; Zugangsnetz ; Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-319-51676-9

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Online Resource

Correct reasoning : essays on logic-based AI in honor of Vladimir Lifschitz (2012)

Erdem, Esra ; Lee, Joohyung ; Lierler, Yuliya ; [et al.]

Berlin [u.a.] : Springer

Show associated volumes

add to watchlist on the watchlist

Details

UID:

gbv_718775880

Format: Online-Ressource (XI, 594 S.)

Edition: Online-Ausg. 2012 Springer eBook collection. Computer science Electronic reproduction; Available via World Wide Web

ISBN: 9783642307430

Series Statement: Lecture notes in computer science 7265

Note: Literaturangaben , Electronic reproduction; Available via World Wide Web

Additional Edition: ISBN 3642307426

Additional Edition: ISBN 9783642307423

Additional Edition: Erscheint auch als Druck-Ausgabe Correct reasoning Berlin : Springer, 2012 ISBN 3642307426

Additional Edition: ISBN 9783642307423

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Künstliche Intelligenz ; Logik ; Logische Programmierung ; Frage-Antwort-System ; Aufsatzsammlung

DOI: 10.1007/978-3-642-30743-0

URL: Volltext (lizenzpflichtig)

URL: Volltext

URL: Inhaltsverzeichnis

URL: Inhaltstext

Author information: Lifschitz, Vladimir 1947-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

Book

Practical aspects of declarative languages : 19th international symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings (2017)

PADL 19. 2017 Paris ; Lierler, Yuliya

Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044010657

Format: X, 213 Seiten , Diagramme

ISBN: 9783319516752

Series Statement: Lecture notes in computer science 10137

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-319-51676-9

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Mehrfachzugriff ; Zugangsverfahren ; Funknetz ; Zugangsnetz ; Deklarative Programmiersprache ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Correct Reasoning : Essays on Logic-Based AI in Honour of Vladimir Lifschitz (2012)

Erdem, Esra. [editor.] ; Lee, Joohyung. [editor.] ; Lierler, Yuliya. [editor.] ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg,

add to watchlist on the watchlist

Details

UID:

almahu_9947364500502882

Format: XI, 594 p. 41 illus. , online resource.

ISBN: 9783642307430

Series Statement: Lecture Notes in Computer Science, 7265

Content: This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect the breadth and the depth of the work of Vladimir Lifschitz in logic programming, circumscription, default logic, action theory, causal reasoning and answer set programming.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642307423

Language: English

DOI: 10.1007/978-3-642-30743-0

URL: http://dx.doi.org/10.1007/978-3-642-30743-0

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Online Resource

Practical aspects of declarative languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings (2017)

PADL 19. 2017 Paris ; Lierler, Yuliya

[Cham] :Springer,

add to watchlist on the watchlist

Details

UID:

edocfu_BV044023881

Format: 1 Online-Ressource X, 213 Seiten : , Illustrationen, Diagramme.

ISBN: 978-3-319-51676-9 , 978-3-319-51675-2

Series Statement: Lecture Notes in Computer Science Volume 10137

Language: English

Keywords: Deklarative Programmiersprache ; Mehrfachzugriff ; Zugangsverfahren ; Funknetz ; Zugangsnetz ; Konferenzschrift

DOI: 10.1007/978-3-319-51676-9

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

hits 1 - 8 | 8 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg