Results 1 - 10 of 702

Knowledge Interchange Format Version 3.0 Reference Manual

by Michael Genesereth, Richard E. Fikes, Ronald Brachman, Thomas Gruber, Patrick Hayes, Reed Letsinger, Vladimir Lifschitz, Robert Macgregor, John Mccarthy, Peter Norvig, Ramesh Patil , 1992
"... : Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); ..."
Abstract - Cited by 484 (14 self) - Add to MetaCart
: Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions

Logic Programming in the LF Logical Framework

by Frank Pfenning , 1991
"... this paper we describe Elf, a meta-language intended for environments dealing with deductive systems represented in LF. While this paper is intended to include a full description of the Elf core language, we only state, but do not prove here the most important theorems regarding the basic building b ..."
Abstract - Cited by 188 (53 self) - Add to MetaCart
languages, type checking and type inference, etc. The basic idea behind Elf is to unify logic definition (in the style of LF) with logic programming (in the style of Prolog, see [22, 24]). It achieves this unification by giving types an operational interpretation, much the same way that Prolog gives certain

Well Founded Semantics for Logic Programs with Explicit Negation

by Luís Moniz Pereira , José Júlio Alferes - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE , 1992
"... The aim of this paper is to provide a semantics for general logic programs (with negation by default) extended with explicit negation, subsuming well founded semantics [22]. The Well Founded semantics for extended logic programs (WFSX) is expressible by a default theory semantics we have devised [11 ..."
Abstract - Cited by 130 (54 self) - Add to MetaCart
The aim of this paper is to provide a semantics for general logic programs (with negation by default) extended with explicit negation, subsuming well founded semantics [22]. The Well Founded semantics for extended logic programs (WFSX) is expressible by a default theory semantics we have devised

A New Deconstructive Logic: Linear Logic

by Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx , 1995
"... The main concern of this paper is the design of a noetherian and confluent normalization for LK 2 (that is, classical second order predicate logic presented as a sequent calculus). The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different a ..."
Abstract - Cited by 127 (11 self) - Add to MetaCart
as Girard's LC and Parigot's , FD ([9, 11, 27, 31]), delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' ([22, 23]) to classical logic; it is painless: since we reduce strong normalization and confluence to the same

Introducing Generalized Specificity in Logic Programming

by Frieder Stolzenburg, Alejandro J. García, Carlos I. Chesñevar, Guillermo R. Simari , 2000
"... Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. Therefore, a criterion for deciding between them is needed. Several extensions of logic programming consid ..."
Abstract - Cited by 15 (4 self) - Add to MetaCart
Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. Therefore, a criterion for deciding between them is needed. Several extensions of logic programming

Automatic Termination Analysis of Logic Programs

by Naomi Lindenstrauss, Yehoshua Sagiv - Proceedings of the Fourteenth International Conference on Logic Programming , 1997
"... This paper describes a system implemented in SICStus Prolog for automatically checking left termination of logic programs. Given a program and query, the system answers either that the query terminates or that there may be non-termination. The system can use any norm of a wide family of norms. It ca ..."
Abstract - Cited by 63 (3 self) - Add to MetaCart
This paper describes a system implemented in SICStus Prolog for automatically checking left termination of logic programs. Given a program and query, the system answers either that the query terminates or that there may be non-termination. The system can use any norm of a wide family of norms

Abduction Over 3-Valued Extended Logic Programs

by Carlos Viegas Damásio, Luís Moniz Pereira - IN INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING , 1995
"... this paper, provides a representational expressivity that captures a wide variety of logical reasoning forms [6, 16, 22]. The two forms of negation, default and explicit, are not unrelated: the "coherence principle" stipulates that the latter entails the former. Of course, introducing expl ..."
Abstract - Cited by 16 (8 self) - Add to MetaCart
this paper, provides a representational expressivity that captures a wide variety of logical reasoning forms [6, 16, 22]. The two forms of negation, default and explicit, are not unrelated: the "coherence principle" stipulates that the latter entails the former. Of course, introducing

Belief, Probability, and Logic Programs

by José Júlio Alferes, Luís Moniz Pereira, W. Marek
"... This article was processed using the L a T E X macro package with LLNCS style 21. R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th Int. Conf. on LP. MIT Press, 1990. 22. P. Lamarre and Y. Shoham. On knowledge, certainty, and belief (draft). Personal comm ..."
Abstract - Add to MetaCart
This article was processed using the L a T E X macro package with LLNCS style 21. R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th Int. Conf. on LP. MIT Press, 1990. 22. P. Lamarre and Y. Shoham. On knowledge, certainty, and belief (draft). Personal

22nd Workshop on (Constraint) Logic Programming

by Sibylle Schwarz (ed, Sibylle Schwarz (ed, L At, E X-style, Winfried Geis, Thomas Merkle, Adapted Paul Molitor , 2008
"... Permit granted by University Stuttgart [25/05/2007] Preface This volume contains all 11 papers presented at WLP 2008: 22nd Workshop on (Constraint) Logic Programming ..."
Abstract - Add to MetaCart
Permit granted by University Stuttgart [25/05/2007] Preface This volume contains all 11 papers presented at WLP 2008: 22nd Workshop on (Constraint) Logic Programming

Materials for an exploratory theory of the network society.

by Manuel Castells , Anthony Giddens , Alain Touraine , Anthony Smith , Benjamin Barber , Peter Hall , Roger-Pol Droit , Sophie Watson , Frank Webster , Krishan Kumar , David Lyon , Craig Calhoun , Jeffrey Henderson , Ramon Ramos , Jose E Rodrigues-Ibanez , Jose F Tezanos , Mary Kaldor , Stephen Jones , Christopher Freeman - The British Journal of Sociology , 2000
"... ABSTRACT This article aims at proposing some elements for a grounded theor y of the network society. The network society is the social structure characteristic of the Information Age, as tentatively identi ed by empirical, cross-cultural investigation. It permeates most societies in the world, in v ..."
Abstract - Cited by 122 (0 self) - Add to MetaCart
that the automaton will follow? Social actors, naturally. Thus, there is a social struggle to assign goals to the network. But once the network is programmed, it imposes its logic to all its members (actors). Actors will have to play their strategies within the rules of the network. To assign different goals
Results 1 - 10 of 702