We present a first-order logical system based on a standard first-order language which is enriched with new predicate symbols — supposition predicates. the logic is standard. the interesting non-standard features of ...
详细信息
the proceedings contain 73 papers. the special focus in this conference is on Automated Deduction. the topics include: Consistency of rule-based expert systems;a mechanizable induction principle for equational specifi...
ISBN:
(纸本)9783540193432
the proceedings contain 73 papers. the special focus in this conference is on Automated Deduction. the topics include: Consistency of rule-based expert systems;a mechanizable induction principle for equational specifications;finding canonical rewriting systems equivalent to a finite set of ground equations in polynomial time;towards efficient “knowledge-based” automated theorem proving for non-standard logics;Propositional temporal interval logic is PSPACE complete;computational metatheory in Nuprl;type inference in Prolog;procedural interpretation of non-Horn logic programs;recursive query answering with non-Horn clauses;elements of Z-module reasoning;case inference in resolution-based languages;notes on Prolog program transformations, Prolog style, and efficient compilation to the Warren abstract machine;exploitation of parallelism in prototypical deduction problems;a decision procedure for unquantified formulas of graph theory;adventures in associative-commutative unification (A summary);unification in finite algebras is unitary(?);unification in a combination of arbitrary disjoint equational theories;partial unification for graph based equational reasoning;SATCHMO: A theorem prover implemented in Prolog;term rewriting: Some experimental results;learning and applying generalised solutions using higher order resolution;analogical reasoning and proof discovery;hyper-chaining and knowledge-based theorem proving;linear modal deductions;a resolution calculus for modal logics;solving disequations in equational theories;on word problems in Horn theories;canonical conditional rewrite systems;program synthesis by completion with dependent subtypes;reasoning about systems of linear inequalities;a subsumption algorithm based on characteristic matrices;specifying theorem provers in a higher-order logicprogramming language;a restriction of factoring in binary resolution;supposition-based logic for automated nonmonotonicreasoning;m-NEVER system summary.
A type of LOG-BASIC programming language, which has the functions of logicreasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good supporting environment for realizing the exper...
详细信息
ISBN:
(纸本)0818608781
A type of LOG-BASIC programming language, which has the functions of logicreasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good supporting environment for realizing the expert systems for pattern recognition. LOG-BASIC has Prolog's tree structure, and is suited for pattern matching, automatic backtracking, and database management. A LOG-BASIC interpreter has been successfully implemented for the IBM-PC/XT and compatible computers.
In [12] the notion of a quantitative logic program has been introduced, and its declarative semantics explored. the operational semantics given in [12] is extended significantly in this paper — in particular, the not...
详细信息
the LOG-BASIC programming language, which has logicreasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good support environment for realizing expert systems for pattern recognit...
详细信息
ISBN:
(纸本)0818608781
the LOG-BASIC programming language, which has logicreasoning and data processing, is proposed. this LOG-BASIC programming language supplies a good support environment for realizing expert systems for pattern recognition. LOG-BASIC has Prolog's tree structure, and is suited for pattern matching, automatic backtracking, and database management. A LOG-BASIC interpreter has been successfully implemented for the IBM-PC/XT and compatible computers.< >
this book constitutes the refereed proceedings of the 4thinternationalconference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented toget...
详细信息
ISBN:
(数字)9783030893910
ISBN:
(纸本)9783030893903
this book constitutes the refereed proceedings of the 4thinternationalconference on logic and Argumentation, CLAR 2021, held in Hangzhou, China, in October 2021. the 20 full and 10 short papers presented together with 5 invited papers were carefully reviewed and selected from 58 submissions. the topics of accepted papers cover the focus of the CLAR series, including formal models of argumentation, a variety of logic formalisms, nonmonotonicreasoning, dispute and dialogue systems, formal treatment of preference and support, and well as applications in areas like vaccine information and processing of legal texts.
the notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logi...
详细信息
ISBN:
(数字)9783540318576
ISBN:
(纸本)9783540280606
the notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. the purpose of the Computational logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. the ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, ***,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location withthe 9th European conference on logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. the workshop received 35 submissions – a sensible increase from the previous ***-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.
this book constitutes the refereed proceedings of the 15thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.
ISBN:
(数字)9783030205287
ISBN:
(纸本)9783030205270
this book constitutes the refereed proceedings of the 15thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019.
this book constitutes the refereed proceedings of the 4thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.;the volume presents 19...
详细信息
ISBN:
(数字)9783540692492
ISBN:
(纸本)9783540632559
this book constitutes the refereed proceedings of the 4thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.;the volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. the papers included report state-of-the-art research and development in the interdisciplinary area of logicprogramming and logical foundations of artificial intelligence.
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 ...
详细信息
ISBN:
(数字)9783642405648
ISBN:
(纸本)9783642405631
this volume contains the refereed proceedings of the 12thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. the 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logicprogramming, nonmonotonicreasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonicreasoning.
暂无评论