dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Christopher J. Hogger Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Christopher J. Hogger: Designing Effective Policies for Minimal Agents. Comput. J. 53(8): 1184-1209 (2010)
2009
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Li, Christopher J. Hogger: Formulating Aspects of Paypal in the Logic Framework of GBMF. ICEIS (2) 2009: 39-44
2007
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger, Min Li: Generic Business Modelling Framework. ICEIS (3) 2007: 422-427
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVisit Hirankitti, Jaturapith Krohkaew, Christopher J. Hogger: A Multi-Agent Approach for Intelligent Traffic-Light Control. World Congress on Engineering 2007: 116-121
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin Li, Christopher J. Hogger: A Generic Constraints-Based Framework for Business Modeling. TEAA 2006: 241-254
2005
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Christopher J. Hogger: Abstract Policy Evaluation for Reactive Agents. SARA 2005: 44-59
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Christopher J. Hogger: Determining and verifying good policies for cloned teleo-reactive agents. Comput. Syst. Sci. Eng. 20(4): (2005)
2004
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger, Frank Kriwaczek: Constraint-Guided Enterprise Portals. ICEIS (3) 2004: 411-418
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Christopher J. Hogger: Policies for Cloned Teleo-reactive Robots. MATES 2004: 328-340
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger, Frank Kriwaczek: Deriving Tool Specifications from User Actions. IEICE Transactions 87-D(4): 831-837 (2004)
2003
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger, Frank Kriwaczek, Mohd S. Ahmad: A Flexible Constraint-Based Portal Architecture. CAINE 2003: 1-6
2000
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrysia Broda, Christopher J. Hogger, Sam Watson: Constructing Teleo-reactive Robot Programs. ECAI 2000: 653-657
1994
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann: Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies Oxford University Press 1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gilbert, Christopher J. Hogger, Jirí Zlatuska: Transforming Specifications of Observable Behaviour into Programs. LOPSTR 1994: 88-103
1993
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVisit Hirankitti, Christopher J. Hogger: A Generalised Query Minimisation for Program Debugging. AADEBUG 1993: 153-170
1992
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gilbert, Christopher J. Hogger: Logic for Representing and Implementing Knwoledge about System Behaviour. Advanced Topics in Artificial Intelligence 1992: 42-49
1991
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Gilbert, Christopher J. Hogger: Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs 1991: 113-126
1988
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger: Programming Environments. ECAI 1988: 698-706
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek R. Brough, Christopher J. Hogger: Compiling Associativity into Logic Programs. J. Log. Program. 4(4): 345-359 (1987)
1981
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger: Derivation of Logic Programs. J. ACM 28(2): 372-392 (1981)
1978
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger: Program Synthesis in Predicate Logic. AISB/GI (ECAI) 1978: 138-146
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristopher J. Hogger: Goal-Oriented Derivation of Logic Programs. MFCS 1978: 267-276

Coauthor Index

1Mohd S. Ahmad [12]
2Krysia Broda [11] [14] [16] [17] [22]
3Derek R. Brough [4]
4Dov M. Gabbay [10]
5David Gilbert (David R. Gilbert) [6] [7] [9]
6Visit Hirankitti [8] [19]
7Frank Kriwaczek [12] [13] [15]
8Jaturapith Krohkaew [19]
9Min Li [18] [20] [21]
10J. A. Robinson [10]
11Jörg H. Siekmann [10]
12Sam Watson [11]
13Jirí Zlatuska [9]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page