K. R. Apt, D. S. Warren, and M. Truszczynski (editor). The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....to go. 1.2 Concurrency and Logic Programming The raison d etre and the challenge of symbolic languages are to construct highly sophisticated software which would be too complicated or unmanageable if written in other languages. Logic programming has found and addressed a number of such fields [4]. While many of those fields such as databases, constraints, machine learning, natural languages, etc. are more or less related to Artificial Intelligence, concurrency seems special in the sense that, although somewhat related to AI through agent technologies, its principal connection is to ....

Apt, K. R., Marek, V. W., Truszczynski M., and Warren D. S. (eds.), The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, Berlin, 1999.

.... main manifestation of this computing paradigm is via the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [14] The reference [1] contains a good survey of the growth of logic programming over the last twenty ve years both as a stand alone programming language and as a software component of large information systems. One advantage a logic program P has over conventional imperative and object oriented programs is that it ....

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S., The Logic Programming Paradigm: A 25-Year Perspective, Springer, Berlin, 1999.

....that the information contained in access control policies (policies, for short) and credentials can be expressed as finite sets of statements in a formal language with a well defined semantics. XML or logic programming languages with appropriate semantics may be suitable languages in practice [8, 1]. For convenience, we will assume that the original language allows us to describe the meaning of a set of statements as the set of all models that satisfy the set of statements, in the usual logic sense. We say that a set X of statements satisfies a set of statements P if and only if P is true in ....

K. R. Apt, D. S. Warren, and M. Truszczynski (editor). The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.

....as a position paper in which, as a rst step, an architecture for KIDM is proposed whose main novelty lies in the idea of a KID engine (KIDE) integrating induction and deduction. The very idea has only been made viable by a range of recent advances in applying the logic programming paradigm [2] to a host of problems in the broad area of knowledge representation and processing. The long term, wide ranging problem that motivates the research programme envisaged here can, therefore, be stated as follows: without increasing the throughput in KIDM tasks, the information needs of ....

K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, editors. The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999. ISBN 3-54065463 -1.

.... be in place in a context that particularly suits the database view on KIDM via the deductive database paradigm [6, 7, 15] Such foundations lie in research into inductive logic programming (ILP) 12, 16, 17] ILP applies classical machine learning techniques [11] to the induction of logic programs [2, 13]. Inducing, from examples, a logic program that characterizes a concept or a function is a form of knowledge creation. Given that many database concepts can be formulated as logic programs (e.g. database states, views, integrity constrains, implicit data, schema definitions) 6, 7, 15] there has ....

K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, editors. The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999. ISBN 3-540-65463-1.

.... main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10] The reference [2] contains a good survey of the growth of logic programming over the last twenty ve years both as a stand alone programming language and as a software component of large information systems. One advantage a logic program P has over conventional imperative and object oriented programs is that it ....

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S. The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin, 1999.

.... main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10] The reference [1] contains a good survey of the growth of logic programming over the last twenty five years both as a stand alone programming language and as a software component of large information systems. One advantage a logic program P has over conventional imperative and object oriented programs is that it ....

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S. The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin, 1999.

....that a driver s license be presented, and that the state named in the license not be Wisconsin. Suitable subsets of popular logics and their associated semantics have already been identified in previous work, e.g. stable models and the well founded semantics from the logic programming community [1]. The negotiation examples in the next section use propositional logic without negation, because its semantics will already be familiar to the reader, allowing us in this short paper to focus on the properties of the negotiation strategy, rather than on explanations of our handling of variables, ....

Krzysztof R. Apt, David S. Warren, and Mirek Truszczynski (editors), The Logic Programming Paradigm: A 25-Year Perspective, Springer-Verlag, 1999.

....of Priess Crampe and Ribenboim. 1 Introduction In simple terms, logic programming is concerned with the use of logic as a programming language. What this means in practice is making deductions from sets of clauses, or rules, by means of an interpreter or automated theorem prover. The reference [3] is an excellent account of the growth of logic programming and of its current status as a major tool in various parts of computer science, such as database systems, arti cial intelligence, natural language processing, machine learning and building expert systems etc. For most of its rst twenty ....

.... generally within computer science, but also refers to the growing trend in large systems and industrial applications of using logic programming languages in partnership with languages such as Java, with di erent tasks being undertaken in di erent languages and interfaces provided between them, see [3] for illustrations of these developments. A logic programming system comprises four main facets: i) the syntax or expressiveness of the system and its computational adequacy (the ability, or otherwise, to compute all partial recursive functions) ii) the procedural semantics of the system or, ....

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S. The Logic Programming Paradigm: A 25-Year Perspective, Springer, Berlin, 1999.

....of Priess Crampe and Ribenboim. 1 Introduction In simple terms, logic programming is concerned with the use of logic as a programming language. What this means in practice is making deductions from sets of clauses, or rules, by means of an interpreter or automated theorem prover. The reference [3] is an excellent account of the growth of logic programming and of its current status as a major tool in various parts of computer science, such as database 1991 Mathematics Subject Classification. 54H25, 68N17, 68Q55. The first named author acknowledges financial support under grant SC 98 621 ....

.... within computer science, but also refers to the growing trend in large systems and industrial applications of using logic programming languages in partnership with languages such as Java, with different tasks being undertaken in different languages and interfaces provided between them, see [3] for illustrations of these developments. A logic programming system comprises four main facets: i) the syntax or expressiveness of the system and its computational adequacy (the ability, or otherwise, to compute all partial recursive functions) ii) the procedural semantics of the system or, ....

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S. The Logic Programming Paradigm: A 25-Year Perspective, Springer, Berlin, 1999.

No context found.

K. R. Apt, D. S. Warren, and M. Truszczynski (editor). The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.

No context found.

K. R. Apt, D. S. Warren, and M. Truszczynski, editors. The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.

No context found.

K. R. Apt, D. S. Warren, and M. Truszczynski (editor). The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, 1999.

No context found.

Apt, K.R., Marek, V.W., Truszczynski, M. and Warren, D.S. (Eds.), The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC