this volume contains the papers presented at the 9th European conference on Case-Based reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by rememb...
详细信息
ISBN:
(数字)9783540855026
ISBN:
(纸本)9783540855019
this volume contains the papers presented at the 9th European conference on Case-Based reasoning (ECCBR 2008). Case-based reasoning (CBR) is an arti?cial intelligence approach whereby new problems are solved by remembering, adapting and reusing solutions to a previously solved, similar problem. the collection of previously solved problems andtheirassociatedsolutionsisstoredinthecasebase. Neworadaptedsolutions are learned and updated in the case base as needed. In remembrance of the First European Workshop on Case-Based reasoning, which took place 15 years ago at the European Academy Otzenhausen, not far from Trier, this year’s conference was especially devoted to the past, present, and future of case-based reasoning. ECCBR and the internationalconference on Case-Based reasoning (IC- CBR) alternate every year. ECCBR 2008 followed a series of seven successful European workshops previously held in Otzenhausen, Germany (1993), Ch- tilly, France (1994), Lausanne, Switzerland (1996), Dublin, Ireland (1998), and Trento, Italy (2000), and three European conferences in Aberdeen, UK (2002), ¨ Madrid, Spain (2004), and Olu ¨deniz/Fethiye, Turkey (2006). the internationalconferences on Case-Based reasoning (ICCBR) were previously held in Ses- bra, Portugal (1995), Providence, Rhode Island, USA (1997), Seeon, Germany (1999), Vancouver, Canada (2001), Trondheim, Norway (2003), Chicago, USA (2005), and Belfast, Northern Ireland (2007). these meetings have a history of attracting ?rst-class European and international researchers and practiti- ers. the proceedings of the ECCBR and ICCBR conferences are published by Springer in their LNAI series.
this book constitutes the refereed proceedings of the 22thinternationalconference on Automated reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. the 20 re...
详细信息
ISBN:
(数字)9783642405372
ISBN:
(纸本)9783642405365
this book constitutes the refereed proceedings of the 22thinternationalconference on Automated reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. the 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. the papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, implementations and applications as well as automated deduction and formal methods applied to logic, mathematics, software development, protocol verification, and security.
ththe 18 internationalconference on Conceptual Structures (ICCS 2010) was the latest in a series of annual conferences that have been held in Europe, A- tralia, and North America since 1993. the focus of the confere...
详细信息
ISBN:
(数字)9783642141973
ISBN:
(纸本)9783642141966
ththe 18 internationalconference on Conceptual Structures (ICCS 2010) was the latest in a series of annual conferences that have been held in Europe, A- tralia, and North America since 1993. the focus of the conference has been the representation and analysis of conceptual knowledge for research and practical application. ICCS brings together researchers and practitioners in information and computer sciences as well as social science to explore novel ways that c- ceptual structures can be deployed. Arising from the research on knowledge representation and reasoning with conceptual graphs, over the years ICCS has broadened its scope to include in- vations from a wider range of theories and related practices, among them other forms of graph-based reasoning systems like RDF or existential graphs, formal concept analysis, Semantic Web technologies, ontologies, concept mapping and more. Accordingly, ICCS represents a family of approaches related to conc- tualstructuresthatbuild onthesuccesseswithtechniquesderivedfromarti?cial intelligence, knowledge representation and reasoning, applied mathematics and lattice theory, computational linguistics, conceptual modeling and design, d- grammatic reasoning and logic, intelligent systems and knowledge management. the ICCS 2010 theme “From Information to intelligence” hints at unve- ing the reasoning capabilities of conceptual structures. Indeed, improvements in storage capacity and performance of computing infrastructure have also - fected the nature of knowledge representation and reasoning (KRR) systems, shifting their focus toward representational power and execution performance. therefore, KRR research is now faced with a challenge of developing knowledge representation and reasoning structures optimized for such reasonings.
this book constitutes the thoroughly refereed post-proceedings of the 20thinternationalconference on Inductive logicprogramming, ILP 2010, held in Florence, Italy in June 2010.the 11 revised full papers and 15 revi...
详细信息
ISBN:
(数字)9783642212956
ISBN:
(纸本)9783642212949
this book constitutes the thoroughly refereed post-proceedings of the 20thinternationalconference on Inductive logicprogramming, ILP 2010, held in Florence, Italy in June 2010.
the 11 revised full papers and 15 revised short papers presented together with abstracts of three invited talks were carefully reviewed and selected during two rounds of refereeing and revision. All current issues in inductive logicprogramming, i.e. in logicprogramming for machine learning are addressed, in particular statistical learning and other probabilistic approaches to machine learning are reflected.
this volume presents the refereed proceedings of the 11thinternationalconference on Deontic logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. the 14 revised papers included in the volume we...
详细信息
ISBN:
(数字)9783642315701
ISBN:
(纸本)9783642315695
this volume presents the refereed proceedings of the 11thinternationalconference on Deontic logic in Computer Science, DEON 2012, held in Bergen, Norway, in July 2012. the 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and applications of normative logic to the specification of database integrity constraints.
this book constitutes the refereed proceedings of the 16thinternationalconference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. the 19 revised full papers presented together with 2 inv...
详细信息
ISBN:
(数字)9783540705963
ISBN:
(纸本)9783540705956
this book constitutes the refereed proceedings of the 16thinternationalconference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. the 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from over 70 submissions. the scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. the papers present a family of Conceptual Structure approaches that build on techniques derived from artificialintelligence, knowledge representation, applied mathematics and lattice theory, computational linguistics, conceptual modeling, intelligent systems and knowledge management.
the First CADE in the third Millennium this volume contains the papers presented at the Eighteenthinternational C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen...
详细信息
ISBN:
(数字)9783540456209
ISBN:
(纸本)9783540439318
the First CADE in the third Millennium this volume contains the papers presented at the Eighteenthinternational C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated logicconference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. there were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. the committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.
this book constitutes the refereed proceedings of the 9thinternational Joint conference on Automated reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated logicconference, FLo...
详细信息
ISBN:
(数字)9783319942056
ISBN:
(纸本)9783319942049
this book constitutes the refereed proceedings of the 9thinternational Joint conference on Automated reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated logicconference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the international Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated logicconference.;the 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. the papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
详细信息
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and Nonmonotonic reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logicprogramming, nonmonotonic reasoning, and knowledge representation. the aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
暂无评论