KOBV Portal

Hits per page

hits 1 - 10 | 13 hits

Sorting

Online Resource

Foundations of information and knowledge systems : 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, proceedings (2018)

FoIKS 10. 2018 Budapest ; Ferrarotti, Flavio ; Woltran, Stefan

Cham, Switzerland : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044979800

Format: 1 Online-Ressource (XXII, 400 Seiten) , Illustrationen, Diagramme

ISBN: 9783319900506

Series Statement: Lecture Notes in Computer Science 10833

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-90049-0

Language: English

Keywords: Informationssystem ; Wissensbasiertes System ; Datenbankentwurf ; Formale Methode ; Datenbanksystem ; Künstliche Intelligenz ; Ontologie ; Semantic Web ; Data Mining ; Wissensextraktion ; Information Retrieval ; Konferenzschrift

DOI: 10.1007/978-3-319-90050-6

URL: Volltext (URL des Erstveröffentlichers)

URL: Volltext (lizenzpflichtig)

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

UB Potsdam

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)

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

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

Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers (2014)

Croitoru, Madalina. [editor.] ; Rudolph, Sebastian. [editor.] ; Woltran, Stefan. [editor.] ; [et al.]

Cham :Springer International Publishing :

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947363731502882

Format: X, 211 p. 64 illus. , online resource.

ISBN: 9783319045344

Series Statement: Lecture Notes in Computer Science, 8323

Content: This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: representations of constraint satisfaction problems; formal concept analysis; conceptual graphs; and argumentation frameworks.

Note: Representations of constraint satisfaction problems -- Formal concept analysis -- Conceptual graphs -- Argumentation frameworks.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783319045337

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-3-319-04534-4

URL: http://dx.doi.org/10.1007/978-3-319-04534-4

URL: Volltext (lizenzpflichtig)

URL: Cover

URL: Inhaltstext

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

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

Book

Advanced tools and methods for treewidth-based problem solving (2021)

Hecher, Markus [VerfasserIn] ; Woltran, Stefan [AkademischeR BetreuerIn] ; Schaub, Torsten [AkademischeR BetreuerIn] ; [et al.]

Potsdam

add to watchlist on the watchlist

Details

UID:

gbv_1775625516

Format: xv, 184 Seiten , Illustrationen, Diagramme

Content: In the last decades, there was a notable progress in solving the well-known Boolean satisfiability (Sat) problem, which can be witnessed by powerful Sat solvers. One of the reasons why these solvers are so fast are structural properties of instances that are utilized by the solver’s interna. This thesis deals with the well-studied structural property treewidth, which measures the closeness of an instance to being a tree. In fact, there are many problems parameterized by treewidth that are solvable in polynomial time in the instance size when parameterized by treewidth. In this work, we study advanced treewidth-based methods and tools for problems in knowledge representation and reasoning (KR). Thereby, we provide means to establish precise runtime results (upper bounds) for canonical problems relevant to KR. Then, we present a new type of problem reduction, which we call decomposition-guided (DG) that allows us to precisely monitor the treewidth when reducing from one problem to another problem. This new reduction type will be the ...

Note: Dissertation Technische Universität Wien 2021 , Dissertation Universität Potsdam 2021

Additional Edition: Erscheint auch als Online-Ausgabe Hecher, Markus Advanced tools and methods for treewidth-based problem solving Potsdam, 2021

Language: English

Keywords: Hochschulschrift

Author information: Vollmer, Heribert 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Online Resource

Advanced tools and methods for treewidth-based problem solving (2021)

Hecher, Markus [VerfasserIn] ; Woltran, Stefan [AkademischeR BetreuerIn] ; Schaub, Torsten [AkademischeR BetreuerIn] ; [et al.]

Potsdam

add to watchlist on the watchlist

Details

UID:

gbv_1769838872

Format: 1 Online-Ressource (xv, 184 Seiten, 5392 KB) , Illustrationen, Diagramme

Note: Dissertation Technische Universität Wien 2021 , Dissertation Universität Potsdam 2021

Additional Edition: Erscheint auch als Druck-Ausgabe Hecher, Markus Advanced tools and methods for treewidth-based problem solving Potsdam, 2021

Language: English

Keywords: Hochschulschrift

DOI: 10.25932/publishup-51251

URN: urn:nbn:de:kobv:517-opus4-512519

URL: https://doi.org/10.25932/publishup-51251

URL: https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-512519

URL: https://d-nb.info/1238686745/34

URL: kostenfrei

Author information: Vollmer, Heribert 1964-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

UB Potsdam

Book

Complex reasoning with answer set programming (2023)

Kaminski, Roland [VerfasserIn] ; Woltran, Stefan [AkademischeR BetreuerIn] ; Tran, Son Cao [AkademischeR BetreuerIn] ; [et al.]

Potsdam

add to watchlist on the watchlist

Details

UID:

gbv_1837210896

Format: 302 Seiten , Illustrationen, Diagramme

