In this paper, we analyze the usage and impact of information technology in the early design phases of the architectural design process. Typical topics of concern in these phases are idea generation, theory formation, hypothetical reasoning, analogical reasoning, and so forth. Although these phases of the design process have been studied before, not many facts are really known about them, nor a...

The work relates to the automatic generation of logical specifications, considered as sets of temporal logic formulas, extracted directly from developed software models. The extraction process is based on the assumption that the whole developed model is structured using only predefined workflow patterns. A method of automatic transformation of workflow patterns to logical specifications is prop...

Logic captures the implications among sentences. A logical calculus consists of a precise definition of a language and a set of rules of inference that can be used to derive conclusions from premises. The rules are formal, that is, they operate on the form of sentences, not their meaning. The calculus, however, may have a semantics, which provides interpretations for all the sentences in the la...

Humans can at least apparently conduct deductive reasoning. Various logical inference systems have been developed in order to characterize such human reasoning. The strength of such a properly logical analysis of human reasoning lies in its productivity and predictive power; it enables the theorist to define precisely which data-space the theory covers and then mathematically prove that the the...

Temporal Action Logic is a well established logical formalism for reasoning about action and change using an explicit time representation that makes it suitable for applications that involve complex temporal reasoning. We take advantage of constraint satisfaction technology to facilitate such reasoning through temporal constraint networks. Extensions are introduced that make generation of actio...

Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of express rules of law, legal ontologies may be implied to encompass the combinatorial explosion of possible cases that may lack one or more of the express antecedents in the deductive rule system. Express ontologies in ind...

This paper reports work in progress on active and deductive databases. Active rules are used for a variety of purposes, prominent amongst which are integrity enforcement, view maintenance and actions output to the environment. In this paper we argue that a package of deductive databases, temporal reasoning, integrity enforcement and abduction captures and possibly extends the first two main use...