Christopher J. Hogger

25 papers A 2B 1C 2Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2010 J jnl
Designing Effective Policies for Minimal Agents.
Comput. J.
Krysia Broda, Christopher J. Hogger
2009 — conf
Formulating Aspects of Paypal in the Logic Framework of GBMF.
ICEIS (2)
Min Li, Christopher J. Hogger
2007 — conf
A Multi-Agent Approach for Intelligent Traffic-Light Control.
World Congress on Engineering
Visit Hirankitti, Jaturapith Krohkaew, Christopher J. Hogger
2007 — conf
Generic Business Modelling Framework.
ICEIS (3)
Christopher J. Hogger, Min Li
2006 — conf
A Generic Constraints-Based Framework for Business Modeling.
TEAA
Min Li, Christopher J. Hogger
2005 — conf
Abstract Policy Evaluation for Reactive Agents.
SARA
Krysia Broda, Christopher J. Hogger
2005 J jnl
Determining and verifying good policies for cloned teleo-reactive agents.
Comput. Syst. Sci. Eng.
Krysia Broda, Christopher J. Hogger
2004 — conf
Constraint-Guided Enterprise Portals.
ICEIS (3)
Christopher J. Hogger, Frank Kriwaczek
2004 J jnl
Deriving Tool Specifications from User Actions.
IEICE Trans. Inf. Syst.
Christopher J. Hogger, Frank Kriwaczek
2004 — conf
Policies for Cloned Teleo-reactive Robots.
MATES
Krysia Broda, Christopher J. Hogger
2003 C conf
A Flexible Constraint-Based Portal Architecture.
CAINE
Christopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad
2000 A conf
Constructing Teleo-reactive Robot Programs.
ECAI
Krysia Broda, Christopher J. Hogger, Sam Watson
1994 — book
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies
Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2
Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann
1994 C conf
Transforming Specifications of Observable Behaviour into Programs.
LOPSTR
David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska
1993 — conf
A Generalised Query Minimisation for Program Debugging.
AADEBUG
Visit Hirankitti, Christopher J. Hogger
1992 — conf
Logic for Representing and Implementing Knowledge about System Behaviour.
Advanced Topics in Artificial Intelligence
David R. Gilbert, Christopher J. Hogger
1991 — conf
Deriving Logic Programs from Observations.
ICLP Workshop on Construction of Logic Programs
David R. Gilbert, Christopher J. Hogger
1988 A conf
Programming Environments.
ECAI
Christopher J. Hogger
1987 J jnl
Compiling Associativity into Logic Programs.
J. Log. Program.
Derek R. Brough, Christopher J. Hogger
1987 J jnl
PROLOG and software engineering.
Microprocess. Microsystems
Christopher J. Hogger
1986 — book
Introduction to logic programming.
Christopher J. Hogger
1981 J jnl
Derivation of Logic Programs.
J. ACM
Christopher J. Hogger
1978 — —
Derivation of logic programs.
Christopher J. Hogger
1978 B conf
Goal-Oriented Derivation of Logic Programs.
MFCS
Christopher J. Hogger
1978 — conf
Program Synthesis in Predicate Logic.
AISB/GI (ECAI)
Christopher J. Hogger