Christopher J. Hogger

Affiliations:
  • Imperial College London, UK


According to our database1, Christopher J. Hogger authored at least 24 papers between 1978 and 2010.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2010
Designing Effective Policies for Minimal Agents.
Comput. J., 2010

2009
Formulating Aspects of Paypal in the Logic Framework of GBMF.
Proceedings of the ICEIS 2009, 2009

2007
A Multi-Agent Approach for Intelligent Traffic-Light Control.
Proceedings of the World Congress on Engineering, 2007

Generic Business Modelling Framework.
Proceedings of the ICEIS 2007, 2007

2006
A Generic Constraints-Based Framework for Business Modeling.
Proceedings of the Trends in Enterprise Application Architecture, 2006

2005
Determining and verifying good policies for cloned teleo-reactive agents.
Comput. Syst. Sci. Eng., 2005

Abstract Policy Evaluation for Reactive Agents.
Proceedings of the Abstraction, 2005

2004
Deriving Tool Specifications from User Actions.
IEICE Trans. Inf. Syst., 2004

Policies for Cloned Teleo-reactive Robots.
Proceedings of the Multiagent System Technologies, Second German Conference, 2004

Constraint-Guided Enterprise Portals.
Proceedings of the ICEIS 2004, 2004

2003
A Flexible Constraint-Based Portal Architecture.
Proceedings of the 16th International Conference on Computer Applications in Industry and Engineering, 2003

2000
Constructing Teleo-reactive Robot Programs.
Proceedings of the ECAI 2000, 2000

1994
Transforming Specifications of Observable Behaviour into Programs.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

1993
A Generalised Query Minimisation for Program Debugging.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992
Logic for Representing and Implementing Knowledge about System Behaviour.
Proceedings of the Advanced Topics in Artificial Intelligence, 1992

1991
Deriving Logic Programs from Observations.
Proceedings of the Constructing Logic Programs, 1991

1988
Programming Environments.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987
PROLOG and software engineering.
Microprocess. Microsystems, 1987

Compiling Associativity into Logic Programs.
J. Log. Program., 1987

1986
Introduction to logic programming.
A.P.I.C. Studies in data processing 21, Academic Press, ISBN: 978-0-12-352092-0, 1986

1981
Derivation of Logic Programs.
J. ACM, 1981

1978
Derivation of logic programs.
PhD thesis, 1978

Goal-Oriented Derivation of Logic Programs.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Program Synthesis in Predicate Logic.
Proceedings of AISB/GI Conference (Proceedings of the 4th European Conference on Artificial Intelligence), 1978


  Loading...