Content: Answer Set Programming (ASP) allows us to address knowledge-intensive search and optimization problems in a declarative way due to its integrated modeling, grounding, and solving workflow. A problem is modeled using a rule based language and then grounded and solved. Solving results in a set of stable models that correspond to solutions of the modeled problem. In this thesis, we present the design and implementation of the clingo system---perhaps, the most widely used ASP system. It features a rich modeling language originating from the field of knowledge representation and reasoning, efficient grounding algorithms based on database evaluation techniques, and high performance solving algorithms based on Boolean satisfiability (SAT) solving technology. The contributions of this thesis lie in the design of the modeling language, the design and implementation of the grounding algorithms, and the design and implementation of an Application Programmable Interface (API) facilitating the use of ASP in real world applications and the implementation of complex forms of reasoning beyond the traditional ASP workflow.

Note: Kumulative Dissertation , Dissertation Universität Potsdam 2023

Language: English

Keywords: Answer Set Programming ; Hochschulschrift

URL: Inhaltsverzeichnis

Author information: Schwill, Andreas 1958-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

UB Potsdam

Online Resource

Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings (2013)

Leite, João. [editor.] ; Son, Tran Cao. [editor.] ; Torroni, Paolo. [editor.] ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947364452802882

Format: XXIV, 391 p. 75 illus. , online resource.

ISBN: 9783642406249

Series Statement: Lecture Notes in Computer Science, 8143

Content: This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013. The 23 regular papers were carefully reviewed and selected from 44 submissions and presented with four invited talks. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This edition will feature two special sessions: Argumentation Technologies and Norms and Normative Multi-Agent Systems.

Note: From Discourse Analysis to Argumentation Schemes and Back: Relations and Differences -- Analyzing the Equivalence Zoo in Abstract Argumentation -- On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks -- Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System -- A Sequent-Based Representation of Logical Argumentation -- Instantiating Knowledge Bases in Abstract Dialectical Frameworks -- Admissibility in the Abstract Dialectical Framework -- Computing the Grounded Semantics in All the Subgraphs of an Argumentation Framework: An Empirical Evaluation -- Advanced SAT Techniques for Abstract Argumentation -- Web Based System for Weighted Defeasible Argumentation -- Coalitional Responsibility in Strategic Settings -- Symmetries and Epistemic Reasoning -- Accumulative Knowledge under Bounded Resources -- Time Is Up! – Norms with Deadlines in Action Languages -- External Transaction Logic with Automatic Compensations -- Perceiving Rules under Incomplete and Inconsistent Information -- Using Agent JPF to Build Models for Other Model Checkers -- Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL -- A Temporal Argumentation Approach to Cooperative Planning Using Dialogues -- Reconfiguration of Large-Scale Surveillance Systems -- An Argumentation-Based Approach for Automatic Evaluation of Design Debates -- Risk Assessment as an Argumentation Game -- Assumption-Based Argumentation for Decision-Making with Preferences: A Medical Case Study.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783642406232

Language: English

DOI: 10.1007/978-3-642-40624-9

URL: http://dx.doi.org/10.1007/978-3-642-40624-9

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

Book

Foundations of information and knowledge systems : 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018 : proceedings (2018)

FoIKS 10. 2018 Budapest ; Ferrarotti, Flavio ; Woltran, Stefan

[Cham] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV044927687

Format: XXII, 399 Seiten , Illustrationen

ISBN: 9783319900490

Series Statement: Lecture notes in computer science 10833

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-319-90050-6

Language: English

Keywords: Data Mining ; Wissensextraktion ; Information Retrieval ; Datenbankentwurf ; Formale Methode ; Datenbanksystem ; Künstliche Intelligenz ; Ontologie ; Semantic Web ; Informationssystem ; Wissensbasiertes System ; Konferenzschrift

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Online Resource

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday (2015)

Eiter, Thomas. [editor.] ; Strass, Hannes. [editor.] ; Truszczyński, Mirosław. [editor.] ; [et al.]

Cham :Springer International Publishing :

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_9947363870102882

Format: XIV, 361 p. 58 illus. , online resource.

ISBN: 9783319147260

Series Statement: Lecture Notes in Computer Science, 9060

Content: This Festschrift is published in honor of Gerhard Brewka on the occasion of his 60th birthday and contains articles from fields reflecting the breadth of Gerd's work. The 24 scientific papers included in the book are written by close friends and colleagues and cover topics such as Actions and Agents, Nonmonotonic and Human Reasoning, Preferences and Argumentation.

Note: Prologue -- Actions and Agents -- Nonmonotonic and Human Reasoning.- Preferences -- Abstract Argumentation -- Reflections on Knowledge Representation.- Epilogue.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783319147253

Language: English

DOI: 10.1007/978-3-319-14726-0

URL: http://dx.doi.org/10.1007/978-3-319-14726-0

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HU Berlin

hits 1 - 10 | 13 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