the proceedings contain 16 papers. the special focus in this conference is on logicprogramming. the topics include: Legal expert system — Les-2;A prototype software simulator for FGHC;a foundation of reasoning by an...
ISBN:
(纸本)9783540180241
the proceedings contain 16 papers. the special focus in this conference is on logicprogramming. the topics include: Legal expert system — Les-2;A prototype software simulator for FGHC;a foundation of reasoning by analogy: Analogical union of logic programs;logic interface system on navigational database systems;programming in modal logic: An extension of PROLOG based on modal logic;On parallel programming methodology in GHC: Experience in programming a proof procedure of temporal logic;an optimizing Prolog compiler;A Prolog based object oriented language SPOOL and its compiler;development of C-Prolog compiler;a framework for interactive problem solving based on interactive query revision;Prolog computation model BPM and its debugger PROEDIT2;Fast execution mechanisms of parallel inference engine PIE: PIEpelined goal rewriting and goal multicasting;- FLENG Prolog - the language which turns supercomputers into parallel Prolog machines;foreword.
the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming o...
ISBN:
(纸本)3540617353
the proceedings contain 22 papers. the special focus in this conference is on logicprogramming and Term Rewriting. the topics include: Toward the concurrent implementation of computational systems;logicprogramming on negation as instantiation;independence in dynamically scheduled logic languages;heterogeneous constraint solving;a hierarchy of semantics for normal constraint logic programs;order-sorted termination;unravelings and ultra-properties;standardization theorem revisited;discrete normalization and standardization in deterministic residual structures;a language for the logical specification of processes and relations;a process algebra for synchronous concurrent constraint programming;an algebraic approach to mixins and modularity;a strict border for the decidability of e-unification for recursive functions;prime factorizations of abstract domains using first order logic;abstractions of uniform proofs;complementing logic program semantics;meaningless terms in rewriting;unique normal form property of higher-order rewriting systems;algebraic semantics for functional logicprogramming with polymorphic order-sorted types;specifying type systems and the semantic treatment of polymorphic specification languages.
the proceedings contain 24 papers. the special focus in this conference is on logicprogramming and Automated Reasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;...
ISBN:
(纸本)9783540582168
the proceedings contain 24 papers. the special focus in this conference is on logicprogramming and Automated Reasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;proof plans for the correction of false conjectures;on the value of antiprenexing;implementing a finite-domain CLP-language on top of prolog;logical closures;higher-order rigid e-unification;program extraction in a logical framework setting;higher-order abstract syntax with induction in coq;towards efficient calculi for resource-oriented deductive planning;a logicprogramming framework for the abductive inference of intentions in cooperative dialogues;constraint logicprogramming in the sequent calculus;on conditional rewrite systems with extra variables and deterministic logic programs;a bottom-up reconstruction of the well-founded semantics for disjunctive logic programs;an efficient computation of the extended generalized closed world assumption by support-for-negation sets;multi-SLD resolution;on anti-links;a generic declarative diagnoser for normal logic programs;a kind of achievement by parts method and projection in temporal logicprogramming.
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Fixed parameter complexity in AI and nonmonotonic reasoning;classifying s...
ISBN:
(纸本)3540667490
the proceedings contain 30 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Fixed parameter complexity in AI and nonmonotonic reasoning;classifying semi-normal default logic on the basis of its expressive power;locally determined logic programs;annotated revision programs;belief, knowledge, revisions, and a semantics of non-monotonic reasoning;an argumentation framework for reasoning about actions and changes;representing transition systems by logic programs;transformations of logic programs related to causality and planning;from causal theories to logic programs;monotone expansion of updates in logical databases;updating extended logic programs through abduction;pushing goal derivation in DLP computations;linear tabulated resolution for well founded semantics;minimal founded semantics for disjunctive logicprogramming;on the role of negation in choice logic programs;approximating reiter’s default logic;coherent well-founded annotated logic programs;many-valued disjunctive logic programs with probabilistic semantics;extending disjunctive logicprogramming by T-norms;extending the stable model semantics with more expressive rules;stable model semantics for weight constraint rules;towards first-order nonmonotonic reasoning;comparison of sceptical NAF-free logicprogramming approaches;characterizations of classes of programs by three-valued operators;using LPNMR for problem specification and code generation;answer set planning;world-modeling vs. world-axiomatizing and extended inheritance techniques to solve real-world problems.
the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a hi...
the proceedings contain 8 papers. the topics discussed include: explaining answers to datalog queries;DatalogMTL: datalog with metric temporal logic operators;incremental evaluation of dynamic datalog programs as a higher-order DBSP program;a tool for reasoning over CNL sentences with temporal constructs;experiencing hypothetical datalog in SQL puzzles;LLM-based DatalogMTL modelling of MiCAR-compliant crypto-assets markets;an exploration of datalog applications to language documentation and reclamation;and Nemo: a scalable and versatile datalog engine.
this article presents an optimized Elevator Control System (ECS) utilizing Siemens PLC and TIA Portal software to simplify motor control for forward and reverse movements. Traditional elevator control systems involve ...
详细信息
ISBN:
(数字)9798331501488
ISBN:
(纸本)9798331501495
this article presents an optimized Elevator Control System (ECS) utilizing Siemens PLC and TIA Portal software to simplify motor control for forward and reverse movements. Traditional elevator control systems involve complex coding and hardware-intensive configurations for motor direction control. this research addresses the issue of excessive code complexity and hardware dependency by developing an optimized logic circuit-based approach that streamlines the programming process. the proposed method significantly reduces coding effort, enhances system reliability, and minimizes hardware requirements, making elevator control more efficient and cost-effective. Experimental validation demonstrates improvements in response time, energy efficiency, and overall system performance. this work contributes to modern building automation by offering a simplified, scalable, and energy-efficient solution for elevator systems.
In this paper we give a short introduction to logicprogramming approach to knowledge representation and reasoning. the intention is to help the reader to develop a 'feel' for the field's history and some ...
详细信息
In this paper we give a short introduction to logicprogramming approach to knowledge representation and reasoning. the intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. the discussion is mainly limited to logic programs under the answer set semantics. For understanding of approaches to logicprogramming built on well-founded semantics, general theories of argumentation, abductive reasoning, etc., the reader is referred to other publications. (C) 2002 Elsevier Science B.V. All rights reserved.
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answ...
详细信息
the idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as SMODELS or DLV, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started withthe invention of formal nonmonotonic reasoning in 1980. (C) 2002 Elsevier Science B.V. All rights reserved.
暂无评论