In recent years, several approaches for dealing with updates of logic programs have been proposed. In this paper, we describe the system upd, an implementation of the update formalism due to Eiter et al. this method i...
详细信息
this paper motivates and introduces entailment problems over nonmonotonic theories some of whose predicates - called open predicates - are not (completely) specified. More precisely, we are interested in those inferen...
详细信息
A popular trend in current software technology is to;gain program portabilty by compiling programs to an intermediate from based on an abstract machine definition. Such approaches date back at least to the 1970s, but ...
详细信息
ISBN:
(纸本)0769509541
A popular trend in current software technology is to;gain program portabilty by compiling programs to an intermediate from based on an abstract machine definition. Such approaches date back at least to the 1970s, but have achieved new impetus based on the current population of rite programming language Java. Implementations of language Java compile programs to bytecodes under stood by the Java Virtual Machine (JVM). More recently Microsoft have released preliminary details of their ".NET" platform, which is based on air abstract machine superficially similar the JVM. In each case program execution is normally mediated by a just in time compiler (JIT), although in principle interpretative execution is also possible. Although these two competing technologies share some common aims the objectives of the virtual machine designs are significantly different. In particular the ease with which embedded systems might use small-footprint versions of these virtual machines depends on detailed properties of the machine definitions. In this study, a compiler was implemented which can produce output code that may be,run on either the JVM or .NET platforms.. the compiler is available ill the public domain, and facilitates comparisons to be made both at compile time and at runtime.
We present a method to learn simultaneously definitions for a concept and its negation. this problem is relevant when we have to deal with a complex domain where it is difficult to acquire a complete theory and where ...
详细信息
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reached about which semantics is the most...
详细信息
We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). the system aspps is designed to process PS-theories. It consists of two ...
详细信息
this paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logic program, preference information is expressed...
详细信息
logic programs P and Q are strongly equivalent if, given any logic program R, programs P ∩ R and Q ∩ R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalen...
详细信息
Character recognition systems can contribute tremendously to the advancement of the automation process and can improve the interaction between man and machine in many applications, including office automation, cheque ...
详细信息
ISBN:
(纸本)0769512631
Character recognition systems can contribute tremendously to the advancement of the automation process and can improve the interaction between man and machine in many applications, including office automation, cheque verification and a large variety of banking, business and data entry applications. the main theme of this paper is the automatic recognition of hand-printed Arabic characters using machine learning. Conventional methods have relied on hand-constructed dictionaries which are tedious to construct and difficult to make tolerant to variation in writing styles. the advantages of machine learning are that it can generalize over the large degree of variation between writing styles and recognition rules can be constructed by example. the system was tested on a sample of handwritten characters from several individuals whose writing ranged from acceptable to poor in quality and the correct average recognition rate obtained using cross-validation was 86.65%.
the language Ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from a...
详细信息
暂无评论