-
J. Bailey,
G. Papamarkos,
A. Poulovassilis,
and P. T. Wood.
An Event-Condition-Action Language for XML.
In A. Poulovassilis & M. Levene, editor,Web Dynamics: Adapting to Change in Content, Size, Topology and Use,
pages 223--248.
Springer Verlag, Berlin, 2004.,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InCollection{Bailey2004c,
author = "J. Bailey and G. Papamarkos and A. Poulovassilis and P. T. Wood",
title = "An Event-Condition-Action Language for {XML}",
booktitle = "Web Dynamics: Adapting to Change in Content, Size, Topology and Use",
editor = "A. Poulovassilis & M. Levene",
publisher = "Springer Verlag, Berlin, 2004.",
pages = "223--248",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
J. Bailey and G. Papamarkos.
Analysis of Functional Active Databases.
In P. M. D. Gray,
L. Kerschberg,
P. J. H. King,
and A. Poulovassilis, editors,The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data,
pages 262--287.
Springer Verlag, Berlin, 2004,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InCollection{Bailey2004b,
author = "J. Bailey and G. Papamarkos",
title = "Analysis of Functional Active Databases",
booktitle = "The Functional Approach to Data Management: Modeling, Analyzing and Integrating Heterogeneous Data",
editor = "P. M. D. Gray and L. Kerschberg and P. J. H. King and A. Poulovassilis",
publisher = "Springer Verlag, Berlin, 2004",
pages = "262--287",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
Samir Aknine,
Suzanne Pinson,
and Melvin F. Shakun.
An Extended Multi-Agent Negotiation Protocol.
Autonomous Agents and Multi-Agent Systems,
8(1):5--45,
2004.
Keywords:
agent programming languages,
coordination,
teamwork,
honours reading.
@Article{Aknine2004,
author = "Samir Aknine and Suzanne Pinson and Melvin F. Shakun",
title = "An Extended Multi-Agent Negotiation Protocol",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "8",
number = "1",
pages = "5--45",
keywords = "agent programming languages, coordination, teamwork, honours reading",
year = "2004",
}
-
S. Araban and L. S. Sterling.
Quality of Service for Web Services..
WSEAS Transactions on Computers,
4(3):116--121,
2004.
Keywords:
agentlab,
agent oriented software engineering.
@Article{Araban2004b,
author = "S. Araban and L. S. Sterling",
title = "Quality of Service for Web Services.",
journal = "WSEAS Transactions on Computers",
volume = "4",
number = "3",
pages = "116--121",
keywords = "agentlab, agent oriented software engineering",
year = "2004",
}
-
J. Bailey,
G. Dong,
and R. Kotagiri.
On the Decidability of the Termination Problem of Active Database Systems.
Theoretical Computer Science,
311(1-3):389--437,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@Article{Bailey2004,
author = "J. Bailey and G. Dong and R. Kotagiri",
title = "On the Decidability of the Termination Problem of Active Database Systems",
journal = "Theoretical Computer Science",
volume = "311",
number = "1-3",
pages = "389--437",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
Seema Bandyopadhyay and Edward J. Coyle.
Minimizing communication costs in hierarchically-clustered networks of wireless sensors.
Computer Networks,
44:1--16,
2004.
Keywords:
sensor networks,
honours reading.
@Article{Bandyopadhyay2004,
author = "Seema Bandyopadhyay and Edward J. Coyle",
title = "Minimizing communication costs in hierarchically-clustered networks of wireless sensors",
journal = "Computer Networks",
volume = "44",
pages = "1--16",
keywords = "sensor networks, honours reading",
year = "2004",
}
-
Mark D'Inverno,
Michael Luck,
Michael Georgeff,
David Kinny,
and Michael Wooldridge.
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Autonomous Agents & Multi-Agent Systems,
9:5--53,
2004.
Keywords:
agent programming languages,
honours reading.
@Article{D'Inverno2004,
author = "Mark D'Inverno and Michael Luck and Michael Georgeff and David Kinny and Michael Wooldridge",
title = "The d{MARS} Architecture: {A} Specification of the Distributed Multi-Agent Reasoning System",
journal = "Autonomous Agents \& Multi-Agent Systems",
volume = "9",
pages = "5--53",
keywords = "agent programming languages, honours reading",
year = "2004",
}
-
Frank Dignum,
Bruce Edmonds,
and Liz Sonenberg.
Introduction to a special section on The Use of Logic in Agent-Based Social Simulation.
J. Artificial Societies and Social Simulation,
7(4),
2004.
Keywords:
agentlab,
models of interaction and context aware applications.
@Article{Dignum2004b,
author = "Frank Dignum and Bruce Edmonds and Liz Sonenberg",
title = "Introduction to a special section on The Use of Logic in Agent-Based Social Simulation",
journal = "J. Artificial Societies and Social Simulation",
volume = "7",
number = "4",
keywords = "agentlab, models of interaction and context aware applications",
year = "2004",
}
-
Frank Dignum,
Bruce Edmonds,
and Liz Sonenberg.
Introduction to a special section on The Use of Logic in Agent-Based Social Simulation.
J. Artificial Societies and Social Simulation,
7(4),
2004.
Keywords:
agentlab,
models of interaction and context aware applications,
cognitive science.
@Article{Dignum2004,
author = "Frank Dignum and Bruce Edmonds and Liz Sonenberg",
title = "Introduction to a special section on The Use of Logic in Agent-Based Social Simulation",
journal = "J. Artificial Societies and Social Simulation",
volume = "7",
number = "4",
keywords = "agentlab, models of interaction and context aware applications, cognitive science",
year = "2004",
}
-
J. Dix,
M. Fisher,
H. Levesque,
and L. S. Sterling.
Logic-Based Agent Implementation.
Annals of Mathematics and Artificial Intelligence,
41(2-4):131--133,
2004.
Keywords:
agentlab,
agent-oriented software engineering,
agent programming languages.
@Article{Dix2004,
author = "J. Dix and M. Fisher and H. Levesque and L. S. Sterling",
title = "Logic-Based Agent Implementation",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "41",
number = "2-4",
pages = "131--133",
keywords = "agentlab, agent-oriented software engineering, agent programming languages",
year = "2004",
}
-
Jurgen Dix,
Michael Fisher,
Hector J. Levesque,
and Leon Sterling.
Introduction.
Ann. Math. Artif. Intell.,
41(2--4):131--133,
2004.
Keywords:
agentlab,
agent-oriented software engineering.
@Article{Dix2004b,
author = "Jurgen Dix and Michael Fisher and Hector J. Levesque and Leon Sterling",
title = "Introduction",
journal = "Ann. Math. Artif. Intell.",
volume = "41",
number = "2--4",
pages = "131--133",
keywords = "agentlab, agent-oriented software engineering",
year = "2004",
}
-
Michael Fisher.
Temporal Development Methods for Agent-Based.
Autonomous Agents and Multi-Agent Systems,
10(1):41--66,
2004.
Note: TY - JOUR.
Keywords:
agent programming languages,
honours reading,
temporal logic.
[download paper
]
@Article{Fisher2004,
author = "Michael Fisher",
title = "Temporal Development Methods for Agent-Based",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "10",
number = "1",
pages = "41--66",
note = "TY - JOUR",
URL = "http://springerlink.metapress.com/index/10.1007/s10458-004-3140-4",
keywords = "agent programming languages, honours reading, temporal logic",
year = "2004",
}
-
Andrew Garland and Richard Alterman.
Autonomous Agents that Learn to Better Coordinate.
Autonomous Agents and Multi-Agent Systems,
8(3):267--301,
2004.
Note: TY - JOUR.
Keywords:
agent programming languages,
honours reading.
[download paper
]
@Article{Garland2004,
author = "Andrew Garland and Richard Alterman",
title = "Autonomous Agents that Learn to Better Coordinate",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "8",
number = "3",
pages = "267--301",
note = "TY - JOUR",
URL = "http://springerlink.metapress.com/index/10.1023/B:AGNT.0000018808.95119.9e",
keywords = "agent programming languages, honours reading",
year = "2004",
}
-
George Gottlob,
Phokion G. Kolaitis,
and Thomas Schwentick.
Existential second-order Logic over graphs: charting the tractability frontier.
Journal of the ACM,
51(2):312--362,
2004.
Keywords:
graph theory,
honours reading,
computational complexity.
@Article{Gottlob2004,
author = "George Gottlob and Phokion G. Kolaitis and Thomas Schwentick",
title = "Existential second-order Logic over graphs: charting the tractability frontier",
journal = "Journal of the ACM",
volume = "51",
number = "2",
pages = "312--362",
keywords = "graph theory, honours reading, computational complexity",
year = "2004",
}
-
Alejandro Guerra-Hernandez,
Amal El Fallah-Seghrouchni,
and Henry Soldano.
Learning in BDI Multi-Agent Systems.
Lecture Notes in Computer Science,
3259:218--233,
2004.
Keywords:
BDI,
inductive logic programming,
abductive logic programming,
honours reading.
@Article{Guerra-Hernandez2004b,
author = "Alejandro Guerra-Hernandez and Amal El Fallah-Seghrouchni and Henry Soldano",
title = "Learning in {BDI} Multi-Agent Systems",
journal = "Lecture Notes in Computer Science",
volume = "3259",
pages = "218--233",
keywords = "BDI, inductive logic programming, abductive logic programming, honours reading",
year = "2004",
}
-
M. T. Hajiaghayi,
E. D. Demaine,
N. Nishimura,
P. Ragde,
and D. Thilikos.
Approximation algorithms for classes of graphs excluding single-crossing graphs as minors.
Journal of Computer and System Sciences,
69(2):166--195,
2004.
Keywords:
graph matching,
honours reading,
graph theory.
@Article{Hajiaghayi2004,
author = "M. T. Hajiaghayi and E. D. Demaine and N. Nishimura and P. Ragde and D. Thilikos",
title = "Approximation algorithms for classes of graphs excluding single-crossing graphs as minors",
journal = "Journal of Computer and System Sciences",
volume = "69",
number = "2",
pages = "166--195",
keywords = "graph matching, honours reading, graph theory",
year = "2004",
}
-
Joseph Y. Halpern and Daphne Koller.
Representation Dependence in Probabilistic Inference.
Journal of Artificial Intelligence Research,
21:319--356,
2004.
Keywords:
Bayesian theory,
Epistemic logic,
machine learning,
honours reading.
@Article{Halpern2004,
author = "Joseph Y. Halpern and Daphne Koller",
title = "Representation Dependence in Probabilistic Inference",
journal = "Journal of Artificial Intelligence Research",
volume = "21",
pages = "319--356",
keywords = "Bayesian theory, Epistemic logic, machine learning, honours reading",
year = "2004",
}
-
Antoine Joux.
A One Round Protocol for Tripartite Diffie-Hellman.
J. Cryptology,
17(4):263--276,
2004.
Keywords:
cryptography,
honours reading.
@Article{Joux2004,
author = "Antoine Joux",
title = "A One Round Protocol for Tripartite Diffie-Hellman",
journal = "J. Cryptology",
volume = "17",
number = "4",
pages = "263--276",
keywords = "cryptography, honours reading",
year = "2004",
}
-
Oliver Kutz,
Carsten Lutz,
Frank Wolter,
and Michael Zakharyaschev.
eta-connections of abstract description systems.
Artificial Intelligence,
156(1):1--73,
2004.
Note: TY - JOUR.
Keywords:
epistemic logic,
agent programming languages,
honours reading,
modal logic.
[download paper
]
@Article{Kutz2004,
author = "Oliver Kutz and Carsten Lutz and Frank Wolter and Michael Zakharyaschev",
title = "eta-connections of abstract description systems",
journal = "Artificial Intelligence",
volume = "156",
number = "1",
pages = "1--73",
note = "TY - JOUR",
URL = "http://www.sciencedirect.com/science/article/B6TYF-4BV4XYT-2/2/511bc1206e3aed4796db1658f8186bb2",
keywords = "epistemic logic, agent programming languages, honours reading, modal logic",
year = "2004",
}
-
Michael Luck,
Peter McBurney,
and Chris Preist.
A Manifesto for Agent Technology: Towards Next Generation Computing.
Autonomous Agents and Multi-Agent Systems,
9(3):203--252,
2004.
Keywords:
agents,
honours reading,
sensor networks.
@Article{Luck2004,
author = "Michael Luck and Peter McBurney and Chris Preist",
title = "A Manifesto for Agent Technology: Towards Next Generation Computing",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "9",
number = "3",
pages = "203--252",
keywords = "agents, honours reading, sensor networks",
year = "2004",
}
-
V. Mascardi,
M. Martelli,
and L. S. Sterling.
Logic-Based Specification Languages for Intelligent Software Agents.
Theory and Practice of Logic Programming,
4(4):429--494,
2004.
Keywords:
agentlab,
agent-oriented software engineering,
agent programming languages,
logistics.
@Article{Mascardi2004,
author = "V. Mascardi and M. Martelli and L. S. Sterling",
title = "Logic-Based Specification Languages for Intelligent Software Agents",
journal = "Theory and Practice of Logic Programming",
volume = "4",
number = "4",
pages = "429--494",
keywords = "agentlab, agent-oriented software engineering, agent programming languages, logistics",
year = "2004",
}
-
L. A. F. Park,
K. Ramamohanarao,
and M. Palaniswami.
Fourier domain scoring: a novel document ranking method.
Knowledge and Data Engineering, IEEE Transactions on,
16(5):529--539,
2004.
Keywords:
machine leaning,
agents,
honours reading.
@Article{Park2004,
author = "L. A. F. Park and K. Ramamohanarao and M. Palaniswami",
title = "Fourier domain scoring: a novel document ranking method",
journal = "Knowledge and Data Engineering, IEEE Transactions on",
volume = "16",
number = "5",
pages = "529--539",
keywords = "machine leaning, agents, honours reading",
year = "2004",
}
-
Carla Piazza and ALBERTO POLICRITI.
Ackermann encoding, bisimulations and OBDDs.
Theory and Practice of Logic Programming,
4:695--718,
2004.
Keywords:
graph theory,
model theory,
honours reading.
| Abstract: |
"We propose an alternative way to represent graphs via OBDDs based on the observation that a partition of the graph nodes allows sharing among the employed OBDDs. In the second part of the paper we present a method to compute at the same time the quotient w.r.t. the maximum bisimulation and the OBDD representation of a given graph. The proposed computation is based on an OBDD-rewriting of the notion of Ackermann encoding of hereditarily finite sets into natural numbers." |
@Article{Piazza2004,
author = "Carla Piazza and ALBERTO POLICRITI",
title = "Ackermann encoding, bisimulations and {OBDD}s",
journal = "Theory and Practice of Logic Programming",
volume = "4",
pages = "695--718",
abstract = "We propose an alternative way to represent graphs via OBDDs based on the observation that a partition of the graph nodes allows sharing among the employed OBDDs. In the second part of the paper we present a method to compute at the same time the quotient w.r.t. the maximum bisimulation and the OBDD representation of a given graph. The proposed computation is based on an OBDD-rewriting of the notion of Ackermann encoding of hereditarily finite sets into natural numbers.",
keywords = "graph theory, model theory, honours reading",
year = "2004",
}
-
Sebastian Sardina,
Giuseppe De Giacomo,
Yves Lesperance,
and Hector J. Levesque.
On the Semantics of Deliberation in Indigolog - from Theory to Implementation.
Annals of Mathematics & Artificial Intelligence,
41(2-4):259--299,
2004.
Keywords:
agent programming languages,
modal logic,
honours reading,
situation calculus,
GOLOG.
| Abstract: |
"We develop an account of the kind of deliberation that an agent that is doing planning or executing high-level programs under incomplete information must be able to perform. The deliberator's job is to produce a kind of plan that does not itself require deliberation to interpret. We characterize these as epistemically feasible programs: programs for which the executing agent, at every stage of execution, by virtue of what it knew initially and the subsequent readings of its sensors, always knows what step to take next towards the goal of completing the entire program. We formalize this notion and characterize deliberation in the situation calculus based IndiGolog agent programming language in terms of it. We also show that for certain classes of problems, which correspond to those with bounded solutions and those with solutions without sensing, the search for epistemically feasible programs can be limited to programs of a simple syntactic form. Finally, we discuss implementation issues and execution monitoring and replanning too." |
@Article{Sardina2004,
author = "Sebastian Sardina and Giuseppe De Giacomo and Yves Lesperance and Hector J. Levesque",
title = "On the Semantics of Deliberation in Indigolog - from Theory to Implementation",
journal = "Annals of Mathematics & Artificial Intelligence",
volume = "41",
number = "2-4",
pages = "259--299",
abstract = "We develop an account of the kind of deliberation that an agent that is doing planning or executing high-level programs under incomplete information must be able to perform. The deliberator's job is to produce a kind of plan that does not itself require deliberation to interpret. We characterize these as epistemically feasible programs: programs for which the executing agent, at every stage of execution, by virtue of what it knew initially and the subsequent readings of its sensors, always knows what step to take next towards the goal of completing the entire program. We formalize this notion and characterize deliberation in the situation calculus based IndiGolog agent programming language in terms of it. We also show that for certain classes of problems, which correspond to those with bounded solutions and those with solutions without sensing, the search for epistemically feasible programs can be limited to programs of a simple syntactic form. Finally, we discuss implementation issues and execution monitoring and replanning too.",
keywords = "agent programming languages, modal logic, honours reading, situation calculus, GOLOG",
year = "2004",
}
-
JAcob Toran.
On the hardness of graph isomorphism.
SIAM J. Comput,
33(3):1093--1108,
2004.
Keywords:
graph theory,
computational complexity,
honours reading.
@Article{Toran2004,
author = "JAcob Toran",
title = "On the hardness of graph isomorphism",
journal = "SIAM J. Comput",
volume = "33",
number = "3",
pages = "1093--1108",
keywords = "graph theory, computational complexity, honours reading",
year = "2004",
}
-
Marina De Vos and Dirk Vermeir.
Extending Answer Sets for Logic Programming Agents.
Annals of Mathematics and Artificial Intelligence,
42(1-3):103--139,
2004.
Keywords:
answer set programming,
logic programming,
agent programming languages,
honours reading.
@Article{Vos2004,
author = "Marina De Vos and Dirk Vermeir",
title = "Extending Answer Sets for Logic Programming Agents",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "42",
number = "1-3",
pages = "103--139",
keywords = "answer set programming, logic programming, agent programming languages, honours reading",
year = "2004",
}
-
Alec Woo,
Sam Madden,
and Ramesh Govindan.
Networking support for query processing in sensor networks.
Communications of the ACM,
47(6):47--52,
2004.
Keywords:
sensor networks,
honours reading.
| Abstract: |
"Networking and query processing must be co-designed to allow data self-organization for flexible but efficient in-network storage, access, and processing." |
@Article{Woo2004,
author = "Alec Woo and Sam Madden and Ramesh Govindan",
title = "Networking support for query processing in sensor networks",
journal = "Communications of the ACM",
volume = "47",
number = "6",
pages = "47--52",
abstract = "Networking and query processing must be co-designed to allow data self-organization for flexible but efficient in-network storage, access, and processing.",
keywords = "sensor networks, honours reading",
year = "2004",
}
-
Franco Zambonelli and Andrea Omicini.
Challenges and Research Directions in Agent-Oriented Software Engineering.
Autonomous Agents and Multi-Agent Systems,
9(3):253--283,
2004.
Keywords:
agent-oriented software engineering,
agents,
honours reading.
@Article{Zambonelli2004b,
author = "Franco Zambonelli and Andrea Omicini",
title = "Challenges and Research Directions in Agent-Oriented Software Engineering",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "9",
number = "3",
pages = "253--283",
keywords = "agent-oriented software engineering, agents, honours reading",
year = "2004",
}
-
Franco Zambonelli and Andrea Omicini.
Challenges and Research Directions in Agent-Oriented Software Engineering.
Autonomous Agents and Multi-Agent Systems,
9(3):253--283,
2004.
Note: TY - JOUR.
Keywords:
honours reading,
agents.
[download paper
]
@Article{Zambonelli2004,
author = "Franco Zambonelli and Andrea Omicini",
title = "Challenges and Research Directions in Agent-Oriented Software Engineering",
journal = "Autonomous Agents and Multi-Agent Systems",
volume = "9",
number = "3",
pages = "253--283",
note = "TY - JOUR",
URL = "http://www.springerlink.com/index/10.1023/B:AGNT.0000038028.66672.1e",
keywords = "honours reading, agents",
year = "2004",
}
-
S. Araban and L. S. Sterling.
Measuring Quality of Service for Contract Aware Web Services.
In First Australian Workshop on Engineering Service-Oriented Systems,
pages 54--56,
2004.
Keywords:
agentlab,
agent-oriented software engineering,
agent-oriented software engineering.
@InProceedings{Araban2004,
author = "S. Araban and L. S. Sterling",
title = "Measuring Quality of Service for Contract Aware Web Services",
booktitle = "First Australian Workshop on Engineering Service-Oriented Systems",
pages = "54--56",
keywords = "agentlab, agent-oriented software engineering, agent-oriented software engineering",
year = "2004",
}
-
K. Chan,
L. S. Sterling,
and S. A. Karunasekera.
Agent-Oriented Software Analysis.
In Australian Software Engineering Conference 2004,
Melbourne, April 2004.,
pages 20--27,
2004.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Chan2004,
author = "K. Chan and L. S. Sterling and S. A. Karunasekera",
title = "Agent-Oriented Software Analysis",
booktitle = "Australian Software Engineering Conference 2004",
address = "Melbourne, April 2004.",
pages = "20--27",
keywords = "agentlab, agent-oriented software engineering",
year = "2004",
}
-
V. Cordi,
V. Mascardi,
M. Martelli,
and L. S. Sterling.
Developing an Ontology for Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies..
In 6th International Workshop on Agent-Oriented Information Systems,
New York, July 2004,
pages 73--87,
2004.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Cordi2004,
author = "V. Cordi and V. Mascardi and M. Martelli and L. S. Sterling",
title = "Developing an Ontology for Retrieval of {XML} Documents: {A} Comparative Evaluation of Existing Methodologies.",
booktitle = "6th International Workshop on Agent-Oriented Information Systems",
address = "New York, July 2004",
pages = "73--87",
keywords = "agentlab, agent-oriented software engineering",
year = "2004",
}
-
D. Cornforth,
Michael Kirley,
and T. Bossomaier.
Agent heterogeneity and coalition formation: Investigating market-based cooperative problem-solving.
In N. Jennings et al., editor,
International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-04),
New York,
pages 556--564,
2004.
ACM Press.
Keywords:
agentlab,
agent programming languages,
agent-oriented software engineering.
@InProceedings{Cornforth2004,
author = "D. Cornforth and Michael Kirley and T. Bossomaier",
title = "Agent heterogeneity and coalition formation: Investigating market-based cooperative problem-solving",
booktitle = "International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS-04)",
editor = "N. Jennings et al.",
address = "New York",
publisher = "ACM Press",
pages = "556--564",
keywords = "agentlab, agent programming languages, agent-oriented software engineering",
year = "2004",
}
-
David Cornforth,
Michael Kirley,
and Terry Bossomaier.
Agent heterogeneity and coalition formation: Investigating the effects of diversity in a multi agent.
In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
2004.
Keywords:
agentlab,
agent programming languages,
coordination.
@InProceedings{Cornforth2004b,
author = "David Cornforth and Michael Kirley and Terry Bossomaier",
title = "Agent heterogeneity and coalition formation: Investigating the effects of diversity in a multi agent",
booktitle = "International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
address = "New York",
keywords = "agentlab, agent programming languages, coordination",
year = "2004",
}
-
C. Dong and J. Bailey.
Optimization of XML Transformations using Template Specialization. In Web Information Systems.
In WISE 2004 (LNCS 3306) November 2004.,
Brisbane,
pages 352--364,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InProceedings{Dong2004,
author = "C. Dong and J. Bailey",
title = "Optimization of {XML} Transformations using Template Specialization. In Web Information Systems",
booktitle = "WISE 2004 (LNCS 3306) November 2004.",
address = "Brisbane",
pages = "352--364",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
C. Dong and J. Bailey.
Static Analysis of XSLT Programs.
In 15th Australasian Database Conference 2004,
Dunedin, January 2004.,
pages 151--160,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InProceedings{Dong2004b,
author = "C. Dong and J. Bailey",
title = "Static Analysis of {XSLT} Programs",
booktitle = "15th Australasian Database Conference 2004",
address = "Dunedin, January 2004.",
pages = "151--160",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
U. Endriss,
P. Mancarella,
F. Sadri,
G. Terreni,
and F. Toni.
The CIFF Proof Procedure for Abductive Logic Programming with Constraints.
In José Júlio Alferes and João Leite, editors,
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,,
Lisbon, Portugal,
pages 266--278,
2004.
Springer Verlag.
Keywords:
modal logic,
logic programming,
honours reading,
agent programming languages,
inductive logic programming.
| Abstract: |
"We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of multiagent systems." |
@InProceedings{Endriss2004,
author = "U. Endriss and P. Mancarella and F. Sadri and G. Terreni and F. Toni",
title = "The {CIFF} Proof Procedure for Abductive Logic Programming with Constraints",
booktitle = "Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,",
editor = "José Júlio Alferes and João Leite",
address = "Lisbon, Portugal",
publisher = "Springer Verlag",
pages = "266--278",
abstract = "We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abductive reasoning with constraint solving and by relaxing the restrictions on allowed inputs for which the procedure can operate correctly. An implementation of our proof procedure is available and has been applied successfully in the context of multiagent systems.",
keywords = "modal logic, logic programming, honours reading, agent programming languages, inductive logic programming",
year = "2004",
}
-
S. B. Goschnick,
S. H. Balbo,
D. Tong,
C. S. Glen,
W. K. So,
and C. Ooi.
WEPN-Web Evaluation Path Navigator..
In AusWeb04,
Gold Coast, July 2004.,
pages 465--468,
2004.
Keywords:
agentlab,
context-aware applications.
@InProceedings{Goschnick2004,
author = "S. B. Goschnick and S. H. Balbo and D. Tong and C. S. Glen and W. K. So and C. Ooi",
title = "{WEPN}-Web Evaluation Path Navigator.",
booktitle = "AusWeb04",
address = "Gold Coast, July 2004.",
pages = "465--468",
keywords = "agentlab, context-aware applications",
year = "2004",
}
-
Simon Goss,
Clinton Heinze,
Michael Papasimeon,
Adrian Pearce,
and Leon Sterling.
Towards reuse in agent oriented information systems: the importance of being purposive.
In International workshop on Agent-Oriented Information systems (AOIS-2003) held in conjunction with AAMAS 2003, appears in Lecture Notes in Computer Science, Vol 3030.,
Melbourne, Australia,
pages 111--126,
2004.
Springer-Verlag.
Keywords:
agentlab,
agent-oriented software engineering,
agent programming languages,
logistics,
multi-agent simulation.
@InProceedings{Goss2004,
author = "Simon Goss and Clinton Heinze and Michael Papasimeon and Adrian Pearce and Leon Sterling",
title = "Towards reuse in agent oriented information systems: the importance of being purposive",
booktitle = "International workshop on Agent-Oriented Information systems (AOIS-2003) held in conjunction with AAMAS 2003, appears in Lecture Notes in Computer Science, Vol 3030.",
address = "Melbourne, Australia",
publisher = "Springer-Verlag",
pages = "111--126",
keywords = "agentlab, agent-oriented software engineering, agent programming languages, logistics, multi-agent simulation",
year = "2004",
}
-
K. M. Hansen,
L. M. Kristensen,
E. Eskildsen,
K-D. Nielsen,
R. E. Thorup,
J. Fridthjof,
U. Merrild,
and J. Eskildsen.
The Ex Hoc Infrastructure Framework.
In Proc. of Nordic Symposium on Traffic Research,
2004.
Keywords:
sensor networks,
simulation,
honours reading.
@InProceedings{Hansen2004,
author = "K. M. Hansen and L. M. Kristensen and E. Eskildsen and K-D. Nielsen and R. E. Thorup and J. Fridthjof and U. Merrild and J. Eskildsen",
title = "The Ex Hoc Infrastructure Framework",
booktitle = "Proc. of Nordic Symposium on Traffic Research",
keywords = "sensor networks, simulation, honours reading",
year = "2004",
}
-
Anthony Harrington and Vinny Cahill.
Route Profiling - Putting Context to Work.
In Proceedings of the 19th ACM symposium on Applied Computing,
Nicosia, Cyprus,
2004.
Keywords:
sensor networks,
simulation,
honours reading.
@InProceedings{Harrington2004,
author = "Anthony Harrington and Vinny Cahill",
title = "Route Profiling - Putting Context to Work",
booktitle = "Proceedings of the 19th ACM symposium on Applied Computing",
address = "Nicosia, Cyprus",
keywords = "sensor networks, simulation, honours reading",
year = "2004",
}
-
T. L. Juan and L. S. Sterling.
Achieving Dynamic Interfaces with Agent Concepts.
In Autonomous Agents & Multi Agent Systems,
volume 2,
New York, July 2004,
pages 690--697,
2004.
Keywords:
agentlab,
agent-oriented software engineering,
ROADMAP.
@InProceedings{Juan2004,
author = "T. L. Juan and L. S. Sterling",
title = "Achieving Dynamic Interfaces with Agent Concepts",
booktitle = "Autonomous Agents \& Multi Agent Systems",
address = "New York, July 2004",
volume = "2",
pages = "690--697",
keywords = "agentlab, agent-oriented software engineering, ROADMAP",
year = "2004",
}
-
F. L. Koch and I. Rahwan.
Classification of Agents-based Mobile Assistants.
In Proceedings of the AAMAS Workshop on Agents for Ubiquitous Computing,
New York,
2004.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Koch2004,
author = "F. L. Koch and I. Rahwan",
title = "Classification of Agents-based Mobile Assistants",
booktitle = "Proceedings of the AAMAS Workshop on Agents for Ubiquitous Computing",
address = "New York",
keywords = "agentlab, models of interaction and context aware applications",
year = "2004",
}
-
Philip Levis,
Sam Madden,
David Gay,
Joseph Polastre,
Robert Szewczyk,
Alec Woo,
Eric Brewer,
and David Culler.
The Emergence of Networking Abstractions and Techniques in TinyOS.
In First Symposium on networked system design and implementation (NSDI04),
San Francisco, California, USA,
pages 1--14,
2004.
Keywords:
sensor networks,
honours reading.
@InProceedings{Levis2004,
author = "Philip Levis and Sam Madden and David Gay and Joseph Polastre and Robert Szewczyk and Alec Woo and Eric Brewer and David Culler",
title = "The Emergence of Networking Abstractions and Techniques in Tiny{OS}",
booktitle = "First Symposium on networked system design and implementation (NSDI04)",
address = "San Francisco, California, USA",
pages = "1--14",
keywords = "sensor networks, honours reading",
year = "2004",
}
-
R. Mailler and V. Lesser.
Solving Distributed Constraint Optimization Problems using Cooperative Mediation.
In Autonomous Agents and Multiagent Systems,
New York, USA,
pages 438--445,
2004.
IEEE.
Keywords:
multiagent coordination,
honours reading,
agent programming languages,
DCOP,
DCSP.
@InProceedings{Mailler2004,
author = "R. Mailler and V. Lesser",
title = "Solving Distributed Constraint Optimization Problems using Cooperative Mediation",
booktitle = "Autonomous Agents and Multiagent Systems",
address = "New York, USA",
publisher = "IEEE",
pages = "438--445",
keywords = "multiagent coordination, honours reading, agent programming languages, DCOP, DCSP",
year = "2004",
}
-
Maarten Marien,
David Gilis,
and Marc Denecker.
On the Relation Between ID-Logic and Answer Set Programming.
In José Júlio Alferes and João Leite, editors,
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,,
Lisbon, Portugal,
pages 108--120,
2004.
Springer Verlag.
Keywords:
modal logic,
logic programming,
honours reading,
agent programming languages.
| Abstract: |
"This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the level of declarative reading, practical methodology and formal semantics. At the level of methodology, we put forward the thesis that in many (but not all) existing applications of ASP, an ASP program is used to encode definitions and assertions, similar as in ID-Logic. We illustrate this thesis with an example and present a formal result that supports it, namely an equivalence preserving translation from a class of ID-Logic theories into ASP. This translation can be exploited also to use the current efficient ASP solvers to reason on ID-Logic theories and it has been used to implement a model generator for ID-Logic." |
@InProceedings{Marien2004,
author = "Maarten Marien and David Gilis and Marc Denecker",
title = "On the Relation Between {ID}-Logic and Answer Set Programming",
booktitle = "Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,",
editor = "José Júlio Alferes and João Leite",
address = "Lisbon, Portugal",
publisher = "Springer Verlag",
pages = "108--120",
abstract = "This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the level of declarative reading, practical methodology and formal semantics. At the level of methodology, we put forward the thesis that in many (but not all) existing applications of ASP, an ASP program is used to encode definitions and assertions, similar as in ID-Logic. We illustrate this thesis with an example and present a formal result that supports it, namely an equivalence preserving translation from a class of ID-Logic theories into ASP. This translation can be exploited also to use the current efficient ASP solvers to reason on ID-Logic theories and it has been used to implement a model generator for ID-Logic.",
keywords = "modal logic, logic programming, honours reading, agent programming languages",
year = "2004",
}
-
Linh Anh Nguyen.
The Modal Logic Programming System MProlog.
In José Júlio Alferes and João Leite, editors,
Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,,
Lisbon, Portugal,
pages 266--278,
2004.
Springer Verlag.
Keywords:
modal logic,
logic programming,
honours reading,
agent programming languages.
@InProceedings{Nguyen2004,
author = "Linh Anh Nguyen",
title = "The Modal Logic Programming System {MP}rolog",
booktitle = "Logics in Artificial Intelligence: 9th European Conference, JELIA 2004,",
editor = "José Júlio Alferes and João Leite",
address = "Lisbon, Portugal",
publisher = "Springer Verlag",
pages = "266--278",
keywords = "modal logic, logic programming, honours reading, agent programming languages",
year = "2004",
}
-
Emma Norling.
Folk Psychology for Human Modelling: Extending the BDI Paradigm.
In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
2004.
Keywords:
agentlab,
context-aware applications,
belief desires intentions,
BDI.
@InProceedings{Norling2004,
author = "Emma Norling",
title = "Folk Psychology for Human Modelling: Extending the {BDI} Paradigm",
booktitle = "International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
address = "New York",
keywords = "agentlab, context-aware applications, belief desires intentions, BDI",
year = "2004",
}
-
E. J. Norling and F. E. Ritter.
Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling.
In Third International Joint Conference on Autonomous Agents & Multi Agent Systems,
New York, July 2004,
pages 758--765,
2004.
Keywords:
agentlab,
context-aware applications.
@InProceedings{Norling2004d,
author = "E. J. Norling and F. E. Ritter",
title = "Towards Supporting Psychologically Plausible Variability in Agent-Based Human Modelling",
booktitle = "Third International Joint Conference on Autonomous Agents \& Multi Agent Systems",
address = "New York, July 2004",
pages = "758--765",
keywords = "agentlab, context-aware applications",
year = "2004",
}
-
Emma Norling and Frank Ritter.
A Parameter Set to Support Psychologically Plausible Variability in Agent-Based Human Modelling.
In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
2004.
Keywords:
agentlab,
context-aware applications.
@InProceedings{Norling2004b,
author = "Emma Norling and Frank Ritter",
title = "A Parameter Set to Support Psychologically Plausible Variability in Agent-Based Human Modelling",
booktitle = "International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
address = "New York",
keywords = "agentlab, context-aware applications",
year = "2004",
}
-
E. J. Norling and E. A. Sonenberg.
Creating interactive characters with BDI agents..
In In Proceedings of the Australian Workshop on Interactive Entertainment,
Sydney, February 2004.,
pages 69--76,
2004.
Keywords:
agentlab,
context-aware applications.
@InProceedings{Norling2004e,
author = "E. J. Norling and E. A. Sonenberg",
title = "Creating interactive characters with {BDI} agents.",
booktitle = "In Proceedings of the Australian Workshop on Interactive Entertainment",
address = "Sydney, February 2004.",
pages = "69--76",
keywords = "agentlab, context-aware applications",
year = "2004",
}
-
E. J. Norling.
Folk Psychology for Human Modelling: Extending the BDI Paradigm.
In Third International Joint Conference on Autonomous Agents & Multi Agent Systems,
New York, July 2004,
pages 202--209 .,
2004.
Keywords:
agentlab,
context-aware applications.
@InProceedings{Norling2004c,
author = "E. J. Norling",
title = "Folk Psychology for Human Modelling: Extending the {BDI} Paradigm",
booktitle = "Third International Joint Conference on Autonomous Agents \& Multi Agent Systems",
address = "New York, July 2004",
pages = "202--209 .",
keywords = "agentlab, context-aware applications",
year = "2004",
}
-
A. Omicini,
A. Ricci,
M. Viroli,
C. Castelfranchi,
and L. Tummolini.
Coordination artifacts: environment-based coordination for intelligent agents.
In Autonomous Agents and Multiagent Systems (AAMAS),
2004.
Keywords:
agent-oriented software engineering,
honours reading.
@InProceedings{Omicini2004,
author = "A. Omicini and A. Ricci and M. Viroli and C. Castelfranchi and L. Tummolini",
title = "Coordination artifacts: environment-based coordination for intelligent agents",
booktitle = "Autonomous Agents and Multiagent Systems (AAMAS)",
keywords = "agent-oriented software engineering, honours reading",
year = "2004",
}
-
D. Perugini,
D. Lambert,
L. S. Sterling,
and A. R. Pearce.
Agent-Based Global Transportation Scheduling in Military Logistics.
In Third Joint Conference on Autonomous Agents and Multi Agent Systems,
volume 3,
New York, July 2004.,
pages 1278--1279,
2004.
Keywords:
agentlab,
agent programming languages,
logistics.
@InProceedings{Perugini2004b,
author = "D. Perugini and D. Lambert and L. S. Sterling and A. R. Pearce",
title = "Agent-Based Global Transportation Scheduling in Military Logistics",
booktitle = "Third Joint Conference on Autonomous Agents and Multi Agent Systems",
address = "New York, July 2004.",
volume = "3",
pages = "1278--1279",
keywords = "agentlab, agent programming languages, logistics",
year = "2004",
}
-
Don Perugini,
Dale Lambert,
Leon Sterling,
and Adrian Pearce.
Provisional Agreement Protocol for Global Transportation Scheduling.
In Workshop on agents in traffic and transportation held in conjunction with the International Conference on Autonomous Agents and Multi Agent Systems (AAMAS04),
New York,
2004.
Keywords:
agentlab,
agent programming languages.
@InProceedings{Perugini2004,
author = "Don Perugini and Dale Lambert and Leon Sterling and Adrian Pearce",
title = "Provisional Agreement Protocol for Global Transportation Scheduling",
booktitle = "Workshop on agents in traffic and transportation held in conjunction with the International Conference on Autonomous Agents and Multi Agent Systems (AAMAS04)",
address = "New York",
keywords = "agentlab, agent programming languages",
year = "2004",
}
-
Iyad Rahwan,
Connor Graham,
and Liz Sonenberg.
Supporting Impromptu Coordination Using Automated Negotiation.
In PRIMA 2004,
pages 217--227,
2004.
Keywords:
agentlab,
models of interaction and context aware applications,
negotiation.
@InProceedings{Rahwan2004b,
author = "Iyad Rahwan and Connor Graham and Liz Sonenberg",
title = "Supporting Impromptu Coordination Using Automated Negotiation",
booktitle = "PRIMA 2004",
pages = "217--227",
keywords = "agentlab, models of interaction and context aware applications, negotiation",
year = "2004",
}
-
T. Rahwan,
T. Rahwan,
I. Rahwan,
and R. Ashri.
Agent-based Support for Mobile Users using AgentSpeak(L).
In P. Giorgini,
B. Henderson-Sellers,
and M. Winikoff, editors,
Agent-Oriented Information Systems AAMAS-04 Workshop, appears in volume 3030 of Lecture Notes in Artificial Intelligence,
pages 47--62,
2004.
Springer-Verlag.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Rahwan2004f,
author = "T. Rahwan and T. Rahwan and I. Rahwan and R. Ashri",
title = "Agent-based Support for Mobile Users using AgentSpeak({L})",
booktitle = "Agent-Oriented Information Systems AAMAS-04 Workshop, appears in volume 3030 of Lecture Notes in Artificial Intelligence",
editor = "P. Giorgini and B. Henderson-Sellers and M. Winikoff",
publisher = "Springer-Verlag",
pages = "47--62",
keywords = "agentlab, models of interaction and context aware applications",
year = "2004",
}
-
I. Rahwan,
L. Sonenberg,
and F. Dignum.
On Interest-Based Negotiation.
In F. Dignum and M-P. Huget, editors,
Advances in Agent Communication Workshop held in conjunction with AAMAS-03, appears in volume 2922 of Lecture Notes in Artificial Intelligence,
pages 383--401,
2004.
Springer-Verlag, Berlin, Germany.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Rahwan2004c,
author = "I. Rahwan and L. Sonenberg and F. Dignum",
title = "On Interest-Based Negotiation",
booktitle = "Advances in Agent Communication Workshop held in conjunction with AAMAS-03, appears in volume 2922 of Lecture Notes in Artificial Intelligence",
editor = "F. Dignum and M-P. Huget",
publisher = "Springer-Verlag, Berlin, Germany",
pages = "383--401",
keywords = "agentlab, models of interaction and context aware applications",
year = "2004",
}
-
Iyad Rahwan,
Liz Sonenberg,
and Peter McBurney.
Bargaining and Argument-Based Negotiation.
In ArgMAS 2004,
pages 176--191,
2004.
Keywords:
agentlab,
models of interaction and context aware applications,
negotiation.
@InProceedings{Rahwan2004d,
author = "Iyad Rahwan and Liz Sonenberg and Peter McBurney",
title = "Bargaining and Argument-Based Negotiation",
booktitle = "ArgMAS 2004",
pages = "176--191",
keywords = "agentlab, models of interaction and context aware applications, negotiation",
year = "2004",
}
-
I. Rahwan,
L. Sonenberg,
and P. McBurney.
Bargaining and Argument-based Negotiation: Some Preliminary Comparisons..
In Proceedings of the AAMAS Workshop on Argumentation in Multi-Agent Systems,
New York,
2004.
Keywords:
agentlab,
argumentation,
models of interaction and context aware applications.
@InProceedings{Rahwan2004e,
author = "I. Rahwan and L. Sonenberg and P. McBurney",
title = "Bargaining and Argument-based Negotiation: Some Preliminary Comparisons.",
booktitle = "Proceedings of the AAMAS Workshop on Argumentation in Multi-Agent Systems",
address = "New York",
keywords = "agentlab, argumentation, models of interaction and context aware applications",
year = "2004",
}
-
Karim Seada,
Marco Zuniga,
Ahmed Helmy,
and Bhaskar Krishnamachari.
Energy Efficient Forwarding Strategies for Geographic Routing in Wireless Sensor Networks.
In ACM Sensys 2004,
2004.
Keywords:
sensor networks,
honours reading.
@InProceedings{Seada2004,
author = "Karim Seada and Marco Zuniga and Ahmed Helmy and Bhaskar Krishnamachari",
title = "Energy Efficient Forwarding Strategies for Geographic Routing in Wireless Sensor Networks",
booktitle = "ACM Sensys 2004",
keywords = "sensor networks, honours reading",
year = "2004",
}
-
Raymond So and Liz Sonenberg.
Situation Awareness in Intelligent Agents: Foundations for a Theory of Proactive Agent Behavior.
In IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004),
Beijing, China,
pages 86--92,
2004.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{So2004,
author = "Raymond So and Liz Sonenberg",
title = "Situation Awareness in Intelligent Agents: Foundations for a Theory of Proactive Agent Behavior",
booktitle = "IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004)",
address = "Beijing, China",
pages = "86--92",
keywords = "agentlab, models of interaction and context aware applications",
year = "2004",
}
-
Susannah Soon,
Adrian Pearce,
and Max Noble.
A Teamwork Coordination Strategy using Case-Based Reasoning over Rolegraphs..
In Proceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003) - held in conjunction with AAMAS03, appears in Lecture Notes in Computer Science, Vol. 2969,
Melbourne, Australia.,
pages 249--260,
2004.
Keywords:
agentlab,
agent programming languages,
teamwork,
case-based reasoning.
@InProceedings{Soon2004b,
author = "Susannah Soon and Adrian Pearce and Max Noble",
title = "A Teamwork Coordination Strategy using Case-Based Reasoning over Rolegraphs.",
booktitle = "Proceedings of the 1st International Workshop on Computational Autonomy - Potential, Risks, Solutions (AUTONOMY 2003) - held in conjunction with AAMAS03, appears in Lecture Notes in Computer Science, Vol. 2969",
address = "Melbourne, Australia.",
pages = "249--260",
keywords = "agentlab, agent programming languages, teamwork, case-based reasoning",
year = "2004",
}
-
Susannah Soon,
Adrian Pearce,
and Max Noble.
Adaptive Teamwork Coordination using Graph Matching over Hierarchical Intentional Structures.
In Nicholas R. Jennings,
Carles Sierra,
Liz Sonenberg,
and Milind Tambe, editors,
International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
pages 294--301,
2004.
Keywords:
agentlab,
agent programming languages,
graph theory,
honours reading,
teamwork,
coordination.
@InProceedings{Soon2004,
author = "Susannah Soon and Adrian Pearce and Max Noble",
title = "Adaptive Teamwork Coordination using Graph Matching over Hierarchical Intentional Structures",
booktitle = "International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
editor = "Nicholas R. Jennings and Carles Sierra and Liz Sonenberg and Milind Tambe",
address = "New York",
pages = "294--301",
keywords = "agentlab, agent programming languages, graph theory, honours reading, teamwork, coordination",
year = "2004",
}
-
L. S. Sterling,
S. A. Karunasekera,
and A. O. Oluyomi.
An Agent Design Pattern Classification Scheme: Capturing the Notion of Agency in Agent Design Patterns.
In Asia Pacific Software Engineering Conference,
Busan, December 2004.,
pages 456--463,
2004.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Sterling2004,
author = "L. S. Sterling and S. A. Karunasekera and A. O. Oluyomi",
title = "An Agent Design Pattern Classification Scheme: Capturing the Notion of Agency in Agent Design Patterns",
booktitle = "Asia Pacific Software Engineering Conference",
address = "Busan, December 2004.",
pages = "456--463",
keywords = "agentlab, agent-oriented software engineering",
year = "2004",
}
-
A. Unruh,
J. Bailey,
and R. Kotagiri.
Managing Semantic Compensation in a Multi-agent System.
In International Conference on Cooperative Information Systems (LNCS 3290), October 2004.,
Agia Napa,
pages 245--263,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InProceedings{Unruh2004,
author = "A. Unruh and J. Bailey and R. Kotagiri",
title = "Managing Semantic Compensation in a Multi-agent System",
booktitle = "International Conference on Cooperative Information Systems (LNCS 3290), October 2004.",
address = "Agia Napa",
pages = "245--263",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
Amy Unruh,
James Bailey,
and K. Ramamohanarao.
A Framework for Goal-Based Semantic Compensation in Agent Systems.
In Workshop Workshop on Safety and Security in Multi-Agent Systems held in conjunction with the International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InProceedings{Unruh2004b,
author = "Amy Unruh and James Bailey and K. Ramamohanarao",
title = "A Framework for Goal-Based Semantic Compensation in Agent Systems",
booktitle = "Workshop Workshop on Safety and Security in Multi-Agent Systems held in conjunction with the International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
address = "New York",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
H. Van Dyke Parunak,
Sven Brueckner,
and Robert Savit.
Universality in Multi-Agent Systems.
In International Conference on Autonomous Agents and Multi Agent Systems (AAMAS),
New York,
2004.
Keywords:
agents,
computational complexity,
epistemic logic,
honours reading.
@InProceedings{Parunak2004,
author = "H. Van Dyke Parunak and Sven Brueckner and Robert Savit",
title = "Universality in Multi-Agent Systems",
booktitle = "International Conference on Autonomous Agents and Multi Agent Systems (AAMAS)",
address = "New York",
keywords = "agents, computational complexity, epistemic logic, honours reading",
year = "2004",
}
-
M. Birna van Riemsdijk,
John-Jules Ch. Meyer,
and Frank S. de Boer.
Semantics of Plan Revision in Intelligent Agents.
In Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04),
2004.
Keywords:
agent programming languages,
honours reading.
@InProceedings{Riemsdijk2004,
author = "M. Birna van Riemsdijk and John-Jules Ch. Meyer and Frank S. de Boer",
title = "Semantics of Plan Revision in Intelligent Agents",
booktitle = "Proceedings of the 10th International Conference on Algebraic Methodology and Software Technology (AMAST'04)",
keywords = "agent programming languages, honours reading",
year = "2004",
}
-
S. V. Waworuntu and J. Bailey.
XSLTGen: A System for Automatically Generating XML Transformations via Semantic Mappings.
In In Conceptual Modeling: ER 2004 (LNCS 3288) November 2004,
Shanghai,
pages 479--492,
2004.
Keywords:
agentlab,
transaction-oriented multi-agent systems,
databases.
@InProceedings{Waworuntu2004,
author = "S. V. Waworuntu and J. Bailey",
title = "{XSLTG}en: {A} System for Automatically Generating {XML} Transformations via Semantic Mappings",
booktitle = "In Conceptual Modeling: ER 2004 (LNCS 3288) November 2004",
address = "Shanghai",
pages = "479--492",
keywords = "agentlab, transaction-oriented multi-agent systems, databases",
year = "2004",
}
-
O. Wolfson and . B. Xu.
Data-on-the-Road in Intelligent Transportation Systems.
In Proc. of the IEEE International Conference on Networking, Sensing, and Control (ICNSC 2004),
Taipei, Taiwan,
2004.
Keywords:
sensor networks,
simulation,
honours reading.
@InProceedings{Wolfson2004,
author = "O. Wolfson and . {B. Xu}",
title = "Data-on-the-Road in Intelligent Transportation Systems",
booktitle = "Proc. of the IEEE International Conference on Networking, Sensing, and Control (ICNSC 2004)",
address = "Taipei, Taiwan",
keywords = "sensor networks, simulation, honours reading",
year = "2004",
}