Michael P. Georgeff

Affiliations:
  • Monash University, Australia


According to our database1, Michael P. Georgeff authored at least 51 papers between 1979 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management.
Proceedings of the Behaviour Monitoring and Interpretation - BMI - Well-Being, 2011

Self-Organizing Maps for Translating Health Care Knowledge: A Case Study in Diabetes Management.
Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010
Collective iterative allocation: Enabling fast and optimal group decision makingThe role of group knowledge, optimism, and decision policies in distributed coordination.
Web Intell. Agent Syst., 2010

Self-Adaptation Using Multiagent Systems.
IEEE Softw., 2010

Intelligent Adherence Support to Manage Contractual Relationships.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

An Adherence Support Framework for Service Delivery in Customer Life Cycle Management.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management.
Proceedings of the Agent-Based Technologies and Applications for Enterprise Interoperability, 2010

2009
The gap between software engineering and multi-agent systems: bridging the divide.
Int. J. Agent Oriented Softw. Eng., 2009

Agent-based intelligent collaborative care management.
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2007
A Study of an Approach to the Collective Iterative Task Allocation Problem.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

The Molecular Medicine Informatics Model (MMIM).
Proceedings of the From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences, 2007

2004
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System.
Auton. Agents Multi Agent Syst., 2004

1998
Decision Procedures for BDI Logics.
J. Log. Comput., 1998

Editorial.
Auton. Agents Multi Agent Syst., 1998

The Belief-Desire-Intention Model of Agency.
Proceedings of the Intelligent Agents V, 1998

1996
A profile of the Australian Artificial Intelligence Institute.
IEEE Expert, 1996

A Methodology and Modelling Technique for Systems of BDI Agents.
Proceedings of the Agents Breaking Away, 1996

Modelling and Design of Multi-Agent Systems.
Proceedings of the Intelligent Agents IV, 1996

1995
Active Databases and Agent Systems - A Comparison.
Proceedings of the Rules in Database Systems, Second International Workshop, 1995

The Semantics of Intention Maintenance for Rational Agents.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

BDI Agents: From Theory to Practice.
Proceedings of the First International Conference on Multiagent Systems, 1995

1994
A Monotonic Formalism for Events and Systems of Events.
J. Log. Comput., 1994

Editorial.
J. Log. Comput., 1994

1993
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
An architecture for Real-Time Reasoning and System Control.
IEEE Expert, 1992

An Abstract Architecture for Rational Agents.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991
Deliberation and its Role in the Formation of Intentions.
Proceedings of the UAI '91: Proceedings of the Seventh Annual Conference on Uncertainty in Artificial Intelligence, 1991

Modeling Rational Agents within a BDI-Architecture.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Commitment and Effectiveness of Situated Agents.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

A Model of Events and Processes.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1989
Decision-Making in an Embedded Reasoning System.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1987
Reactive Reasoning and Planning.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Procedural knowledge.
Proc. IEEE, 1986

Resources Needed for a University Computer Science Department.
Comput. J., 1986

The Representation of Events in Multiagent Domains.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Panel: Real-Time Performance in Problem Solving.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
A Procedural Logic.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1984
Transformations and Reduction Strategies for Typed Lambda Expressions.
ACM Trans. Program. Lang. Syst., 1984

A General Selection Criterion for Inductive Inference.
Proceedings of the Advances in Artificial Intelligence, 1984

A Theory of Action for MultiAgent Planning.
Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983
Strategies in Heuristic Search.
Artif. Intell., 1983

Procedural Expert Systems.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Communication and Interaction in Multi-Agent Planning.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
Procedural Control in Production Systems.
Artif. Intell., 1982

A Scheme for Implementing Functional Values on a Stack Machine.
Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, 1982

1981
Interdependent Translation Schemes.
J. Comput. Syst. Sci., 1981

The Effect of Operators on Parsing and Evaluation in APL.
Comput. Lang., 1981

Search Methods Using Heuristic Strategies.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

Parsing and evaluation of APL with operators.
Proceedings of the international conference on APL, 1981

1979
A Framework for Control in Production Systems.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...