-
G. De Giacomo and H. J. Levesque.
An incremental interpreter for high-level programs with sensing.
In H. J. Levesque and F. Pirri, editors,Logical Foundation for cognitive agents: contributions in honor of Ray Reiter,
pages 86--102.
Springer,
Berlin,
1999.
Keywords:
agent programming languages,
situation calculus,
honours reading.
@InCollection{De_Giacomo1999,
author = "G. De Giacomo and H. J. Levesque",
title = "An incremental interpreter for high-level programs with sensing",
booktitle = "Logical Foundation for cognitive agents: contributions in honor of Ray Reiter",
editor = "H. J. Levesque and F. Pirri",
publisher = "Springer",
address = "Berlin",
pages = "86--102",
keywords = "agent programming languages, situation calculus, honours reading",
year = "1999",
}
-
Joseph Y. Halpern and Richard A. Shore.
Reasoning about Common Knowledge with Infinitely Many Agents.
In Logic in Computer Science,
pages 384--393.
1999.
Keywords:
epistemic logic,
honours reading.
@InCollection{Halpern1999b,
author = "Joseph Y. Halpern and Richard A. Shore",
title = "Reasoning about Common Knowledge with Infinitely Many Agents",
booktitle = "Logic in Computer Science",
pages = "384--393",
keywords = "epistemic logic, honours reading",
year = "1999",
}
-
Michael N. Huhns and Larry M. Stephens.
Multiagent Systems and Societies of Agents.
In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence,
pages 79--120.
MIT Press,
Cambridge, MA, USA,
1999.
Keywords:
agents,
artificial intelligence,
honours reading.
@InCollection{Huhns1999,
author = "Michael N. Huhns and Larry M. Stephens",
title = "Multiagent Systems and Societies of Agents",
booktitle = "Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence",
editor = "Gerhard Wei{\ss}",
publisher = "MIT Press",
address = "Cambridge, MA, USA",
pages = "79--120",
keywords = "agents, artificial intelligence, honours reading",
year = "1999",
}
-
Yves Lesperance.
Situation Calculus.
In Frank C. Keil and Robert A. Wilson, editors,The MIT encyclopedia of the cognitive sciences,
pages 771--772.
MIT Press,
Cambridge, Mass.,
1999.
Note: 99011115 GB99-44540 edited by Robert A. Wilson and Frank C. Keil. A Bradford book. Includes bibliographical references and indexes.
Keywords:
honours reading,
situation calculus,
modal logic,
model theory.
@InCollection{Lesperance1999,
author = "Yves Lesperance",
title = "Situation Calculus",
booktitle = "The MIT encyclopedia of the cognitive sciences",
editor = "Frank C. Keil and Robert A. Wilson",
publisher = "MIT Press",
address = "Cambridge, Mass.",
pages = "771--772",
note = "99011115 GB99-44540 edited by Robert A. Wilson and Frank C. Keil. {"}A Bradford book.{"} Includes bibliographical references and indexes.",
keywords = "honours reading, situation calculus, modal logic, model theory",
year = "1999",
}
-
Tuomas W. Sandholm.
Distributed Rational Decision Making.
In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence,
pages 201--258.
MIT Press,
Cambridge, MA, USA,
1999.
Keywords:
agents,
artificial intelligence,
honours reading.
@InCollection{Sandholm1999,
author = "Tuomas W. Sandholm",
title = "Distributed Rational Decision Making",
booktitle = "Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence",
editor = "Gerhard Wei{\ss}",
publisher = "MIT Press",
address = "Cambridge, MA, USA",
pages = "201--258",
keywords = "agents, artificial intelligence, honours reading",
year = "1999",
}
-
Sandip Sen and Gerhard Weiss.
Learning in Multiagent Systems.
In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence,
pages 259--298.
MIT Press,
Cambridge, MA, USA,
1999.
Keywords:
machine learning,
inductive logic programming,
honours reading,
agents.
@InCollection{Sen1999,
author = "Sandip Sen and Gerhard Wei{\ss}",
title = "Learning in Multiagent Systems",
booktitle = "Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence",
editor = "Gerhard Wei{\ss}",
publisher = "MIT Press",
address = "Cambridge, MA, USA",
pages = "259--298",
keywords = "machine learning, inductive logic programming, honours reading, agents",
year = "1999",
}
-
Gerhard Weiss and Pierre Dillenbourg.
What is 'multi' in Multiagent Learning?.
In Pierre Dillenbourg, editor,Collaborative learning. Cognitive and computational approaches,
pages 64--80.
Pergamon Press,
1999.
Keywords:
machine learning,
inductive logic programming,
honours reading,
agents.
@InCollection{Weiss1999b,
author = "Gerhard Weiss and Pierre Dillenbourg",
title = "What is 'multi' in Multiagent Learning?",
booktitle = "Collaborative learning. Cognitive and computational approaches",
editor = "Pierre Dillenbourg",
publisher = "Pergamon Press",
pages = "64--80",
keywords = "machine learning, inductive logic programming, honours reading, agents",
year = "1999",
}
-
Michael J. Wooldridge.
Intelligent Agents.
In Gerhard Weiss, editor,Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence,
pages 27--77.
MIT Press,
Cambridge, MA, USA,
1999.
Keywords:
agents,
artificial intelligence,
honours reading.
@InCollection{Wooldridge1999b,
author = "Michael J. Wooldridge",
title = "Intelligent Agents",
booktitle = "Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence",
editor = "Gerhard Wei{\ss}",
publisher = "MIT Press",
address = "Cambridge, MA, USA",
pages = "27--77",
keywords = "agents, artificial intelligence, honours reading",
year = "1999",
}
-
Jim Blythe.
Decision-Theoretic Planning.
AI Magazine,
20(2):37--54,
1999.
Keywords:
planning,
honours reading,
decision theory.
@Article{Blythe1999,
author = "Jim Blythe",
title = "Decision-Theoretic Planning",
journal = "AI Magazine",
volume = "20",
number = "2",
pages = "37--54",
keywords = "planning, honours reading, decision theory",
year = "1999",
}
-
Craig Boutilier,
Thomas Dean,
and Steve Hanks.
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage.
Journal of Artificial Intelligence Research,
11:1--94,
1999.
Keywords:
Markov theory,
honours reading.
@Article{Boutilier1999,
author = "Craig Boutilier and Thomas Dean and Steve Hanks",
title = "Decision-Theoretic Planning: Structural Assumptions and Computational Leverage",
journal = "Journal of Artificial Intelligence Research",
volume = "11",
pages = "1--94",
keywords = "Markov theory, honours reading",
year = "1999",
}
-
Craig Boutilier,
Thomas Dean,
and Steve Hanks.
Decision-Theoretic Planning: Structural Assumptions and Computational Leverage.
Journal of Artificial Intelligence Research,
11:1--94,
1999.
Keywords:
planning,
honours reading,
decision theory.
@Article{Boutilier1999b,
author = "Craig Boutilier and Thomas Dean and Steve Hanks",
title = "Decision-Theoretic Planning: Structural Assumptions and Computational Leverage",
journal = "Journal of Artificial Intelligence Research",
volume = "11",
pages = "1--94",
keywords = "planning, honours reading, decision theory",
year = "1999",
}
-
B. Chandrasekaran,
J. R. Josephson,
and V. R. Benjamins.
Ontologies: What are they? wy do we need them?.
IEEE Intelligent Systems and their applications,
14(1):20--26,
1999.
Keywords:
ontologies,
honours reading.
@Article{Chandrasekaran1999,
author = "B. Chandrasekaran and J. R. Josephson and V. R. Benjamins",
title = "Ontologies: What are they? wy do we need them?",
journal = "IEEE Intelligent Systems and their applications",
volume = "14",
number = "1",
pages = "20--26",
keywords = "ontologies, honours reading",
year = "1999",
}
-
B. Chandrasekaran,
J. R. Josephson,
and V. R. Benjamins.
What are agent-oriented software engineering, and why do we need them?.
IEEE Intelligent Systems,
14(1):20--6,
1999.
Note: Publisher: IEEE, USA.
Keywords:
ontologies,
honours reading.
| Abstract: |
"This survey provides a conceptual introduction to agent-oriented software engineering and their role in information systems and AI. The authors also discuss how agent-oriented software engineering clarify the domain's structure of knowledge and enable knowledge sharing. (18 References)." |
@Article{Chandrasekaran1999b,
author = "B. Chandrasekaran and J. R. Josephson and V. R. Benjamins",
title = "What are agent-oriented software engineering, and why do we need them?",
journal = "IEEE Intelligent Systems",
volume = "14",
number = "1",
pages = "20--6",
note = "Publisher: IEEE, USA.",
abstract = "This survey provides a conceptual introduction to agent-oriented software engineering and their role in information systems and AI. The authors also discuss how agent-oriented software engineering clarify the domain's structure of knowledge and enable knowledge sharing. (18 References).",
keywords = "ontologies, honours reading",
year = "1999",
}
-
T. Eiter and V. S. Subrahmanian.
Heterogeneous active agents. II. Algorithms and complexity.
Artificial Intelligence,
108(1-2):257--307,
1999.
Note: Publisher: Elsevier, Netherlands.
Keywords:
agent programming languages,
honours reading.
| Abstract: |
"For pt.I see ibid., p.179-255. In that part, we developed a language called Agent Programs for defining the operational behavior of software agents and defined a set of successively more satisfying (epistemically) semantics for such agent programs. In this part, we study the computation price to be paid (in terms of complexity) for these epistemic desiderata. In particular, we develop algorithms for the above semantics, and describe results on their computational complexity. We show that (surprisingly) the reasonable status set semantics is the easiest to compute of the semantics proposed. (27 References)." |
@Article{Eiter1999,
author = "T. Eiter and V. S. Subrahmanian",
title = "Heterogeneous active agents. {II}. Algorithms and complexity",
journal = "Artificial Intelligence",
volume = "108",
number = "1-2",
pages = "257--307",
note = "Publisher: Elsevier, Netherlands.",
abstract = "For pt.I see ibid., p.179-255. In that part, we developed a language called Agent Programs for defining the operational behavior of software agents and defined a set of successively more satisfying (epistemically) semantics for such agent programs. In this part, we study the computation price to be paid (in terms of complexity) for these epistemic desiderata. In particular, we develop algorithms for the above semantics, and describe results on their computational complexity. We show that (surprisingly) the reasonable status set semantics is the easiest to compute of the semantics proposed. (27 References).",
keywords = "agent programming languages, honours reading",
year = "1999",
}
-
T. Eiter,
V. S. Subrahmanian,
and G. Pick.
Heterogeneous active agents. I. Semantics.
Artificial Intelligence,
108(1-2):179--255,
1999.
Note: Publisher: Elsevier, Netherlands.
Keywords:
agent programming languages,
honours reading.
| Abstract: |
"Over the years, many different agent programming languages have been proposed. In this paper, we propose a concept called agent programs using which the way an agent should act in various situations can be declaratively specified by the creator of that agent. Agent programs may be built on top of arbitrary pieces of software code and may be used to specify what an agent is obliged to do, what an agent may do, and what an agent may not do. In this paper, we define several successively more sophisticated and epistemically satisfying declarative semantics for agent programs. We further show that agent programs cleanly extend well understood semantics for logic programs, and thus are clearly linked to existing results on logic programming and nonmonotonic reasoning. (108 References)." |
@Article{Eiter1999b,
author = "T. Eiter and V. S. Subrahmanian and G. Pick",
title = "Heterogeneous active agents. {I}. Semantics",
journal = "Artificial Intelligence",
volume = "108",
number = "1-2",
pages = "179--255",
note = "Publisher: Elsevier, Netherlands.",
abstract = "Over the years, many different agent programming languages have been proposed. In this paper, we propose a concept called agent programs using which the way an agent should act in various situations can be declaratively specified by the creator of that agent. Agent programs may be built on top of arbitrary pieces of software code and may be used to specify what an agent is obliged to do, what an agent may do, and what an agent may not do. In this paper, we define several successively more sophisticated and epistemically satisfying declarative semantics for agent programs. We further show that agent programs cleanly extend well understood semantics for logic programs, and thus are clearly linked to existing results on logic programming and nonmonotonic reasoning. (108 References).",
keywords = "agent programming languages, honours reading",
year = "1999",
}
-
N. Friedman and J. Y. Halpern.
Belief revision: a critique.
Journal of Logic, Language & Information,
8(4):401--20,
1999.
Note: Publisher: Kluwer Academic Publishers, Netherlands.
Keywords:
belief revision,
honours reading.
| Abstract: |
"We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about the {"}ontology{"} or scenario underlying the belief change process. This is something that has been missing in previous work, with its focus on postulates. Our analysis shows that we must pay particular attention to two issues that have often been taken for granted: the first is how we model the agent's epistemic state. (Do we use a set of beliefs, or a richer structure, such as an ordering on worlds? And if we use a set of beliefs, in what language are these beliefs are expressed?) We show that even postulates that have been called {"}beyond controversy{"} are unreasonable when the agent's beliefs include beliefs about her own epistemic state as well as the external world. The second is the status of observations. (Are observations known to be true, or just believed? In the latter case, how firm is the belief?) Issues regarding the status of observations arise particularly when we consider iterated belief revision, and we must confront the possibility of revising by phi and then by - phi. (15 References)." |
@Article{Friedman1999,
author = "N. Friedman and J. Y. Halpern",
title = "Belief revision: a critique",
journal = "Journal of Logic, Language & Information",
volume = "8",
number = "4",
pages = "401--20",
note = "Publisher: Kluwer Academic Publishers, Netherlands.",
abstract = "We examine carefully the rationale underlying the approaches to belief change taken in the literature, and highlight what we view as methodological problems. We argue that to study belief change carefully, we must be quite explicit about the {"}ontology{"} or scenario underlying the belief change process. This is something that has been missing in previous work, with its focus on postulates. Our analysis shows that we must pay particular attention to two issues that have often been taken for granted: the first is how we model the agent's epistemic state. (Do we use a set of beliefs, or a richer structure, such as an ordering on worlds? And if we use a set of beliefs, in what language are these beliefs are expressed?) We show that even postulates that have been called {"}beyond controversy{"} are unreasonable when the agent's beliefs include beliefs about her own epistemic state as well as the external world. The second is the status of observations. (Are observations known to be true, or just believed? In the latter case, how firm is the belief?) Issues regarding the status of observations arise particularly when we consider iterated belief revision, and we must confront the possibility of revising by phi and then by - phi. (15 References).",
keywords = "belief revision, honours reading",
year = "1999",
}
-
Barbara J. Grosz,
Luke Hunsberger,
and Sarit Kraus.
Planning and Acting Together..
Ai magazine.,
20(4):23,
1999.
Keywords:
planning,
honours reading,
agent programming languages,
logistics.
@Article{Grosz1999,
author = "Barbara J. Grosz and Luke Hunsberger and Sarit Kraus",
title = "Planning and Acting Together.",
journal = "Ai magazine.",
volume = "20",
number = "4",
pages = "23",
keywords = "planning, honours reading, agent programming languages, logistics",
year = "1999",
}
-
K. V. Hindriks,
F. S. De Boer,
Wiebe van der Hoek,
and J. Jc Meyer.
Agent programming in 3APL.
Autonomous Agents & Multi-Agent Systems,
2(4):357--401,
1999.
Note: Publisher: Kluwer Academic Publishers, Netherlands.
Keywords:
honours reading,
agent programming languages,
belief desires intentions,
BDI,
logistics.
| Abstract: |
"An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelligent agents the programmer views programs as entities which have a mental state consisting of beliefs and goals. The computational behaviour of an agent is explained in terms of the decisions the agent makes on the basis of its mental state. It is assumed that this way of looking at programs may enhance the design and development of complex computational systems. To support this new style of programming, we propose the agent programming language 3APL. 3APL has a clear and formally defined semantics. The operational semantics of the language is defined by means of transition systems. 3APL is a combination of imperative and logic programming. From imperative programming the language inherits the full range of regular programming constructs, including recursive procedures, and a notion of state-based computation. States of agents, however, are belief or knowledge bases, which are different from the usual variable assignments of imperative programming. From logic programming, the language inherits the proof as computation model as a basic means of computation for querying the belief base of an agent. These features are well-understood and provide a solid basis for a structured agent programming language. Moreover, on top of that 3APL agents use so-called practical reasoning rules which extend the familiar recursive rules of imperative programming in several ways. (27 References)." |
@Article{Hindriks1999,
author = "K. V. Hindriks and F. S. De Boer and Wiebe van der Hoek and J. Jc Meyer",
title = "Agent programming in 3{APL}",
journal = "Autonomous Agents \& Multi-Agent Systems",
volume = "2",
number = "4",
pages = "357--401",
note = "Publisher: Kluwer Academic Publishers, Netherlands.",
abstract = "An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelligent agents the programmer views programs as entities which have a mental state consisting of beliefs and goals. The computational behaviour of an agent is explained in terms of the decisions the agent makes on the basis of its mental state. It is assumed that this way of looking at programs may enhance the design and development of complex computational systems. To support this new style of programming, we propose the agent programming language 3APL. 3APL has a clear and formally defined semantics. The operational semantics of the language is defined by means of transition systems. 3APL is a combination of imperative and logic programming. From imperative programming the language inherits the full range of regular programming constructs, including recursive procedures, and a notion of state-based computation. States of agents, however, are belief or knowledge bases, which are different from the usual variable assignments of imperative programming. From logic programming, the language inherits the proof as computation model as a basic means of computation for querying the belief base of an agent. These features are well-understood and provide a solid basis for a structured agent programming language. Moreover, on top of that 3APL agents use so-called practical reasoning rules which extend the familiar recursive rules of imperative programming in several ways. (27 References).",
keywords = "honours reading, agent programming languages, belief desires intentions, BDI, logistics",
year = "1999",
}
-
Anil K. Jain,
M. Narasimha Murty,
and Patrick J. Flynn.
Data Clustering: A Review.
ACM Computing Surveys,
31(3):264--323,
1999.
Keywords:
sensor networks,
honours reading,
machine learning.
@Article{Jain1999,
author = "Anil K. Jain and M. Narasimha Murty and Patrick J. Flynn",
title = "Data Clustering: {A} Review",
journal = "ACM Computing Surveys",
volume = "31",
number = "3",
pages = "264--323",
keywords = "sensor networks, honours reading, machine learning",
year = "1999",
}
-
Y. Labrou,
T. Finin,
and Y. Peng.
Agent communication languages: The current landscape.
IEEE Intelligent Systems,
14(2):45--52,
1999.
Keywords:
Agent communication languagess,
honours reading,
logistics.
@Article{Labrou1999,
author = "Y. Labrou and T. Finin and Y. Peng",
title = "Agent communication languages: The current landscape",
journal = "IEEE Intelligent Systems",
volume = "14",
number = "2",
pages = "45--52",
keywords = "Agent communication languagess, honours reading, logistics",
year = "1999",
}
-
Evelina Lamma,
Paola Mello,
Michela Milano,
and Fabrizio Riguzzi.
Integrating Induction and Abduction in Logic Programming.
Information Sciences,
116(1):25--54,
1999.
Keywords:
logic programming,
inductive logic programming,
abductive logic programming,
honours reading.
@Article{Lamma1999,
author = "Evelina Lamma and Paola Mello and Michela Milano and Fabrizio Riguzzi",
title = "Integrating Induction and Abduction in Logic Programming",
journal = "Information Sciences",
volume = "116",
number = "1",
pages = "25--54",
keywords = "logic programming, inductive logic programming, abductive logic programming, honours reading",
year = "1999",
}
-
Victor R. Lesser.
Cooperative Multiagent Systems: A Personal View of the State of the Art.
IEEE Transactions on Knowledge and Data Engineering,
11(1):133--142,
1999.
Keywords:
coordination,
honours reading.
@Article{Lesser1999,
author = "Victor R. Lesser",
title = "Cooperative Multiagent Systems: {A} Personal View of the State of the Art",
journal = "IEEE Transactions on Knowledge and Data Engineering",
volume = "11",
number = "1",
pages = "133--142",
keywords = "coordination, honours reading",
year = "1999",
}
-
Seng Wai Loke,
Leon Sterling,
and Liz Sonenberg.
A Knowledge-Based Approach to Domain-Specialised Information Agents.
Journal of Internet Research,
9(2),
1999.
Keywords:
agentlab.
@Article{Loke1999,
author = "Seng Wai Loke and Leon Sterling and Liz Sonenberg",
title = "A Knowledge-Based Approach to Domain-Specialised Information Agents",
journal = "Journal of Internet Research",
volume = "9",
number = "2",
keywords = "agentlab",
year = "1999",
}
-
C. R. Marling,
G. J. Petot,
and Leon Sterling.
Integrating Case-Based and Rule-Based Reasoning to Meet Multiple Design Constraints.
Computational Intelligence,
15:308--332,
1999.
Keywords:
agentlab,
case-based reasoning.
@Article{Marling1999,
author = "C. R. Marling and G. J. Petot and Leon Sterling",
title = "Integrating Case-Based and Rule-Based Reasoning to Meet Multiple Design Constraints",
journal = "Computational Intelligence",
volume = "15",
pages = "308--332",
keywords = "agentlab, case-based reasoning",
year = "1999",
}
-
Stephen Muggleton.
Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic.
Artificial Intelligence,
114(1-2):283--296,
1999.
Keywords:
inductive logic programming,
honours reading.
@Article{Muggleton1999,
author = "Stephen Muggleton",
title = "Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic",
journal = "Artificial Intelligence",
volume = "114",
number = "1-2",
pages = "283--296",
keywords = "inductive logic programming, honours reading",
year = "1999",
}
-
Gil Neiger and Rida A. Bazzi.
Using knowledge to optimally achieve coordination in distributed systems.
Theoretical Computer Science,
220(1):31--65,
1999.
Keywords:
multiagent coordination,
honours reading,
modal logic,
epistemic logic.
@Article{Neiger1999,
author = "Gil Neiger and Rida A. Bazzi",
title = "Using knowledge to optimally achieve coordination in distributed systems",
journal = "Theoretical Computer Science",
volume = "220",
number = "1",
pages = "31--65",
keywords = "multiagent coordination, honours reading, modal logic, epistemic logic",
year = "1999",
}
-
Ilkka Niemela.
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm.
Annals of Mathematics and Artificial Intelligence,
25(3):241--273,
1999.
Keywords:
logic programming,
nonmonotonic logic,
constraint satisfaction,
honours reading.
@Article{Niemela1999,
author = "Ilkka Niemela",
title = "Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "25",
number = "3",
pages = "241--273",
keywords = "logic programming, nonmonotonic logic, constraint satisfaction, honours reading",
year = "1999",
}
-
James Osborn and Leon Sterling.
Automated Concept Identification within Legal Cases.
The Journal of Information, Law and Technology (JILT),
(Issue 1),
1999.
Keywords:
agentlab,
case-based reasoning.
@Article{Osborn1999,
author = "James Osborn and Leon Sterling",
title = "Automated Concept Identification within Legal Cases",
journal = "The Journal of Information, Law and Technology (JILT)",
number = "Issue 1",
keywords = "agentlab, case-based reasoning",
year = "1999",
}
-
A. R. Pearce and T. Caelli.
Interactively matching hand-drawings using induction.
Computer Vision and Image Understanding,
73(3):391--403,
1999.
Keywords:
machine learning,
graph theory,
agentlab.
| Abstract: |
"In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for computer vision is the integration of two approaches to the recognition by parts problem-graph matching and syntactic rule-based approaches. A new procedure is developed, named CLARET, which matches parts and relationships by tightly coupling the processes of matching and rule generation at run time. We have developed an interactive system for interpreting hand-drawn symbols and schematic drawings. The system operates invariant to rotation, scale, and position and projects images onto a drawing canvas. The procedure is analyzed for its ability to accommodate new symbols and answer orientation queries, and it is compared empirically with machine learning techniques. (C) 1999 Academic Press." |
[download paper
]
@Article{Pearce1999b,
author = "A. R. Pearce and T. Caelli",
title = "Interactively matching hand-drawings using induction",
journal = "Computer Vision and Image Understanding",
volume = "73",
number = "3",
pages = "391--403",
abstract = "In this paper we consider the task of matching patterns, as occur in hand-drawn symbols and schematic diagrams, by their parts and relationships. Of particular interest for computer vision is the integration of two approaches to the recognition by parts problem-graph matching and syntactic rule-based approaches. A new procedure is developed, named CLARET, which matches parts and relationships by tightly coupling the processes of matching and rule generation at run time. We have developed an interactive system for interpreting hand-drawn symbols and schematic drawings. The system operates invariant to rotation, scale, and position and projects images onto a drawing canvas. The procedure is analyzed for its ability to accommodate new symbols and answer orientation queries, and it is compared empirically with machine learning techniques. (C) 1999 Academic Press.",
URL = "http://www.agentlab.unimelb.edu.au/papers/pearce1999.pdf",
keywords = "machine learning, graph theory, agentlab",
year = "1999",
}
-
R. Ramanujam.
View-Based Explicit Knowledge.
Annals of Pure and Applied Logic,
96(1-3):343--368,
1999.
Keywords:
epistemic logic,
honours reading.
@Article{Ramanujam1999,
author = "R. Ramanujam",
title = "View-Based Explicit Knowledge",
journal = "Annals of Pure and Applied Logic",
volume = "96",
number = "1-3",
pages = "343--368",
keywords = "epistemic logic, honours reading",
year = "1999",
}
-
Chiaki Sakama.
Some Properties of Inverse Resolution in Normal Logic Programs.
Lecture Notes in Computer Science,
1634(1999):279--290,
1999.
Keywords:
inductive logic programming,
honours reading.
@Article{Sakama1999,
author = "Chiaki Sakama",
title = "Some Properties of Inverse Resolution in Normal Logic Programs",
journal = "Lecture Notes in Computer Science",
volume = "1634",
number = "1999",
pages = "279--290",
keywords = "inductive logic programming, honours reading",
year = "1999",
}
-
V. S. Subrahmanian.
Nonmonotonic Logic Programming.
IEEE Transactions on Knowledge and Data Engineering,
11(1):143--152,
1999.
Keywords:
nonmonotonic logic,
logic programming,
honours reading.
@Article{Subrahmanian1999,
author = "V. S. Subrahmanian",
title = "Nonmonotonic Logic Programming",
journal = "IEEE Transactions on Knowledge and Data Engineering",
volume = "11",
number = "1",
pages = "143--152",
keywords = "nonmonotonic logic, logic programming, honours reading",
year = "1999",
}
-
Michael Thielscher.
From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem.
Artificial Intelligence,
111(1--2):277--299,
1999.
Keywords:
agent programming languages,
situation calculus,
honours reading.
@Article{Thielscher1999,
author = "Michael Thielscher",
title = "From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem",
journal = "Artificial Intelligence",
volume = "111",
number = "1--2",
pages = "277--299",
keywords = "agent programming languages, situation calculus, honours reading",
year = "1999",
}
-
D. Waltz.
The importance of importance.
Ai Magazine,
20(3):18--35,
1999.
Note: Times Cited: 4 Article English Cited References Count: 20 244dd.
Keywords:
machine learning,
Bayesian Theory,
cognitive science,
honours reading.
| Abstract: |
"Human intelligence is shaped by what is most important to us-the things that cause ecstasy, despair, pleasure, pain, and other intense emotions. The ability to separate the important from the unimportant underlies such faculties as attention, focusing, situation and outcome assessment, priority setting, judgment, taste, goal selection, credit assignment, the selection of relevant memories and precedents, and learning from experience. Al has for the most part focused on logic and reasoning in artificial situations where only relevant variables and operators are specified and has paid insufficient attention to processes of reducing the richness and disorganization of the real world to a form where logical reasoning can be applied. This article discusses the role of importance judgment in intelligence; provides some examples of research that make use of importance judgments; and offers suggestions for new mechanisms, architectures, applications, and research directions for AI." |
[download paper
]
@Article{Waltz1999,
author = "D. Waltz",
title = "The importance of importance",
journal = "Ai Magazine",
volume = "20",
number = "3",
pages = "18--35",
note = "Times Cited: 4 Article English Cited References Count: 20 244dd",
abstract = "Human intelligence is shaped by what is most important to us-the things that cause ecstasy, despair, pleasure, pain, and other intense emotions. The ability to separate the important from the unimportant underlies such faculties as attention, focusing, situation and outcome assessment, priority setting, judgment, taste, goal selection, credit assignment, the selection of relevant memories and precedents, and learning from experience. Al has for the most part focused on logic and reasoning in artificial situations where only relevant variables and operators are specified and has paid insufficient attention to processes of reducing the richness and disorganization of the real world to a form where logical reasoning can be applied. This article discusses the role of importance judgment in intelligence; provides some examples of research that make use of importance judgments; and offers suggestions for new mechanisms, architectures, applications, and research directions for AI.",
URL = "://000083035800001",
keywords = "machine learning, Bayesian Theory, cognitive science, honours reading",
year = "1999",
}
-
P. Dart,
Ed. Kazmierczak,
M. Martelli,
V. Mascardi,
Leon Sterling,
V. S. Subrahmanian,
and F. Zini.
Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications.
In proceedings STEP'99,
1999.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Dart1999,
author = "P. Dart and Ed. Kazmierczak and M. Martelli and V. Mascardi and Leon Sterling and V. S. Subrahmanian and F. Zini",
title = "Combining Logical Agents with Rapid Prototyping for Engineering Distributed Applications",
booktitle = "proceedings STEP'99",
keywords = "agentlab, agent-oriented software engineering",
year = "1999",
}
-
Xiaoying Gao and Leon Sterling.
AutoWrapper: Automatic Wrapper Generation for Multiple Online Services.
In Prodeedings of Asia Pacific Web Conference 1999 (APWeb99),
Hong Kong,
1999.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Gao1999b,
author = "Xiaoying Gao and Leon Sterling",
title = "AutoWrapper: Automatic Wrapper Generation for Multiple Online Services",
booktitle = "Prodeedings of Asia Pacific Web Conference 1999 (APWeb99)",
address = "Hong Kong",
keywords = "agentlab, agent-oriented software engineering",
year = "1999",
}
-
Xiaoying Gao and Leon Sterling.
Semi-Structured Data Extraction from Heterogeneous Sources.
In Proceedings of 2cd International Workshop on Innovative Internet Information Systems (IIIS'99) in conjunction with the European Conference on Information Systems (ECIS'99),
Copenhagen, Denmark,
1999.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Gao1999c,
author = "Xiaoying Gao and Leon Sterling",
title = "Semi-Structured Data Extraction from Heterogeneous Sources",
booktitle = "Proceedings of 2cd International Workshop on Innovative Internet Information Systems (IIIS'99) in conjunction with the European Conference on Information Systems (ECIS'99)",
address = "Copenhagen, Denmark",
keywords = "agentlab, agent-oriented software engineering",
year = "1999",
}
-
M. Georgeff,
B. Pell,
M. Pollack,
M. Tambe,
and M. Wooldridge.
The belief-desire-intention model of agency.
In Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings.,
pages 1--10,
1999.
Springer-Verlag.
Note: Muller JP Singh MP RaoAS Berlin, Germany. Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings. Paris, France. 4-7 July 1998.
Keywords:
intentionality,
model theory,
honours reading,
belief desires intentions,
BDI.
| Abstract: |
"Within the ATAL community, the belief-desire-intention (BDI) model has come to be possibly the best known and best studied model of practical reasoning agents. However, it could be argued that the BDI model is now becoming somewhat dated: the principles of the architecture were established in the mid-1980s, and have remained essentially unchanged since then. With the explosion of interest in intelligent agents and multi-agent systems that has occurred since then, a great many other architectures have been developed, which, it could be argued, address some issues that the BDI model fundamentally fails to. The purpose of this paper is therefore to establish how the BDI model stands in relation to other contemporary models of agency, and where it should go next. (18 References)." |
@InProceedings{Georgeff1999,
author = "M. Georgeff and B. Pell and M. Pollack and M. Tambe and M. Wooldridge",
title = "The belief-desire-intention model of agency",
booktitle = "Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings.",
publisher = "Springer-Verlag",
pages = "1--10",
note = "Muller JP Singh MP RaoAS Berlin, Germany. Intelligent Agents V: Agent Theories, Architectures, and Languages. 5th International Workshop, ATAL'98. Proceedings. Paris, France. 4-7 July 1998.",
abstract = "Within the ATAL community, the belief-desire-intention (BDI) model has come to be possibly the best known and best studied model of practical reasoning agents. However, it could be argued that the BDI model is now becoming somewhat dated: the principles of the architecture were established in the mid-1980s, and have remained essentially unchanged since then. With the explosion of interest in intelligent agents and multi-agent systems that has occurred since then, a great many other architectures have been developed, which, it could be argued, address some issues that the BDI model fundamentally fails to. The purpose of this paper is therefore to establish how the BDI model stands in relation to other contemporary models of agency, and where it should go next. (18 References).",
keywords = "intentionality, model theory, honours reading, belief desires intentions, BDI",
year = "1999",
}
-
S. Goss,
C. A. Heinze,
and A. Pearce.
Recognising User Intentions in a Virtual Environment.
In Proceedings of the Simulation Technology and Training Conference (SimTecT),
Melbourne,
pages 247--254,
1999.
Keywords:
agentlab,
agent programming languages.
@InProceedings{Goss1999,
author = "S. Goss and C. A. Heinze and A. Pearce",
title = "Recognising User Intentions in a Virtual Environment",
booktitle = "Proceedings of the Simulation Technology and Training Conference (SimTecT)",
address = "Melbourne",
pages = "247--254",
keywords = "agentlab, agent programming languages",
year = "1999",
}
-
J. Y. Halpern and R. A. Shore.
Reasoning about common knowledge with infinitely many agents.
In Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).,
pages 384--93,
1999.
IEEE Comput. Soc..
Note: Los Alamitos, CA, USA. Proceedings. 14th Symposium on Logic in Computer Science. Trento, Italy. IEEE. 2-5 July 1999.
Keywords:
computational complexity,
agents,
honours reading.
| Abstract: |
"Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results show that reasoning about knowledge and common knowledge with infinitely many agents is no harder than when there are finitely many agents, provided that we can check the cardinality of certain set differences G G' where G and G' are sets of agents. Since our complexity results are independent of the cardinality of the sets G involved, they represent improvements over the previous results even with the sets of agents involved are finite. Moreover, our results make clear the extent to which issues of complexity and completeness depend on how the sets of agents involved are represented. (8 References)." |
@InProceedings{Halpern1999,
author = "J. Y. Halpern and R. A. Shore",
title = "Reasoning about common knowledge with infinitely many agents",
booktitle = "Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).",
publisher = "IEEE Comput. Soc.",
pages = "384--93",
note = "Los Alamitos, CA, USA. Proceedings. 14th Symposium on Logic in Computer Science. Trento, Italy. IEEE. 2-5 July 1999.",
abstract = "Complete axiomatizations and exponential-time decision procedures are provided for reasoning about knowledge and common knowledge when there are infinitely many agents. The results show that reasoning about knowledge and common knowledge with infinitely many agents is no harder than when there are finitely many agents, provided that we can check the cardinality of certain set differences G G' where G and G' are sets of agents. Since our complexity results are independent of the cardinality of the sets G involved, they represent improvements over the previous results even with the sets of agents involved are finite. Moreover, our results make clear the extent to which issues of complexity and completeness depend on how the sets of agents involved are represented. (8 References).",
keywords = "computational complexity, agents, honours reading",
year = "1999",
}
-
Clinton Heinze,
Simon Goss,
and Adrian Pearce.
Plan Recognition in Military Simulation: Incorporating Machine Learning with Intelligent Agents.
In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Workshop on Team Behaviour and Plan Recognition,
Stockholm, Sweden,
pages 53--63,
1999.
Keywords:
agents,
procedural reasoning,
agentlab,
agent programming languages,
agent-oriented software engineering.
@InProceedings{Heinze1999b,
author = "Clinton Heinze and Simon Goss and Adrian Pearce",
title = "Plan Recognition in Military Simulation: Incorporating Machine Learning with Intelligent Agents",
booktitle = "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, Workshop on Team Behaviour and Plan Recognition",
address = "Stockholm, Sweden",
pages = "53--63",
keywords = "agents, procedural reasoning, agentlab, agent programming languages, agent-oriented software engineering",
year = "1999",
}
-
David Kinny.
Reliable Agent Communication - A Pragmatic Perspective.
In Proceedings of PRIMA 1999,
pages 16--31,
1999.
Keywords:
agentlab,
agent communication languagess.
@InProceedings{Kinny1999,
author = "David Kinny",
title = "Reliable Agent Communication - {A} Pragmatic Perspective",
booktitle = "Proceedings of PRIMA 1999",
pages = "16--31",
keywords = "agentlab, agent communication languagess",
year = "1999",
}
-
Hongen Lu,
Leon Sterling,
and Alex Wyatt.
Knowledge Discovery in SportsFinder: An Agent to Extract Sports Results from the Web.
In Proceedings of PAKDD 1999,
pages 469--473,
1999.
Keywords:
agentlab.
@InProceedings{Lu1999,
author = "Hongen Lu and Leon Sterling and Alex Wyatt",
title = "Knowledge Discovery in SportsFinder: An Agent to Extract Sports Results from the Web",
booktitle = "Proceedings of PAKDD 1999",
pages = "469--473",
keywords = "agentlab",
year = "1999",
}
-
James Osborn and Leon Sterling.
JUSTICE: a judicial search tool using intelligent concept extraction.
In Proceedings of ICAIL 1999,
pages 173--181,
1999.
Keywords:
agentlab.
@InProceedings{Osborn1999b,
author = "James Osborn and Leon Sterling",
title = "{JUSTICE}: a judicial search tool using intelligent concept extraction",
booktitle = "Proceedings of ICAIL 1999",
pages = "173--181",
keywords = "agentlab",
year = "1999",
}
-
E. Osman,
A. Pearce,
M. Juttner,
and I. Rentschler.
Simulating Ontogenesis of Human Visual Object Representations using Machine Learning.
In Proceedings of International/National Conference on Digital Image Computing, Techniques, and Applications, (DICTA99),
Perth,
pages 247--253,
1999.
Keywords:
agentlab.
@InProceedings{Osman1999,
author = "E. Osman and A. Pearce and M. Juttner and I. Rentschler",
title = "Simulating Ontogenesis of Human Visual Object Representations using Machine Learning",
booktitle = "Proceedings of International/National Conference on Digital Image Computing, Techniques, and Applications, (DICTA99)",
address = "Perth",
pages = "247--253",
keywords = "agentlab",
year = "1999",
}
-
A. R. Pearce,
E. Osman,
M. Juttner,
and I. Rentschler.
Human meets Machine Vision for Learning to Recognise Objects.
In Proceedings of the International Conference of Machine Learning (ICML-99) Workshop on Machine Learning in Computer Vision,
Bled,
pages 1--7,
1999.
Keywords:
agentlab.
@InProceedings{Pearce1999c,
author = "A. R. Pearce and E. Osman and M. Juttner and I. Rentschler",
title = "Human meets Machine Vision for Learning to Recognise Objects",
booktitle = "Proceedings of the International Conference of Machine Learning (ICML-99) Workshop on Machine Learning in Computer Vision",
address = "Bled",
pages = "1--7",
keywords = "agentlab",
year = "1999",
}
-
A. R. Pearce,
C. Sammut,
and S. Goss.
Simulation as an Environment for the Knowledge Acquisition of Procedural Expertise.
In Proceedings of the Simulation Technology and Training Conference (SimTecT 99),
Melbourne,
pages 255--260,
1999.
Keywords:
agentlab,
agent-oriented software engineering,
agent programming languages.
@InProceedings{Pearce1999d,
author = "A. R. Pearce and C. Sammut and S. Goss",
title = "Simulation as an Environment for the Knowledge Acquisition of Procedural Expertise",
booktitle = "Proceedings of the Simulation Technology and Training Conference (SimTecT 99)",
address = "Melbourne",
pages = "255--260",
keywords = "agentlab, agent-oriented software engineering, agent programming languages",
year = "1999",
}
-
Z Somogyi and F. Henderson.
The implementation technology of the Mercury debugger.
In Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, November (1999),
pages 35--49,
1999.
Keywords:
logic programming,
honours reading.
@InProceedings{Somogyi1999,
author = "Z Somogyi and F. Henderson",
title = "The implementation technology of the Mercury debugger",
booktitle = "Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, November (1999)",
pages = "35--49",
keywords = "logic programming, honours reading",
year = "1999",
}
-
Gil Tidhar,
Clinton Heinze,
Simon Goss,
Graeme Murray,
Dino Appla,
and Ian Lloyd.
Using Intelligent Agents in Military Simulations or Using Agents Intelligently.
In Proceedings of the Eleventh Innovative Applications of Artificial Intelligence Conference, American Association of Artificial ntelligence (AAAI), Deployed Applications paper,
pages 829--836,
1999.
Keywords:
simulation,
agents,
teamwork,
agentlab,
agent-oriented software engineering,
models of interaction and context aware applications.
@InProceedings{Tidhar1999b,
author = "Gil Tidhar and Clinton Heinze and Simon Goss and Graeme Murray and Dino Appla and Ian Lloyd",
title = "Using Intelligent Agents in Military Simulations or Using Agents Intelligently",
booktitle = "Proceedings of the Eleventh Innovative Applications of Artificial Intelligence Conference, American Association of Artificial ntelligence (AAAI), Deployed Applications paper",
pages = "829--836",
keywords = "simulation, agents, teamwork, agentlab, agent-oriented software engineering, models of interaction and context aware applications",
year = "1999",
}
-
Michael Wooldridge,
Nicholas R. Jennings,
and David Kinny.
A Methodology for Agent-Oriented Analysis and Design.
In Proceedings of Agents 1999,
pages 69--76,
1999.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Wooldridge1999,
author = "Michael Wooldridge and Nicholas R. Jennings and David Kinny",
title = "A Methodology for Agent-Oriented Analysis and Design",
booktitle = "Proceedings of Agents 1999",
pages = "69--76",
keywords = "agentlab, agent-oriented software engineering",
year = "1999",
}