1 Introduction In this paper we provide very broad notions of deduction and consequence for logic programs (so-called LP-deduction relations and LP-consequence relations), and we prove that under very modest assumptions, an LP-deduction relation will be either unsound or incomplete with respect to every LP-consequence relation. Throughout this paper we assume a non-logical alphabet, K, which in...

We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitionistic modal logic IS4. This calculus, suitable for the enumeration of normal proofs, is the starting point for the development of a sequent calculus-based bidirectional decision procedure for propositional IS4. In this...

In this paper we propose an extension, SEDatalog, of Datalog so that sets can be constructed naturally in logic programming. In SEDatalog, sets can be defined by statements so it has a strong capability in creating sets, and we can use sets in SEDatalog exactly in the way we use them in mathematics or other fields. With the notion of ”order” introduced in this paper, confusions among set constr...

The process of sorting softwood raw materials is aimed at full automation. Techniques such as laser and optical scanning, used in measuring wood material with the layer bark, are based on an analysis external shape log. consequence this use constant ranges bark deductions, which often affected by errors resulting from averaging values. thickness influenced many factors, tree species quality hab...

The approach presented suggests a new way of supporting planning processes. Planners from various disciplines can test and discuss planning scenarios at a workbench, where a virtual landscape is visualized in a 3D real-time environment. With the defined paradigm of ‘landscape editing’, planners can model and manipulate virtual landscapes intuitively. They can transform, add, move and delete by ...