Digital library is a very interesting phenomenon in the world of libraries. In this era of globalization, the digital library is needed by students, faculty, and the community in the search for quick reference through internet access, so that students, faculty, and the community does not have to come directly to the library. Accessing collections of digital libraries can also be done anytime an...

Farming is one of the activities that have a business opportunity. One is raising ducks. The main results can be obtained from the breeding duck is a duck meat and eggs for consumption and also means praying ceremony in Bali, as well as duck egg shells that can be used for jewelry. Since the outbreak of avian influenza began in 2008, have an impact on consumer demand of ducks decreased and cons...

Structured derivations were introduced by Back and von Wright as an extension of the calculational proof style originally proposed by E.W. Dijkstra and his colleagues. Structured derivations added nested subderivations and inherited assumptions to the original calculational style. This paper introduces a further extension of the structured derivation format, and gives a precise syntax and seman...

There are a number of cut-free sequent calculus proof systems known that are complete for first-order intuitionistic logic. Proofs in these different systems can vary a great deal from one another. We are interested in providing a flexible and unifying framework that can collect together important aspects of many of these proof systems. First, we suggest that one way to unify these proof system...

This paper outlines Geometry Explorer, a prototype system that allows users to create Euclidean geometry constructions using a dynamic geometry interface, specify conjectures about them and then use a full-angle method prover to automatically produce diagram independent, human-readable proofs to theorems. Our system can then automatically generate novel diagrammatic proofs of the forward-chaini...

AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditionally used in AI planning systems are not necessarily the best ones to use for practical planning problems. In this paper, we discuss some of the difficulties that can result from the use of backward chaining and partial...

This paper introduces first an expert system shell based on stratified forward chaining. The stratified forward chaining was proposed as a generalization for the inheritance networks with exception since it allows more than one antecedent in the premises part of a rule. Expert systems built with this tool are rule based and the user interface is web based. The practical use of this chaining is ...

Recent studies on change detection for RDF data have focused on minimizing the delta size and, as a way to exploit the semantics of RDF models in reducing the delta size, the forward-chaining inferences have been widely employed. However, since the forwardchaining inferences should pre-compute the entire closure of the RDF model, the existing approaches are not scalable to large RDF data sets. ...