-
Dieter Fensel,
James A. Hendler,
H. Lieberman,
and Wolfgang Wahlster.
Spinning the semantic Web : bringing the World Wide Web to its full potential.
MIT Press,
Cambridge, Mass.,
2002.
Note: 2002016503 edited by Dieter Fensel ... [et al.]. Includes bibliographical references and index.
Keywords:
Graph theory,
honours reading,
Semantic Web.
@Book{Fensel2002,
author = "Dieter Fensel and James A. Hendler and H. Lieberman and Wolfgang Wahlster",
title = "Spinning the semantic Web : bringing the World Wide Web to its full potential",
publisher = "MIT Press",
address = "Cambridge, Mass.",
note = "2002016503 edited by Dieter Fensel ... [et al.]. Includes bibliographical references and index.",
keywords = "Graph theory, honours reading, Semantic Web",
year = "2002",
}
-
Melvin Fitting.
Types Tableaus and Godels God.
Kluwer,
2002.
Keywords:
modal logic,
agent programming languages,
honours reading.
@Book{Fitting2002,
author = "Melvin Fitting",
title = "Types Tableaus and Godels God",
publisher = "Kluwer",
keywords = "modal logic, agent programming languages, honours reading",
year = "2002",
}
-
Lorenzo Magnani,
Nancy J. Nersessian,
and Claudio Pizzi, editors.
Logical and Computational Aspects of Model-Based Reasoning,
volume 25 of Applied logic series.
Kluwer,
2002.
Keywords:
model theory,
honours reading.
| Abstract: |
"This volume is based on the papers that were presented at the International Conference `Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values' (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. The previous volume Model-Based Reasoning in Scientific Discovery, edited by L. Magnani, N.J. Nersessian, and P. Thagard (Kluwer Academic/Plenum Publishers, New York, 1999; Chinese edition, China Science and Technology Press, Beijing, 2000), was based on the papers presented at the first `model-based reasoning' international conference, held at the same venue in December 1998. The presentations given at the Conference explore how scientific thinking uses models and exploratory reasoning to produce creative changes in theories and concepts. Some address the problem of model-based reasoning in ethics, especially pertaining to science and technology, and stress some aspects of model-based reasoning in technological innovation. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term `model' comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology, and are logically and computationally oriented: the most recent results and achievements about the topics above are illustrated in detail in the papers. Logical Aspects of Model-Based Reasoning. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems; N. Swoboda, G. Allwein. A Logical Approach to the Analysis of Metaphors; I. D'Hanis. Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction; J. Meheus, et al. Diagrammatic Inference and Graphical Proof; L.A. Pineda. A Logical Analysis of Graphical Consistency Proofs; A. Shimojima. Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning; D. Provijn, E. Weber. Model-Guided Proof Planning; S. Choi, M. Kerber. Degrees of Abductive Boldness; I.C. Burger, J. Heidema. Scientific Explanation and Modified Semantic Tableaux; A. Nepomuceno-Fernádez. Computational Aspects of Model-Based Reasoning. Computational Discovery of Communicable Knowledge; P. Langley, et al. Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery; S. Dzeroski, L. Todorovski. Reasoning about Models of Nonlinear Systems; E. Stolle, et al. Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation; B. Górny, A. Ligeza. Modeling Through Human-Computer Interactions and Mathematical Discourse; G. Menezes da Nóbrega, et al. Combining Strategy and Sub-models for the Objectified Communication of Research Programs; E. Finkeissen. Subject Index. Author Index." |
@Book{Magnani2002,
editor = "Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi",
title = "Logical and Computational Aspects of Model-Based Reasoning",
publisher = "Kluwer",
volume = "25",
series = "Applied logic series",
abstract = "This volume is based on the papers that were presented at the International Conference `Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values' (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001. The previous volume Model-Based Reasoning in Scientific Discovery, edited by L. Magnani, N.J. Nersessian, and P. Thagard (Kluwer Academic/Plenum Publishers, New York, 1999; Chinese edition, China Science and Technology Press, Beijing, 2000), was based on the papers presented at the first `model-based reasoning' international conference, held at the same venue in December 1998. The presentations given at the Conference explore how scientific thinking uses models and exploratory reasoning to produce creative changes in theories and concepts. Some address the problem of model-based reasoning in ethics, especially pertaining to science and technology, and stress some aspects of model-based reasoning in technological innovation. The study of diagnostic, visual, spatial, analogical, and temporal reasoning has demonstrated that there are many ways of performing intelligent and creative reasoning that cannot be described with the help only of traditional notions of reasoning such as classical logic. Understanding the contribution of modeling practices to discovery and conceptual change in science requires expanding scientific reasoning to include complex forms of creative reasoning that are not always successful and can lead to incorrect solutions. The study of these heuristic ways of reasoning is situated at the crossroads of philosophy, artificial intelligence, cognitive psychology, and logic; that is, at the heart of cognitive science. There are several key ingredients common to the various forms of model-based reasoning. The term `model' comprises both internal and external representations. The models are intended as interpretations of target physical systems, processes, phenomena, or situations. The models are retrieved or constructed on the basis of potentially satisfying salient constraints of the target domain. Moreover, in the modeling process, various forms of abstraction are used. Evaluation and adaptation take place in light of structural, causal, and/or functional constraints. Model simulation can be used to produce new states and enable evaluation of behaviors and other factors. The various contributions of the book are written by interdisciplinary researchers who are active in the area of creative reasoning in science and technology, and are logically and computationally oriented: the most recent results and achievements about the topics above are illustrated in detail in the papers. Logical Aspects of Model-Based Reasoning. A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems; N. Swoboda, G. Allwein. A Logical Approach to the Analysis of Metaphors; I. D'Hanis. Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction; J. Meheus, et al. Diagrammatic Inference and Graphical Proof; L.A. Pineda. A Logical Analysis of Graphical Consistency Proofs; A. Shimojima. Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning; D. Provijn, E. Weber. Model-Guided Proof Planning; S. Choi, M. Kerber. Degrees of Abductive Boldness; I.C. Burger, J. Heidema. Scientific Explanation and Modified Semantic Tableaux; A. Nepomuceno-Fernádez. Computational Aspects of Model-Based Reasoning. Computational Discovery of Communicable Knowledge; P. Langley, et al. Encoding and Using Domain Knowledge on Population Dynamics for Equation Discovery; S. Dzeroski, L. Todorovski. Reasoning about Models of Nonlinear Systems; E. Stolle, et al. Model-Based Diagnosis of Dynamic Systems: Systematic Conflict Generation; B. Górny, A. Ligeza. Modeling Through Human-Computer Interactions and Mathematical Discourse; G. Menezes da Nóbrega, et al. Combining Strategy and Sub-models for the Objectified Communication of Research Programs; E. Finkeissen. Subject Index. Author Index.",
keywords = "model theory, honours reading",
year = "2002",
}
-
W. de Vries,
F. S. de Boer,
K. Hindriks,
W. van der Hoek,
and J. J. C. Meyer.
A programming language for coordinating group actions.
In From Theory to Practice in Multi-Agent Systems,
volume 2296 of Lecture Notes in Artificial Intelligence,
pages 313--321.
2002.
Keywords:
agent programming languages,
multiagent coordination,
graph theory,
constraint satisfaction,
honours reading.
| Abstract: |
"Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communication, group formation and group collaboration. GrAPL includes three novel statements. Two of these enable groups of agents to communicate about possible constraints on a specific action they might do together. If the demands of the agents are compatible, the group reaches an agreement regarding future executions of the action discussed. The third statement is synchronised action execution. Groups of agents can perform an action together, as long as their constraints on the action are satisfied." |
[download paper
]
@InCollection{de_Vries2002,
author = "W. {de Vries} and F. S. de Boer and K. Hindriks and W. van der Hoek and J. J. C. Meyer",
title = "A programming language for coordinating group actions",
booktitle = "From Theory to Practice in Multi-Agent Systems",
series = "Lecture Notes in Artificial Intelligence",
volume = "2296",
pages = "313--321",
abstract = "Coordination and cooperation are crucial notions in multi-agent systems. We provide a constraint programming language called GrAPL, with facilities for group communication, group formation and group collaboration. GrAPL includes three novel statements. Two of these enable groups of agents to communicate about possible constraints on a specific action they might do together. If the demands of the agents are compatible, the group reaches an agreement regarding future executions of the action discussed. The third statement is synchronised action execution. Groups of agents can perform an action together, as long as their constraints on the action are satisfied.",
URL = "://000181051500033",
keywords = "agent programming languages, multiagent coordination, graph theory, constraint satisfaction, honours reading",
year = "2002",
}
-
Clint Heinze,
Martin Cross,
Simon Goss,
Torgny Josefsson,
Ian Lloyd,
Graeme Murray,
Michael Papasimeon,
and Michael Turner..
Agents of change: The impact of intelligent agent technology on the analysis of air operations.
In L. Jain,
N. Ichalkaranje,
and G. Tonfoni, editors,Advances in Intelligent Systems for Defence,
volume 2 of Series on Innovative Intelligence,
pages 229--264.
World Scientific,
River Edge, New Jersey, USA,
1 edition edition,
2002.
Keywords:
agentlab,
agent-oriented software engineering,
multi-agent simulation.
@InCollection{Heinze2002,
author = "Clint Heinze and Martin Cross and Simon Goss and Torgny Josefsson and Ian Lloyd and Graeme Murray and Michael Papasimeon and Michael Turner.",
title = "Agents of change: The impact of intelligent agent technology on the analysis of air operations",
booktitle = "Advances in Intelligent Systems for Defence",
editor = "L. Jain and N. Ichalkaranje and G. Tonfoni",
series = "Series on Innovative Intelligence",
publisher = "World Scientific",
address = "River Edge, New Jersey, USA",
volume = "2",
edition = "1 edition",
pages = "229--264",
keywords = "agentlab, agent-oriented software engineering, multi-agent simulation",
year = "2002",
}
-
L. Sterling.
Patterns for Prolog programming.
In A. C. Kakas Sadri and F., editors,Computational Logic: Logic Programming and Beyond,
pages 374--401.
Springer Verlag, Berlin,
2002.
Keywords:
agentlab,
agent-oriented software engineering.
@InCollection{Sterling2002,
author = "L. Sterling",
title = "Patterns for Prolog programming",
booktitle = "Computational Logic: Logic Programming and Beyond",
editor = "A. C. Kakas Sadri and F.",
publisher = "Springer Verlag, Berlin",
pages = "374--401",
keywords = "agentlab, agent-oriented software engineering",
year = "2002",
}
-
I. F. Akyildiz,
Su Weilian,
Y. Sankarasubramaniam,
and E. E. Cayirci.
A survey on sensor networks.
IEEE Communications Magazine,
40(8):102--114,
2002.
Keywords:
sensor networks,
simulation,
honours reading.
@Article{Akyildiz2002,
author = "I. F. Akyildiz and Su Weilian and Y. Sankarasubramaniam and E. E. Cayirci",
title = "A survey on sensor networks",
journal = "IEEE Communications Magazine",
volume = "40",
number = "8",
pages = "102--114",
keywords = "sensor networks, simulation, honours reading",
year = "2002",
}
-
Ronal J/ Brachman.
Systems that know what they're doing.
IEEE Intelligent Systems,
pp 67--71,
2002.
Keywords:
agents,
honours reading.
@Article{Brachman2002,
author = "Ronal J/ Brachman",
title = "Systems that know what they're doing",
journal = "IEEE Intelligent Systems",
pages = "67--71",
keywords = "agents, honours reading",
year = "2002",
}
-
F. Dignum,
D. N. Kinny,
and E. A. Sonenberg.
From desires, obligations and norms to goals..
Cognitive Science Quarterly .,
2(3-4):407--427,
2002.
Keywords:
agentlab,
models of interaction and context aware applications,
cognitive science.
@Article{Dignum2002,
author = "F. Dignum and D. N. Kinny and E. A. Sonenberg",
title = "From desires, obligations and norms to goals.",
journal = "Cognitive Science Quarterly .",
volume = "2",
number = "3-4",
pages = "407--427",
keywords = "agentlab, models of interaction and context aware applications, cognitive science",
year = "2002",
}
-
J. Y. Halpern,
Y. Moses,
and O. Waarts.
A characterization of eventual Byzantine agreement.
SIAM JOURNAL ON COMPUTING,
31(3):838--865,
2002.
Keywords:
multiagent coordination,
honours reading,
modal logic.
@Article{Halpern2002,
author = "J. Y. Halpern and Y. Moses and O. Waarts",
title = "A characterization of eventual Byzantine agreement",
journal = "SIAM JOURNAL ON COMPUTING",
volume = "31",
number = "3",
pages = "838--865",
keywords = "multiagent coordination, honours reading, modal logic",
year = "2002",
}
-
C. Heinze,
S. Goss,
T. Josefsson,
K. Bennett,
S. Waugh,
I. Lloyd,
G Murray,
and J. Oldfield.
Interchanging agents and humans in military simulation.
AI Magazine,
23(2):37--47,
2002.
Keywords:
agent-oriented software engineering,
simulation,
agents,
agentlab,
logistics.
@Article{Heinze2002b,
author = "C. Heinze and S. Goss and T. Josefsson and K. Bennett and S. Waugh and I. Lloyd and G Murray and J. Oldfield",
title = "Interchanging agents and humans in military simulation",
journal = "AI Magazine",
volume = "23",
number = "2",
pages = "37--47",
keywords = "agent-oriented software engineering, simulation, agents, agentlab, logistics",
year = "2002",
}
-
M. Kaneko,
T. Nagashima,
N-Y Suzuki,
and Y. Tanaka.
A map of common knowledge logics.
Studia Logica,
71(1):57--86,
2002.
Keywords:
modal logic,
honours reading.
| Abstract: |
"In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (24 References)." |
@Article{Kaneko2002,
author = "M. Kaneko and T. Nagashima and N-Y Suzuki and Y. Tanaka",
title = "A map of common knowledge logics",
journal = "Studia Logica",
volume = "71",
number = "1",
pages = "57--86",
abstract = "In order to capture the concept of common knowledge, various extensions of multi-modal epistemic logics, such as fixed-point ones and infinitary ones, have been proposed. Although we have now a good list of such proposed extensions, the relationships among them are still unclear. The purpose of this paper is to draw a map showing the relationships among them. In the propositional case, these extensions turn out to be all Kripke complete and can be comparable in a meaningful manner. F. Wolter showed that the predicate extension of the Halpern-Moses fixed-point type common knowledge logic is Kripke incomplete. However, if we go further to an infinitary extension, Kripke completeness would be recovered. Thus there is some gap in the predicate case. In drawing the map, we focus on what is happening around the gap in the predicate case. The map enables us to better understand the common knowledge logics as a whole. (24 References).",
keywords = "modal logic, honours reading",
year = "2002",
}
-
deborah L. McGuinness,
Richard Fikes,
James Hendler,
and Lynn Andrea Stein.
DAML+OIL: An ontology languages for the semantic web.
IEEE Intelligent Systems,
2002.
Keywords:
ontologies,
honours reading.
@Article{McGuinness2002,
author = "deborah L. McGuinness and Richard Fikes and James Hendler and Lynn Andrea Stein",
title = "{DAML}+{OIL}: An ontology languages for the semantic web",
journal = "IEEE Intelligent Systems",
keywords = "ontologies, honours reading",
year = "2002",
}
-
J. Pearl.
Reasoning with cause and effect.
AI Magazine,
23(1):95--111,
2002.
Note: Publisher: American Assoc. Artificial Intelligence, USA.
Keywords:
causality,
Bayesian theory,
counterfactuals,
honours reading.
| Abstract: |
"This article is an edited transcript of a lecture given at IJCAI-99, Stockholm, Sweden, on 4 August 1999. The article summarizes concepts, principles, and tools that were found useful in applications involving causal modeling. The principles are based on structural-model semantics in which functional (or counterfactual) relationships representing autonomous physical processes are the fundamental building blocks. The article presents the conceptual basis of this semantics, illustrates its application in simple problems, and discusses its ramifications to computational and cognitive problems concerning causation. (27 References)." |
@Article{Pearl2002,
author = "J. Pearl",
title = "Reasoning with cause and effect",
journal = "AI Magazine",
volume = "23",
number = "1",
pages = "95--111",
note = "Publisher: American Assoc. Artificial Intelligence, USA.",
abstract = "This article is an edited transcript of a lecture given at IJCAI-99, Stockholm, Sweden, on 4 August 1999. The article summarizes concepts, principles, and tools that were found useful in applications involving causal modeling. The principles are based on structural-model semantics in which functional (or counterfactual) relationships representing autonomous physical processes are the fundamental building blocks. The article presents the conceptual basis of this semantics, illustrates its application in simple problems, and discusses its ramifications to computational and cognitive problems concerning causation. (27 References).",
keywords = "causality, Bayesian theory, counterfactuals, honours reading",
year = "2002",
}
-
A. Poggi,
G. Rimassa,
and P. Turci.
What agent middleware can (and should) do for you.
Applied Artificial Intelligence,
16(9-10):677--98,
2002.
Note: Publisher: Taylor & Francis, UK.
Keywords:
sensor networks,
simulation,
honours reading,
logistics.
| Abstract: |
"This paper addresses the issue of moving agent technology to the mainstream, looking from various perspectives at the mainstreaming process that can take place during a technology life cycle, radically moving its status from a supposedly good idea to an actual economic and industrial workhorse that lends itself useful in everyday life. While there is serious evidence that agent technology is approaching this critical point, it is by no means possible to tell whether agent technology will eventually be adopted on a global scale or not. However, looking at the various factors that can make the difference between acceptance and oblivion, a mainstreaming strategy can be set up. We claim that agent middleware has to play a fundamental role in this strategy, and we motivate our belief on the basis of general considerations and on our actual experience with the JADE agent platform. (30 References)." |
@Article{Poggi2002,
author = "A. Poggi and G. Rimassa and P. Turci",
title = "What agent middleware can (and should) do for you",
journal = "Applied Artificial Intelligence",
volume = "16",
number = "9-10",
pages = "677--98",
note = "Publisher: Taylor \& Francis, UK.",
abstract = "This paper addresses the issue of moving agent technology to the mainstream, looking from various perspectives at the mainstreaming process that can take place during a technology life cycle, radically moving its status from a supposedly good idea to an actual economic and industrial workhorse that lends itself useful in everyday life. While there is serious evidence that agent technology is approaching this critical point, it is by no means possible to tell whether agent technology will eventually be adopted on a global scale or not. However, looking at the various factors that can make the difference between acceptance and oblivion, a mainstreaming strategy can be set up. We claim that agent middleware has to play a fundamental role in this strategy, and we motivate our belief on the basis of general considerations and on our actual experience with the JADE agent platform. (30 References).",
keywords = "sensor networks, simulation, honours reading, logistics",
year = "2002",
}
-
D. V. Pynadath and M. Tambe.
The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models.
Journal of Artificial Intelligence Research,
16:389--423,
2002.
Keywords:
computational complexity,
teamwork,
Markov theory,
graph theory,
agent communication languagess,
honours reading.
| Abstract: |
"Abstract: Despite the significant progress in multiagent teamwork, existing research does not address the optimality of its prescriptions nor the complexity of the teamwork problem. Without a characterization of the optimality-complexity tradeoffs, it is impossible to determine whether the assumptions and approximations made by a particular theory gain enough efficiency to justify the losses in overall performance. To provide a tool for use by multiagent researchers in evaluating this tradeoff, we present a unified framework, the COMmunicative Multiagent Team Decision Problem (COM-MTDP). The COM-MTDP model combines and extends existing multiagent theories, such as decentralized partially observable Markov decision processes and economic team theory. In addition to their generality of representation, COM-MTDPs also support the analysis of both the optimality of team performance and the computational complexity of the agents' decision problem. In analyzing complexity, we present a breakdown of the computational complexity of constructing optimal teams under various classes of problem domains, along the dimensions of observability and communication cost. In analyzing optimality, we exploit the COM-MTDP's ability to encode existing teamwork theories and models to encode two instantiations of joint intentions theory taken from the literature. Furthermore, the COM-MTDP model provides a basis for the development of novel team coordination algorithms. We derive a domain-independent criterion for optimal communication and provide a comparative analysis of the two joint intentions instantiations with respect to this optimal policy. We have implemented a reusable, domain-independent software package based on COM-MTDPs to analyze teamwork coordination strategies, and we demonstrate its use by encoding and evaluating the two joint intentions strategies within an example domain." |
@Article{Pynadath2002,
author = "D. V. Pynadath and M. Tambe",
title = "The Communicative Multiagent Team Decision Problem: Analyzing Teamwork Theories and Models",
journal = "Journal of Artificial Intelligence Research",
volume = "16",
pages = "389--423",
abstract = "Abstract: Despite the significant progress in multiagent teamwork, existing research does not address the optimality of its prescriptions nor the complexity of the teamwork problem. Without a characterization of the optimality-complexity tradeoffs, it is impossible to determine whether the assumptions and approximations made by a particular theory gain enough efficiency to justify the losses in overall performance. To provide a tool for use by multiagent researchers in evaluating this tradeoff, we present a unified framework, the COMmunicative Multiagent Team Decision Problem (COM-MTDP). The COM-MTDP model combines and extends existing multiagent theories, such as decentralized partially observable Markov decision processes and economic team theory. In addition to their generality of representation, COM-MTDPs also support the analysis of both the optimality of team performance and the computational complexity of the agents' decision problem. In analyzing complexity, we present a breakdown of the computational complexity of constructing optimal teams under various classes of problem domains, along the dimensions of observability and communication cost. In analyzing optimality, we exploit the COM-MTDP's ability to encode existing teamwork theories and models to encode two instantiations of joint intentions theory taken from the literature. Furthermore, the COM-MTDP model provides a basis for the development of novel team coordination algorithms. We derive a domain-independent criterion for optimal communication and provide a comparative analysis of the two joint intentions instantiations with respect to this optimal policy. We have implemented a reusable, domain-independent software package based on COM-MTDPs to analyze teamwork coordination strategies, and we demonstrate its use by encoding and evaluating the two joint intentions strategies within an example domain.",
keywords = "computational complexity, teamwork, Markov theory, graph theory, agent communication languagess, honours reading",
year = "2002",
}
-
nigel shadbolt.
Grandly challenged.
IEEE Intelligent Systems,
03:2--4,
2002.
Keywords:
agents,
honours reading.
@Article{shadbolt2002,
author = "nigel shadbolt",
title = "Grandly challenged",
journal = "IEEE Intelligent Systems",
volume = "03",
pages = "2--4",
keywords = "agents, honours reading",
year = "2002",
}
-
Johan van Benthem.
Extensive Games as Process Models.
Journal of Logic, Language and Information,
11(3):289--313,
2002.
Keywords:
game theory,
model theory,
algorithms,
honours reading.
@Article{van_Benthem2002,
author = "Johan van Benthem",
title = "Extensive Games as Process Models",
journal = "Journal of Logic, Language and Information",
volume = "11",
number = "3",
pages = "289--313",
keywords = "game theory, model theory, algorithms, honours reading",
year = "2002",
}
-
W. R. Wobcke.
Two Logical Theories of Plan Recognition.
Journal of Logic and Computation,
12(3):371--412,
2002.
Keywords:
agentlab,
models of interaction and context aware applications,
belief desires intentions,
BDI.
@Article{Wobcke2002c,
author = "W. R. Wobcke",
title = "Two Logical Theories of Plan Recognition",
journal = "Journal of Logic and Computation",
volume = "12",
number = "3",
pages = "371--412",
keywords = "agentlab, models of interaction and context aware applications, belief desires intentions, BDI",
year = "2002",
}
-
Muthukkaruppan Annamalai,
Leon Sterling,
and Glenn Moloney.
Adding Semantics to Scientific Collaboration Documents.
In Poster presentation at The International Semantic Web Conference (ISWC 2002),
Sardinia,
2002.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Annamalai2002b,
author = "Muthukkaruppan Annamalai and Leon Sterling and Glenn Moloney",
title = "Adding Semantics to Scientific Collaboration Documents",
booktitle = "Poster presentation at The International Semantic Web Conference (ISWC 2002)",
address = "Sardinia",
keywords = "agentlab, agent-oriented software engineering",
year = "2002",
}
-
Muthukkaruppan Annamalai,
Leon Sterling,
and Glenn Moloney.
A Collaborative Framework for Distributed Scientific Groups.
In Stephen Cranefield,
Tim Finin,
and Steve Willmott, editors,
Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series,
Bologna,
2002.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Annamalai2002c,
author = "Muthukkaruppan Annamalai and Leon Sterling and Glenn Moloney",
title = "A Collaborative Framework for Distributed Scientific Groups",
booktitle = "Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series",
editor = "Stephen Cranefield and Tim Finin and Steve Willmott",
address = "Bologna",
keywords = "agentlab, agent-oriented software engineering",
year = "2002",
}
-
T. Y. Chen,
Iyad Rahwan,
and Yun Yang.
Temporal Interaction Diagrams.
In Proceedings of the 2002 Information Resource Management Association International Conference (IRMA02),
Seattle, USA,
pages 843--846,
2002.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Chen2002,
author = "T. Y. Chen and Iyad Rahwan and Yun Yang",
title = "Temporal Interaction Diagrams",
booktitle = "Proceedings of the 2002 Information Resource Management Association International Conference (IRMA02)",
address = "Seattle, USA",
pages = "843--846",
keywords = "agentlab, models of interaction and context aware applications",
year = "2002",
}
-
Lito Perez Cruz,
Muthukkaruppan Annamalai,
and Leon Sterling.
Analyzing High Energy Physics Experiments Proceedings of the Workshop on Agentcities: Challenges in Open Agent Environments.
In B. Burg,
J. Dale,
T. Finin,
H. Nakashima,
L. Padgham,
C. Sierra,
and S. Willmott, editors,
Proceedings of the Workshop on Agentcities: Challenges in Open Agent Environments held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS02) Republished in LNCS Series, Springr-Verlag,
Bologna,
pages 130--134,
2002.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Cruz2002,
author = "Lito Perez Cruz and Muthukkaruppan Annamalai and Leon Sterling",
title = "Analyzing High Energy Physics Experiments Proceedings of the Workshop on Agentcities: Challenges in Open Agent Environments",
booktitle = "Proceedings of the Workshop on Agentcities: Challenges in Open Agent Environments held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS02) Republished in LNCS Series, Springr-Verlag",
editor = "B. Burg and J. Dale and T. Finin and H. Nakashima and L. Padgham and C. Sierra and S. Willmott",
address = "Bologna",
pages = "130--134",
keywords = "agentlab, agent-oriented software engineering",
year = "2002",
}
-
MohammadTaghi Hajiaghayi and Naomi Nishimura.
Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded Treewidth.
In Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August , appears in Lecture Notes in Computer Science, Vol 2420,
volume 2420,
pages 305--318,
2002.
Keywords:
graph matching,
honours reading,
graph theory.
| Abstract: |
"The subgraph isomorphism problem, that of finding a copy of one graph in another, has proved to be intractable except when certain restrictions are placed on the inputs. In this paper, we introduce a new property for graphs (a generalization on bounded degree) and extend the known classes of inputs for which polynomial-time subgraph isomorphism algorithms are attainable. In particular, if the removal of any set of at most k vertices from an n-vertex graph results in connected components, we say that the graph is a -bounded fragmentation graph. We present a polynomial-time algorithm for finding a subgraph of H isomorphic to a graph G when G is a -bounded fragmentation graph and H has bounded treewidth; these results are extended to handle graphs of locally bounded treewidth (a generalization of treewidth) when G is a -bounded fragmentation graph and has constant diameter." |
@InProceedings{Hajiaghayi2002,
author = "MohammadTaghi Hajiaghayi and Naomi Nishimura",
title = "Subgraph Isomorphism, log-Bounded Fragmentation and Graphs of (Locally) Bounded Treewidth",
booktitle = "Mathematical Foundations of Computer Science 2002 : 27th International Symposium, MFCS 2002, Warsaw, Poland, August , appears in Lecture Notes in Computer Science, Vol 2420",
volume = "2420",
pages = "305--318",
abstract = "The subgraph isomorphism problem, that of finding a copy of one graph in another, has proved to be intractable except when certain restrictions are placed on the inputs. In this paper, we introduce a new property for graphs (a generalization on bounded degree) and extend the known classes of inputs for which polynomial-time subgraph isomorphism algorithms are attainable. In particular, if the removal of any set of at most k vertices from an n-vertex graph results in connected components, we say that the graph is a -bounded fragmentation graph. We present a polynomial-time algorithm for finding a subgraph of H isomorphic to a graph G when G is a -bounded fragmentation graph and H has bounded treewidth; these results are extended to handle graphs of locally bounded treewidth (a generalization of treewidth) when G is a -bounded fragmentation graph and has constant diameter.",
keywords = "graph matching, honours reading, graph theory",
year = "2002",
}
-
Clinton Heinze and Leon Sterling.
Using the UML to model knowledge in agent systems.
In Proceedings of the First International Joint Conference on Autonomous agents and multi-agent systems (AAMAS 2002),
Bologna, Italy,
pages 441--42,
2002.
Keywords:
agent-oriented software engineering,
agents,
agentlab.
@InProceedings{Heinze2002c,
author = "Clinton Heinze and Leon Sterling",
title = "Using the {UML} to model knowledge in agent systems",
booktitle = "Proceedings of the First International Joint Conference on Autonomous agents and multi-agent systems (AAMAS 2002)",
address = "Bologna, Italy",
pages = "441--42",
keywords = "agent-oriented software engineering, agents, agentlab",
year = "2002",
}
-
Maia Hristozova and Leon Sterling.
An eXtreme method for developing lightweight ontologies.
In Stephen Cranefield,
Tim Finin,
and Steve Willmott, editors,
Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series,
Bologna,
2002.
Keywords:
agentlab,
agent-oriented software engineering,
logistics.
@InProceedings{Hristozova2002,
author = "Maia Hristozova and Leon Sterling",
title = "An eXtreme method for developing lightweight ontologies",
booktitle = "Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series",
editor = "Stephen Cranefield and Tim Finin and Steve Willmott",
address = "Bologna",
keywords = "agentlab, agent-oriented software engineering, logistics",
year = "2002",
}
-
Thomas Juan,
Adrian Pearce,
and Leon Sterling.
ROADMAP: Extending the Gaia Methodology for Complex Open Systems.
In Proceedings of the first international joint conference on Autonomous agents and multiagent systems (AAMAS2002),
Bolognia, Italy,
pages 3--10,
2002.
Keywords:
agent-oriented software engineering,
ontologies,
agentlab,
logistics,
agent programming languages,
ROADMAP.
[download paper
]
@InProceedings{Juan2002,
author = "Thomas Juan and Adrian Pearce and Leon Sterling",
title = "{ROADMAP}: Extending the Gaia Methodology for Complex Open Systems",
booktitle = "Proceedings of the first international joint conference on Autonomous agents and multiagent systems (AAMAS2002)",
address = "Bolognia, Italy",
URL = "http://www.agentlab.unimelb.edu.au/papers/juan2002.pdf",
pages = "3--10",
keywords = "agent-oriented software engineering, ontologies, agentlab, logistics, agent programming languages, ROADMAP",
year = "2002",
}
-
Thomas Juan,
Michael Winikoff,
and Leon Sterling.
Assembling Agent Oriented Software Engineering Methodologies from Features.
In AOSE,
pages 198--209,
2002.
Keywords:
agent-oriented software engineering,
agentlab,
ROADMAP.
@InProceedings{Juan2002b,
author = "Thomas Juan and Michael Winikoff and Leon Sterling",
title = "Assembling Agent Oriented Software Engineering Methodologies from Features",
booktitle = "AOSE",
pages = "198--209",
keywords = "agent-oriented software engineering, agentlab, ROADMAP",
year = "2002",
}
-
Spiros Kapetanakis and Daniel Kudenko.
Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems..
In AAAI/IAAI 2002,
pages 326--331,
2002.
Keywords:
reinforcement leaning,
honours reading.
@InProceedings{Kapetanakis2002,
author = "Spiros Kapetanakis and Daniel Kudenko",
title = "Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems.",
booktitle = "AAAI/IAAI 2002",
pages = "326--331",
keywords = "reinforcement leaning, honours reading",
year = "2002",
}
-
David Kinny.
ViP: a visual programming language for plan execution systems.
In Proceedings of AAMAS 2002,
pages 721--728,
2002.
Keywords:
agentlab,
models of interaction and context aware applications,
agent-oriented software engineering.
@InProceedings{Kinny2002,
author = "David Kinny",
title = "Vi{P}: a visual programming language for plan execution systems",
booktitle = "Proceedings of AAMAS 2002",
pages = "721--728",
keywords = "agentlab, models of interaction and context aware applications, agent-oriented software engineering",
year = "2002",
}
-
Timo Kosch,
Christian Schwingenschlogl,
and Li Ai.
Information Dissemination in Multihop Inter-Vehicle Networks - Adapting the Ad-hoc On-demand Distance Vector Routing Protocol (AODV).
In The IEEE 5th International Conference on Intelligent Transportation Systems,
Singapore,
2002.
Keywords:
sensor networks,
simulation,
honours reading.
@InProceedings{Kosch2002,
author = "Timo Kosch and Christian Schwingenschlogl and Li Ai",
title = "Information Dissemination in Multihop Inter-Vehicle Networks - Adapting the Ad-hoc On-demand Distance Vector Routing Protocol ({AODV})",
booktitle = "The IEEE 5th International Conference on Intelligent Transportation Systems",
address = "Singapore",
keywords = "sensor networks, simulation, honours reading",
year = "2002",
}
-
Kendall Lister,
Maia Hristozova,
and Leon Sterling.
Reconciling Implicit and Evolving Ontologies for Semantic Interoperability.
In Stephen Cranefield,
Tim Finin,
and Steve Willmott, editors,
Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series,
Bologna,
2002.
Keywords:
agentlab,
agent-oriented software engineering.
@InProceedings{Lister2002,
author = "Kendall Lister and Maia Hristozova and Leon Sterling",
title = "Reconciling Implicit and Evolving Ontologies for Semantic Interoperability",
booktitle = "Proceedings of the Workshop on Ontologies in Agent Systems (OAS 2002) held in conjunction with the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS03)Republished in CEUR Workshop Series",
editor = "Stephen Cranefield and Tim Finin and Steve Willmott",
address = "Bologna",
keywords = "agentlab, agent-oriented software engineering",
year = "2002",
}
-
Samuel Madden,
Michael J. Franklin,
Joseph M. Hellerstein,
and Wei Hong.
TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks.
In OSDI 2002,
pages 1--16,
2002.
Keywords:
sensor networks,
honours reading.
@InProceedings{Madden2002,
author = "Samuel Madden and Michael J. Franklin and Joseph M. Hellerstein and Wei Hong",
title = "{TAG}: {A} Tiny {AG}gregation Service for Ad-Hoc Sensor Networks",
booktitle = "OSDI 2002",
pages = "1--16",
keywords = "sensor networks, honours reading",
year = "2002",
}
-
E. Norling and E. A. Sonenberg.
An approach to evaluating human characteristics in agents.
In Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications,
Hamburg,
pages 51--60,
2002.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Norling2002,
author = "E. Norling and E. A. Sonenberg",
title = "An approach to evaluating human characteristics in agents",
booktitle = "Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications",
address = "Hamburg",
pages = "51--60",
keywords = "agentlab, models of interaction and context aware applications",
year = "2002",
}
-
Michael J. Pazzani.
Commercial Applications of Machine Learning for Personalized Wireless Portals..
In PRICAI 2002,
pages 1--5,
2002.
Keywords:
machine leaning,
honours reading.
| Abstract: |
"Consumers and businesses have access to vast stores of information on the Internet, ranging from newspapers, shopping catalogs, restaurant guides, classified ads, jobs listings, dating services to discussion groups and e-mail. All this information is typically accessible only while users are in front of a computer at home or in an office. Wireless devices allow unprecedented access to information from any location at any time. The presentation of this information must be tailored to the constraints of mobile devices. Small screens, slower connections, high latency and limited input capabilities present new challenges. Agents that learn user’s preferences and select information for the user are a convenience when displaying information on a 19-inch desktop monitor accessed over a broadband connection; they are essential on a handheld wireless device. This paper summarizes commercially deployed systems using machine learning methods for personalizing mobile information delivery." |
@InProceedings{Pazzani2002,
author = "Michael J. Pazzani",
title = "Commercial Applications of Machine Learning for Personalized Wireless Portals.",
booktitle = "PRICAI 2002",
pages = "1--5",
abstract = "Consumers and businesses have access to vast stores of information on the Internet, ranging from newspapers, shopping catalogs, restaurant guides, classified ads, jobs listings, dating services to discussion groups and e-mail. All this information is typically accessible only while users are in front of a computer at home or in an office. Wireless devices allow unprecedented access to information from any location at any time. The presentation of this information must be tailored to the constraints of mobile devices. Small screens, slower connections, high latency and limited input capabilities present new challenges. Agents that learn user’s preferences and select information for the user are a convenience when displaying information on a 19-inch desktop monitor accessed over a broadband connection; they are essential on a handheld wireless device. This paper summarizes commercially deployed systems using machine learning methods for personalizing mobile information delivery.",
keywords = "machine leaning, honours reading",
year = "2002",
}
-
Don Perugini,
Dale Lambert,
Leon Sterling,
and Adrian Pearce.
Agents for military logistic planning.
In Proceedings of the ECAI-02 Workshop,
Lyon,
pages 35--44,
2002.
Keywords:
agentlab,
agent programming languages.
@InProceedings{Perugini2002,
author = "Don Perugini and Dale Lambert and Leon Sterling and Adrian Pearce",
title = "Agents for military logistic planning",
booktitle = "Proceedings of the ECAI-02 Workshop",
address = "Lyon",
pages = "35--44",
keywords = "agentlab, agent programming languages",
year = "2002",
}
-
Iyad Rahwan,
Ryszard Kowalczyk,
and Ha Pham.
Intelligent Agents for Automated One-to-Many E-Commerce Negotiation..
In Proceedings of the 25th Australasian Computer Science Conference (ACSC 2002),
Melbourne, Australia,
pages 197--204,
2002.
Keywords:
agentlab,
models of interaction and context aware applications,
negotiation.
@InProceedings{Rahwan2002,
author = "Iyad Rahwan and Ryszard Kowalczyk and Ha Pham",
title = "Intelligent Agents for Automated One-to-Many {E}-Commerce Negotiation.",
booktitle = "Proceedings of the 25th Australasian Computer Science Conference (ACSC 2002)",
address = "Melbourne, Australia",
pages = "197--204",
keywords = "agentlab, models of interaction and context aware applications, negotiation",
year = "2002",
}
-
Iyad Rahwan and Liz Sonenberg.
Formalising Position in Argument-Based Negotiatoin.
In Proceedings of the 5th UK workshop on Multi-Agent Systems (UKMAS 2002),
Liverpool, UK,
2002.
Keywords:
agentlab,
models of interaction and context aware applications.
@InProceedings{Rahwan2002b,
author = "Iyad Rahwan and Liz Sonenberg",
title = "Formalising {"}Position{"} in Argument-Based Negotiatoin",
booktitle = "Proceedings of the 5th UK workshop on Multi-Agent Systems (UKMAS 2002)",
address = "Liverpool, UK",
keywords = "agentlab, models of interaction and context aware applications",
year = "2002",
}
-
Wayne Wobcke.
Modelling PRS-Like Agents Mental States..
In PRICAI 2002,
pages 138--148,
2002.
Keywords:
procedural reasoning,
model theory,
intentionality,
agentlab,
models of interaction and context aware applications,
belief desires intentions,
BDI.
@InProceedings{Wobcke2002b,
author = "Wayne Wobcke",
title = "Modelling {PRS}-Like Agents Mental States.",
booktitle = "PRICAI 2002",
pages = "138--148",
keywords = "procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI",
year = "2002",
}
-
Wayne Wobcke.
Intention and Rationality for PRS-Like Agents..
In Australian Joint Conference on Artificial Intelligence,
pages 167--178,
2002.
Keywords:
procedural reasoning,
model theory,
intentionality,
agentlab,
models of interaction and context aware applications,
belief desires intentions,
BDI.
@InProceedings{Wobcke2002,
author = "Wayne Wobcke",
title = "Intention and Rationality for {PRS}-Like Agents.",
booktitle = "Australian Joint Conference on Artificial Intelligence",
pages = "167--178",
keywords = "procedural reasoning, model theory, intentionality, agentlab, models of interaction and context aware applications, belief desires intentions, BDI",
year = "2002",
}
-
M. Annamalai and L. Sterling.
A guide to evaluating application-oriented domain specific ontologies.
Technical report Jan 2002,
Department of Computer Science and Software Engineering, The University of Melbourne,
2002.
Keywords:
agentlab,
ontologies,
agent-oriented software engineering.
@TechReport{Annamalai2002,
author = "M. Annamalai and L. Sterling",
title = "A guide to evaluating application-oriented domain specific ontologies",
institution = "Department of Computer Science and Software Engineering, The University of Melbourne",
number = "Jan 2002",
keywords = "agentlab, ontologies, agent-oriented software engineering",
year = "2002",
}
-
R. B. Borie,
R. Gary Parker,
and C. A. Tovey.
Solving problems on recursively constructed graphs.
Technical Report TR-2002-04,
Dept. Comp. Sci., University of Alabama,
2002.
Keywords:
graph theory,
algorithms,
computational complexity,
honours reading.
@TechReport{Borie2002,
author = "R. B. Borie and R. Gary Parker and C. A. Tovey",
title = "Solving problems on recursively constructed graphs",
institution = "Dept. Comp. Sci., University of Alabama",
number = "TR-2002-04",
type = "Technical Report",
keywords = "graph theory, algorithms, computational complexity, honours reading",
year = "2002",
}
-
S. Greenhill,
S. Venkatesh,
A. Pearce,
and T. Ly.
Situation Description Language (SDL) implementation.
Technical Report DSTO-GD-0342,
Defence Science and Technology Organisation (DSTO),
nov # 2002 2002.
Keywords:
agentlab,
agent programming languages.
[download paper
]
@TechReport{Greenhill2002,
author = "S. Greenhill and S. Venkatesh and A. Pearce and T. Ly",
title = "Situation Description Language ({SDL}) implementation",
institution = "Defence Science and Technology Organisation (DSTO)",
number = "DSTO-GD-0342",
type = "Technical Report",
month = nov # " 2002",
URL = "http://www.dsto.defence.gov.au/corporate/reports/DSTO-GD-0342.pdf",
keywords = "agentlab, agent programming languages",
year = "2002",
}
-
S. Greenhill,
S. Venkatesh,
A. Pearce,
and T. C. Ly.
Situation Description Language.
Technical Report DSTO-GD-0332,
Defence Science and Technology Organisation (DSTO),
aug # 2002 2002.
Keywords:
agentlab,
agent programming languages.
[download paper
]
@TechReport{Greenhill2002c,
author = "S. Greenhill and S. Venkatesh and A. Pearce and T. C. Ly",
title = "Situation Description Language",
institution = "Defence Science and Technology Organisation (DSTO)",
number = "DSTO-GD-0332",
type = "Technical Report",
month = aug # " 2002",
URL = "http://www.dsto.defence.gov.au/corporate/reports/DSTO-GD-0332.pdf",
keywords = "agentlab, agent programming languages",
year = "2002",
}
-
S. Greenhill,
S. Venkatesh,
A. Pearce,
and T. C. Ly.
Representations and Processes in Decision Modelling.
Technical Report DSTO-GD-0318,
Defence Science and Technology Organisation (DSTO),
feb # 2002 2002.
Keywords:
agentlab,
agent programming languages.
[download paper
]
@TechReport{Greenhill2002b,
author = "S. Greenhill and S. Venkatesh and A. Pearce and T. C. Ly",
title = "Representations and Processes in Decision Modelling",
institution = "Defence Science and Technology Organisation (DSTO)",
number = "DSTO-GD-0318",
type = "Technical Report",
month = feb # " 2002",
URL = "http://www.dsto.defence.gov.au/corporate/reports/DSTO-GD-0318.pdf",
keywords = "agentlab, agent programming languages",
year = "2002",
}
-
John W. Lloyd.
Knowledge Representation, Computation, and Learning in Higher-order Logic.
Technical report draft 10/2/02,
Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University,
10/2/02 2002.
Keywords:
inductive logic programming,
higher order logic.
@TechReport{Lloyd2002,
author = "John W. Lloyd",
title = "Knowledge Representation, Computation, and Learning in Higher-order Logic",
institution = "Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University",
number = "draft 10/2/02",
month = "10/2/02",
keywords = "inductive logic programming, higher order logic",
year = "2002",
}
-
H. P. van Ditmarsch.
the Russian cards problem: a case study in cryptogrphy with public announcements.
Technical report October 2002,
2002.
Keywords:
epistemic logic,
agent programming languages,
honours reading,
games,
cryptography.
@TechReport{Ditmarsch2002,
author = "H. P. van Ditmarsch",
title = "the Russian cards problem: a case study in cryptogrphy with public announcements",
number = "October 2002",
keywords = "epistemic logic, agent programming languages, honours reading, games, cryptography",
year = "2002",
}