Sciweavers

CCL
1994
Springer
13 years 7 months ago
Application of Constraint Logic Programming for VLSI CAD Tools
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
Renate Beckmann, Ulrich Bieker, Ingolf Markhof
LOPSTR
1997
Springer
13 years 7 months ago
Implicit Program Synthesis by a Reversible Metainterpreter
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
Henning Christiansen
ATAL
1997
Springer
13 years 7 months ago
A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
Michael Schroeder, Iara de Almeida Móra, Lu...
AIIA
1997
Springer
13 years 7 months ago
Introducing Abduction into (Extensional) Inductive Logic Programming Systems
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
Evelina Lamma, Paola Mello, Michela Milano, Fabriz...
CSL
1998
Springer
13 years 7 months ago
Revision Programming = Logic Programming + Integrity Constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
ICLP
1999
Springer
13 years 8 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
ERSHOV
1999
Springer
13 years 8 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
VRST
1999
ACM
13 years 8 months ago
Visualising logic programs in virtual worlds
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
Themis Panayiotopoulos, Spyros Vosinakis, Sophia K...
DEXA
2000
Springer
95views Database» more  DEXA 2000»
13 years 8 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
CL
2000
Springer
13 years 8 months ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...