Results 1  10
of
76,446
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 628 (74 self)
 Add to MetaCart
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world
Strategies for Logic Programming Languages
"... . Logic programs consist of formulas of mathematical logic and various prooftheoretic techniques can be used to design and analyse execution models for such programs. We briefly review the main problems, which are questions that are still elusive in the design of logic programming languages, from a ..."
Abstract
 Add to MetaCart
. Logic programs consist of formulas of mathematical logic and various prooftheoretic techniques can be used to design and analyse execution models for such programs. We briefly review the main problems, which are questions that are still elusive in the design of logic programming languages, from
Deriving Logic Programming Languages
, 1996
"... Given a logic we would like to derive from it a programming language. In order to do this we need to have a formal litmus test which identifies logic programming languages. The standard test is uniformity introduced by Miller, Nadathur, Pfenning and Scedrov. Uniformity suffers from a number of short ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
Given a logic we would like to derive from it a programming language. In order to do this we need to have a formal litmus test which identifies logic programming languages. The standard test is uniformity introduced by Miller, Nadathur, Pfenning and Scedrov. Uniformity suffers from a number
Temporal and Modal Logic Programming Languages
 In A. Kent and J.G. Williams (Eds.), Encyclopedia of Microcomputers
, 2001
"... Temporal and modal logics have been used in many applications in Arti cial Intelligence and Computer Science for the manipulation of information with timedependent or, in general, contextdependent properties. Knowledge representation and reasoning, temporal planning, simulation, temporal veri catio ..."
Abstract

Cited by 6 (2 self)
 Add to MetaCart
cation, and description of agent systems, are among the applications for which temporal and modal logics have been proven useful. Programming languages based on Temporal or Modal Logics, provide powerful executable formalisms for implementing such applications. In this article we introduce the basic
Logic Programming Languages for the Internet
 PROCEEDINGS OF THE 12TH EUROPEAN WORKSHOP ON KNOWLEDGE ACQUISITION, MODELLING, AND MANAGEMENT (EKAW’00), VOLUME 1937 OF LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
, 2001
"... We specify the major characteristics of the Internet under the headings: heterogeneity, service characteristics, dynamic nature, no global notions, and unreliability (i.e. security and partial failure). In the process, we identify ve categories of Internet services: hosts, active entities, agen ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
, agents, semistructured data, and passive code. Logic Programming (LP)
A Visual Logic Programming Language
 IN PROC. OF THE 12TH IEEE SYMPOSIUM ON VISUAL LANGUAGES
, 1996
"... It is commonly accepted that nonlogicians have difficulty in expressing themselves in first order logic. Part of the visual language community is concerned with providing visual notations ("declarative diagrams") which use visual cues to make the structuring of logical expressions more in ..."
Categorical Description of Dynamic Fuzzy Logic Programming Language*
"... Abstract—First, this paper gives the relative basic theory of dynamic fuzzy logic, and introduces the basic data types of dynamic fuzzy logic. Then we introduce the basic data types of dynamic fuzzy logic and the abstract syntax of dynamic fuzzy logic programming language. At last, this paper gives ..."
Abstract
 Add to MetaCart
Abstract—First, this paper gives the relative basic theory of dynamic fuzzy logic, and introduces the basic data types of dynamic fuzzy logic. Then we introduce the basic data types of dynamic fuzzy logic and the abstract syntax of dynamic fuzzy logic programming language. At last, this paper gives
A logic programming language with lambdaabstraction, function variables, and simple unification
 Extensions of Logic Programming. Springer Lecture Notes in Artificial Intelligence
, 1990
"... A meta programming language must be able to represent and manipulate such syntactic structures as programs, formulas, types, and proofs. A common characteristic of all these structures is that they involve notions of abstractions, scope, bound and free variables, substitution instances, and equality ..."
Abstract

Cited by 314 (27 self)
 Add to MetaCart
A meta programming language must be able to represent and manipulate such syntactic structures as programs, formulas, types, and proofs. A common characteristic of all these structures is that they involve notions of abstractions, scope, bound and free variables, substitution instances
A Logic Programming Language for MultiAgent Systems
 Logics in Artificial Intelligence, Proc. of the 8th Europ. Conf., JELIA 2002, LNAI 2424
, 2002
"... This paper presents a new logic programming language for modelling Agents and MultiAgent systems in computational logic. The basic objective of the specification of this new language has been the identification and the formalization of what we consider to be the basic patterns for reactivity, p ..."
Abstract

Cited by 48 (31 self)
 Add to MetaCart
This paper presents a new logic programming language for modelling Agents and MultiAgent systems in computational logic. The basic objective of the specification of this new language has been the identification and the formalization of what we consider to be the basic patterns for reactivity
Expressive Type Systems for Logic Programming Languages
, 2002
"... The aim of this thesis is the design of a type system for an industrial strength logic programming language. The type system we describe has been implemented for the Mercury programming language, in the Melbourne Mercury compiler. ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
The aim of this thesis is the design of a type system for an industrial strength logic programming language. The type system we describe has been implemented for the Mercury programming language, in the Melbourne Mercury compiler.
Results 1  10
of
76,446