the proceedings contain 20 papers. the special focus in this conference is on algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic progr...
ISBN:
(纸本)9783540584315
the proceedings contain 20 papers. the special focus in this conference is on algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic programs;viewing a program transformation system at work;proving implications by algebraic approximation;sufficient completeness and parameterized proofs by induction;proving behavioural theorems with standard first-order logic;compositional analysis for equational horn programs;equation solving in projective planes and planar ternary rings;concurrent logicprogramming as uniform linear proofs;three-valued completion for abductive logic programs;a sequential reduction strategy;on modularity of termination and confluence properties of conditional rewrite systems;syntactical analysis of total termination;logic programs as term rewriting systems;higher-order minimal function graphs;reasoning about layered, wildcard and product patterns;preserving universal termination through unfold/fold and a logic for variable aliasing in logic programs.
the proceedings contain 7 papers. the topics discussed include: a transition system for AC language algorithms;weighted-sequence problem: ASP vs CASP and declarative vs problem oriented solving;a new algorithm for P-l...
the proceedings contain 7 papers. the topics discussed include: a transition system for AC language algorithms;weighted-sequence problem: ASP vs CASP and declarative vs problem oriented solving;a new algorithm for P-log inference engine;computing stable models of logic programs using metropolis type algorithms;ASP-based problem solving with cutting-edge tools;complexity of super-coherence problems in ASP;and logic programs with intensional functions (preliminary report).
From the Publisher: the 45 contributions in this book consider all aspects of logicprogramming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; k...
ISBN:
(纸本)026212128X;9780262121286;0262121255
From the Publisher: the 45 contributions in this book consider all aspects of logicprogramming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. there are chapters on novel applications and on applications that address the unique character of logicprogramming. Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI international), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University). Jean-Louis Lassez is a Research Scientist with IBM's thomas J. Watson Research Center. logicprogramming: Proceedings of the Fourthinternationalconference is included in the series logicprogramming (Research Reports and Notes), edited by Ehud Shapiro. Two-volume set
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasonin...
ISBN:
(纸本)9783540632559
the proceedings contain 34 papers. the special focus in this conference is on logicprogramming and Nonmonotonic Reasoning. the topics include: Strong and weak constraints in disjunctive datalog;non-monotonic reasoning with quantified Boolean constraints;complexity of only knowing;affordable classes of normal logic programs;automated reasoning with non-monotonic logics;simulations between programs as cellular automata;separating disbeliefs from beliefs in autoepistemic reasoning;resolution for skeptical stable semantics;computing non-ground representations of stable models;industry needs for integrated information services;towards a systematic approach to representing knowledge in declarative logicprogramming;a paraconsistent semantics with contradiction support detection;a general framework for revising non-monotonic theories;modular logicprogramming and generalized quantifiers;programs with universally quantified embedded implications;generalized query answering in disjunctive deductive databases;towards a disjunctive logicprogramming system;a deductive system for non-monotonic reasoning;flexible solutions to complex problems;an implementation of the stable model and well-founded semantics for normal lp;an implementation platform for query-answering in default logics and the x-ray system, its implementation and evaluation.
the proceedings contain 29 papers. the special focus in this conference is on logicprogramming. the topics include: Software prototyping with MENDEL;retrieval of software module functions using first-order predicate ...
ISBN:
(纸本)9783540164791
the proceedings contain 29 papers. the special focus in this conference is on logicprogramming. the topics include: Software prototyping with MENDEL;retrieval of software module functions using first-order predicate logical formulae;temporal logicprogramming language Tokio programming in Tokio;implementation of temporal logicprogramming language Tokio;heuristic prolog: logic program execution by heuristic search;and-or queuing in Extended Concurrent Prolog;guarded horn clauses;TDProlog: An extended Prolog with term description;design and evaluation of a Prolog compiler;Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R;the program characteristics in logicprogramming language ESP;extended Prolog and its application to an integrated parser for text understanding;a travel consultation system: Towards a smooth conversation in Japanese;a Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management;Using the temporal logicprogramming language Tokio for algorithm description and automatic CMOS gate array synthesis;a parallel logic simulator based on Concurrent Prolog;a method of representing processes in a constraint solver;KRIP: A knowledge representation system for laws relating to industrial property;consultation system for diagnosis of headache and facial pain: “Rhinos”;Knowledge realization and transformation in KRISP;a note on the elementary execution unit in a parallel inference machine;Parallel Prolog machine PARK: Its hardware structure and prolog system;heuristics applied in tree manipulation algorithm synthesis;analogical reasoning using transformations of rules;synchronization and communication in the ‘subject’;zero: Frame + prolog;PRESET — A debugging environment for Prolog.
the proceedings contain 36 papers. the special focus in this conference is on Computer Analysis of Images and Patterns. the topics include: Entailment and disentailment of order-sorted feature constraints;prolog with ...
ISBN:
(纸本)9783540569442
the proceedings contain 36 papers. the special focus in this conference is on Computer Analysis of Images and Patterns. the topics include: Entailment and disentailment of order-sorted feature constraints;prolog with arrays and bounded quantifications;linear 0-1 inequalities and extended clauses;search space pruning by checking dynamic term growth;a proof search syste;ctive systems;consistency checking of automata functional specifications;yet another application for toupie: verification of mutual exclusion algorithms;iffault, antoine rauzy parsing with DCG-terms;a first order resolution calculus with symmetries;ordered paramodulation and resolution as decision procedure;static analysis of prolog with cut;a new type theory for representing logics;verification of switch-level designs with many-valued logic;deciding in HFS-theory via linear integer p’rogramming;the completion of typed logic programs and SLDNF-resolution;increasing the versatility of heuristic based theorem provers;sequentialization of parallel logic programs with mode analysis;refinements and extensions of model elimination;executable specifications based on dynamic algebras;generic resolution in propositional modal systems;optimized translation of multi modal logic into predicate logic;default reasoning with a constraint resolution principle;non-clausal deductive techniques for computing prime implicants and prime implicates;unification under one-sided distributivity with a multiplicative unit;unification in order-sorted logic with term declarations;a system based on the inference of type relations;a comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems;neutralization and preemption in extended logic programs.
the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchang...
the proceedings contain 21 papers. the topics discussed include: novel techniques in datalog optimization;certain answers of extensions of conjunctive queries by datalog and first-order rewriting;querying data exchange settings beyond positive queries;new perspectives for fuzzy datalog;model checking verification of multilayer perceptrons in datalog: a many-valued approach with typicality;towards bridging traditional and smart contracts with datalog-based languages;datalog-based reasoning with heuristics over knowledge graphs;a rule-based constraint language for event streams;a formal comparison between datalog-based languages for stream reasoning;towards better understanding of the performance and design of datalog systems;and intelligent agents and complex event processing to enhance patient monitoring.
this work focuses on quantum programming language and logics for quantum programs. We extend the standard quantum programming language with a parallel operator and an await command. Our extended quantum dynamic logic ...
详细信息
ISBN:
(纸本)9789819603534;9789819603541
this work focuses on quantum programming language and logics for quantum programs. We extend the standard quantum programming language with a parallel operator and an await command. Our extended quantum dynamic logic provides a more robust framework for reasoning about the behaviors and properties of quantum programs that utilize these new constructs. these new features enhance the language's capability to handle concurrent quantum operations and synchronization, enabling more advanced and efficient quantum computations.
暂无评论