Deductive program synthesis systems based on automated theorem proving o er the promise of \correct by construction" software. However, the diÆculty encountered in constructing usable deductive synthesis systems has pr evente d their widespr ead use. A mphion is a realworld, domain-independent programsynthesis system. It is specialized to speci c applications through the creation of an operatio...

A Distributed Deductive Database System consists of many autonomous deductive database systems connected by a computer network to facilitate sharing of both database and rules. The design of a distributed deductive database system diiers from the design of conventional non-distributed deductive database systems. The former requires design of distribution of both the database and rulebase, where...

Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Furthermore, we point out some possible directions to recast the deductive solution into a Tree Adjoining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar...

Our current understanding about the AS level topology of the Internet is based on measurements and inductive-type models which set up rules describing the behavior (node and edge dynamics) of the individual ASes and generalize the consequences of these individual actions for the complete AS ecosystem using induction. In this paper we suggest a third, deductive approach in which we have premises...

The paper presents and discusses the distinction between inductive and deductive System Dynamics modeling. Findings are that the distinction between inductive and deductive modeling is helpful in appropriately setting up, conducting, and evaluating System Dynamics projects. The discussion is based on a literature review, conceptual considerations, and the insights gained from case studies, both...

As XML is becoming widely accepted as a mean of storing, searching and extracting information, a larger number of Web applications will require conceptual models and administrative tools to organize their collections of documents. Recently, event-condition-action (ECA) rules have been proposed to provide reactive functionality into XML document databases. However, logical inference mechanisms t...

We propose an integration of XML with F-Logic, a deductive object-oriented database framework. The F-Logic data model is in fact a semistructured data model, exhibiting many similarities with the XML/DOM data model: there is a canonical mapping from XML to a fragment of F-Logic. The advantages of the integration are that the full expressiveness of F-Logic (and the functionality of the FLORID sy...

ROCK & ROLL is a deductive object-oriented database system that supports two languages, one imperative and the other deductive, both derived from the same object-oriented data model. As the languages share a common type system, they can be integrated without manifesting impedance mismatches, and thus programmers can conveniently exploit both deductive and imperative features in a single applica...