Sciweavers

57 search results - page 1 / 12
» A Logical Foundation for Environment Classifiers
Sort
View
TLCA
2009
Springer
14 years 5 months ago
A Logical Foundation for Environment Classifiers
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
Takeshi Tsukada, Atsushi Igarashi
ATAL
1995
Springer
14 years 2 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
INFORMATICALT
2000
108views more  INFORMATICALT 2000»
13 years 11 months ago
Theoretical Foundations of an Environment-Based Multiparadigm Language
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
Mario Blazevic, Zoran Budimac, Mirjana Ivanovic
JAIR
2008
173views more  JAIR 2008»
13 years 11 months ago
Computational Logic Foundations of KGP Agents
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
CI
2006
94views more  CI 2006»
13 years 11 months ago
Against Optimality: Logical Foundations for Decision-Theoretic Planning in Autonomous Agents
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
John L. Pollock