Declarative programming for agent applications

Authors:
J. W. Lloyd;K. S. Ng
Affiliations:
College of Engineering and Computer Science, The Australian National University, Canberra, Australia;College of Engineering and Computer Science, The Australian National University, Canberra, Australia
Venue:
Autonomous Agents and Multi-Agent Systems
Year:
2011

Citing 58
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
An introduction to mathematical logic and type theory: to truth through proof

An introduction to mathematical logic and type theory: to truth through proof
First-order logic and automated theorem proving

First-order logic and automated theorem proving
An analysis of first-order logics of probability

Artificial Intelligence
Probabilistic logic programming

Information and Computation
Reasoning about knowledge and probability

Journal of the ACM (JACM)
The Go¨del programming language

The Go¨del programming language
Higher order logic

Handbook of logic in artificial intelligence and logic programming
Reasoning about knowledge

Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
First-order modal logic

First-order modal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Stochastic lambda calculus and monads of probability distributions

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Agents dealing with time and uncertainty

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Neuro-Dynamic Programming

Neuro-Dynamic Programming
Probabilistic Reasoning in Multi-Agent Systems: A Graphical Models Approach

Probabilistic Reasoning in Multi-Agent Systems: A Graphical Models Approach
Agent Programming in 3APL

Autonomous Agents and Multi-Agent Systems
Learning Decision Lists

Machine Learning
An Overview of Temporal and Modal Logic Programming

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Multi-dimensional Dynamic Knowledge Representation

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
MINERVA - A Dynamic Logic Programming Agent Architecture

ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Incremental Closure of Free Variable Tableaux

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Modeling Uncertainty in Deductive Databases

DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
Higher-order unification and matching

Handbook of automated reasoning
Types, Tableaus, and Godel's God

Types, Tableaus, and Godel's God
Logic and Learning

Logic and Learning
Probabilistic logic learning

ACM SIGKDD Explorations Newsletter
Special issue: Modalities in type theory

Mathematical Structures in Computer Science
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents

Annals of Mathematics and Artificial Intelligence
Improving the Learning Rate by Inducing a Transition Model

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Exploiting first-order regression in inductive policy selection

UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
An agent-based approach to dialogue management in personal assistants

Proceedings of the 10th international conference on Intelligent user interfaces
Functional programming with names and necessity

Functional programming with names and necessity
FLUX: A logic programming method for reasoning agents

Theory and Practice of Logic Programming
Personalisation for user agents

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)

The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
An adaptive plan-based dialogue agent: integrating learning into a BDI architecture

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Pattern Recognition and Machine Learning (Information Science and Statistics)

Pattern Recognition and Machine Learning (Information Science and Statistics)
Multimodal logic programming

Theoretical Computer Science
The design and implementation of VAMPIRE

AI Communications - CASC
Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)

Introduction to Statistical Relational Learning (Adaptive Computation and Machine Learning)
Learning Modal Theories

Inductive Logic Programming
Practical solution techniques for first-order MDPs

Artificial Intelligence
Probabilistic modelling, inference and learning using logical theories

Annals of Mathematics and Artificial Intelligence
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
Learning probabilistic relational models

IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
First-order probabilistic inference

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Lifted first-order probabilistic inference

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
BLOG: probabilistic models with unknown objects

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Reflections on agent beliefs

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Isabelle/HOL: a proof assistant for higher-order logic

Isabelle/HOL: a proof assistant for higher-order logic
First-order decision-theoretic planning in structured relational environments

First-order decision-theoretic planning in structured relational environments
Learning within the BDI framework: an empirical analysis

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
METATEM: the story so far

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
A tutorial on particle filters for online nonlinear/non-GaussianBayesian tracking

IEEE Transactions on Signal Processing
Factor graphs and the sum-product algorithm

IEEE Transactions on Information Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic programming idioms, higher-order functions, modal computation, probabilistic computation, and some theorem-proving capabilities. The need for these features is motivated and examples are given to illustrate the central ideas.