Seems you have not registered as a member of localhost.saystem.shop!
You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Logic Programming
This book constitutes the refereed proceedings of the 21st International Conference on Logic and Programming, ICLP 2005, held in Barcelona, Spain, in October 2005. The 25 revised full papers and 15 revised poster papers presented together with 4 invited papers and 7 abstracts of a poster session of a doctoral consortium were carefully reviewed and selected from 104 submissions. The papers cover all issues of current research in logic programming. Extra attention is given to novel applications of logic programming and work providing novel integrations of different areas.
Logic Programming
This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008. The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and colleagues. Several of these papers were presented during the Symposium on Constructive Mathematics in Computer Science, held in Lexington, KY, USA on October 25-26, 2010. The 27 scientific papers included in the book focus on answer set programming. The papers are organized in sections named “Foundations: ASP and Theories of LP, KR, and NMR”, “ASP and Dynamic Domains”, and “ASP – Applications and Tools”.
Computational Models of Argument
"The papers in this volume formed the programme of the 1st International Conference on Computational Models of Argument (COMMA), which was hosted by the Dept. of Computer Science of the University of Liverpool from Sept. 11th-12th, 2006."--Pref.
Handbook of Satisfiability
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handb...
Logics in Artificial Intelligence
This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Artificial Intelligence
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 9th European Conference on Logics in Artificial Intelligence, JELIA 2004, held in Lisbon, Portugal, in September 2004. The 52 revised full papers and 15 revised systems presentation papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from a total of 169 submissions. The papers are organized in topical sections on multi-agent systems; logic programming and nonmonotonic reasoning; reasoning under uncertainty; logic programming; actions and causation; complexity; description logics; belief revision; modal, spatial, and temporal logics; theorem proving; and applications.
Agreement Technologies
More and more transactions, whether in business or related to leisure activities, are mediated automatically by computers and computer networks, and this trend is having a significant impact on the conception and design of new computer applications. The next generation of these applications will be based on software agents to which increasingly complex tasks can be delegated, and which interact with each other in sophisticated ways so as to forge agreements in the interest of their human users. The wide variety of technologies supporting this vision is the subject of this volume. It summarises the European Cooperation in Science and Technology (COST) Action project on Agreement Technologies (AT), during which approximately 200 researchers from 25 European countries, along with eight institutions from non-COST countries, cooperated as part of a number of working groups. The book is the first to provide a comprehensive overview of the emerging field of Agreement Technologies, written and coordinated by the leading researchers in the field. The results set out here are due for wide dissemination beyond the computer technology sector, involving law and social science as well.
