the proceedings contain 21 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: Semantics of constraint logic programs with bounded quantifiers;translating a modal la...
ISBN:
(纸本)9783540609834
the proceedings contain 21 papers. the special focus in this conference is on Extensions of logicprogramming. the topics include: Semantics of constraint logic programs with bounded quantifiers;translating a modal language with embedded implication into horn clause logic;pruning the search space of logic programs;a significant extension of logicprogramming by adapting model building rules;efficient resource management for linear logic proof search;a logic language based on GAMMA-like multiset rewriting;handling equality in logicprogramming via basic folding;an abstract machine for reasoning about situations, actions, and causality;on the computational complexity of propositional logic programs with nested implications;proof-theory for extensions of logicprogramming;a fibrational semantics for logic programs;language and implementation;a new framework for declarative programming;extending constructive negation for partial functions in lazy functional-logic languages;total correctness of logic programs;a declarative semantics for the prolog cut operator;a definitional approach to functional logicprogramming;soundness and completeness of non-classical extended SLD-resolution and some postulates for nonmonotonic theory revision applied to logicprogramming.
For many given systems of logic, it is possible to identify, via systematic proof-theoretic analyses, a fragment which can be used as a basis for a logicprogramming language. Such analyses have been applied to linear...
详细信息
作者：
Caires, LuisDI-FCT
Universidade Nova de Lisbon Monte da Caparica2825 Portugal
Due to its ability to handle resources in a finely controlled way, linear logic is being adopted as a foundation of several logicprogramming and specification languages in which some notions of state can be modelled....
详细信息
the notion of independence has been used in conventional logicprogramming as the basis for several optimizations, including program parallelization, intelligent backtracking, and goal reordering. In this paper we ext...
详细信息
the Fifth Italian conference on theoretical Computer Science covers all aspects of theoretical Computer Science. Among the topics addressed in the volume are Algorithms, Concurrency, Automata, Formal Languages, Comput...
详细信息
ISBN:
(数字)9789814531184
ISBN:
(纸本)9789810226732
the Fifth Italian conference on theoretical Computer Science covers all aspects of theoretical Computer Science. Among the topics addressed in the volume are Algorithms, Concurrency, Automata, Formal Languages, Computational Complexity, Temporal and Model logic, logicprogramming, and λ-*** proceedings include 33 selected papers and three distinguished invited lectures by Michael Luby, Ugo Montanari and Alberto Bertoni.
this paper presents the design and modeling issues of the fuzzy/scalar processor which is intended to perform standard scalar operations, as well as specialized fuzzy logic operations at very high speed. the reduced i...
详细信息
ISBN:
(纸本)0780336461
this paper presents the design and modeling issues of the fuzzy/scalar processor which is intended to perform standard scalar operations, as well as specialized fuzzy logic operations at very high speed. the reduced instruction set (RISC) architecture was chosen for the processor implementation. this high performance and, at the same time, extremely flexible device, can be used in a variety of applications where high speed standard and/or fuzzy logic operations are required. the high-level simulation results of the fuzzy/scalar reduced instruction set processor model (codename F/S RISC), are presented. the model built with Mentor Graphics' ″M″ language was simulated using Lsim simulator at the clock frequency of 100 MHz. the current technology for the implementation of F/S RISC processor is chosen to be 1.2 μm n-well CMOS.
暂无评论