Alan Bundy

发表

Alan Bundy, Michael Uschold, Nigel Harding, 1984, ECAI.
Alan Bundy, J. Wielemaker, 1986 .
Alan Bundy, 1994 .
Alan Bundy, Theodosia Togia, Fiona McNeill, 2010, OM.
Richard J. Boulton, Alan Bundy, Jon Whittle, 2002, Formal Aspects of Computing.
Alan Bundy, Geraint A. Wiggins, Jane Hesketh, 1991, LOPSTR.
Alan Bundy, Fiona McNeill, Ch. Walton, 2004 .
Paul Brna, Alan Bundy, Mike Brayshaw, 1991 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, David Stuart Robertson, Weiru Liu, 1993, ECSQARU.
Alan Bundy, Alan Smaill, Geraint A. Wiggins, 1990 .
Alan Bundy, Graham Steel, A. Bundy, 2005, Electron. Notes Theor. Comput. Sci..
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Donald Mackenzie, Michael Atiyah, 2005 .
Alan Bundy, Predrag Janicic, 2004, Journal of Automated Reasoning.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, 2000 .
Toby Walsh, Alan Bundy, Simon Colton, 1999, IJCAI.
Alan Bundy, Fiona McNeill, Andriana Gkaniatsou, 2012, 2012 Eighth International Conference on Signal Image Technology and Internet Based Systems.
Alan Bundy, 2004, Journal of Automated Reasoning.
Alan Bundy, Jon Whittle, Helen Lowe, 1997, PLILP.
Alan Bundy, John Levine, Steven Willmott, 1999 .
Leon Sterling, Alan Bundy, Richard J. Fateman, 1988, SIGS.
Alan Bundy, Weiru Liu, R. G. McLean, 1995, Int. J. Approx. Reason..
Alan Bundy, 1984 .
Fausto Giunchiglia, Alan Bundy, Maurizio Marchese, 2006 .
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2010, MICAI.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2004, Diagrams.
Alan Bundy, Mateja Jamnik, A. Bundy, 2005, Mechanizing Mathematical Reasoning.
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Weiru Liu, David McBryan, 1998, Applied Intelligence.
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1997, Journal of Automated Reasoning.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Christopher G. Lucas, Kwabena Nuamah, 2015 .
Alan Bundy, Hector MacQueen, 1994, Comput. J..
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, David A. Basin, Ina Kraan, 1993, ICLP.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Alan Borning, 1981, IJCAI.
Alan Bundy, Conrad Hughes, Lin Yang, 2006 .
Alan Bundy, Stephen Muggleton, Andrew Cropper, 2016 .
Alan Bundy, Alan Smaill, Predrag Janičić, 2005 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2015, IEEE Intelligent Systems.
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Alan Bundy, Bin Yang, Alan Smaill, 2005, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005..
Alan Bundy, A. Bundy, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Alan Bundy, Lincoln Wallen, 1984 .
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1990, CADE.
Alan Bundy, George F. Luger, Martha Stone, 1975 .
Alan Bundy, Pain Helen, A. Bundy, 1987 .
Alan Bundy, A. Bundy, 1994, Lecture Notes in Computer Science.
Alan Bundy, Gudmund Grov, Lucas Dixon, 2011 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, 1973 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2009 .
Paul Brna, Alan Bundy, Marc Eisenstadt, 1991 .
Alan Bundy, Robert Muetzelfeldt, A. Bundy, 1981 .
Alan Bundy, Xue Li, Alan Smaill, 2018, KEOD.
Alan Bundy, 1983, AI Mag..
Alan Bundy, Julian Richardson, A. Bundy, 1999, LPAR.
Alan Bundy, Ian Frank, David A. Basin, 2000, AAAI/IAAI.
Frank van Harmelen, Alan Bundy, Alan Smaill, 2004, Journal of Automated Reasoning.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, David A. Basin, Ina Kraan, 1992, LOPSTR.
Alan Bundy, Graham Steel, 2005, Journal of Automated Reasoning.
Alan Bundy, Gudmund Grov, Yuhui Lin, 2012, NASA Formal Methods.
Alan Bundy, Abdul Samad Shibghatullah, Stephen Potter, 2005 .
Richard J. Boulton, Alan Bundy, Konrad Slind, 1998, TPHOLs.
Alan Bundy, Xue Li, Marius Urbonas, 2020, SGAI Conf..
Alan Bundy, Robert Muetzelfeldt, Dave Robertson, 1988 .
Alan Bundy, Conrad Hughes, Lin Yang, 2006 .
Frank van Harmelen, Alan Bundy, Alan Smaill, 1990, CADE.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, 2006 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Helen Lowe, M. Pechouchek, 1996 .
Alan Bundy, Ian Green, Raúl Monroy, 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Ian Green, Mateja Jamnik, 1997, IJCAI.
Richard J. Boulton, Alan Bundy, Jon Whittle, 1999, CADE.
Alan Bundy, Ian Green, Jeremy Gow, 1999, LPAR.
Alan Bundy, George F. Luger, 1977, IJCAI.
Alan Bundy, Jacques D. Fleuriot, Lucas Dixon, 2006, CLASE.
Alan Bundy, A. Bundy, 1984 .
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Alan Bundy, David A. Basin, Ina Kraan, 1996, Journal of Automated Reasoning.
Alan Bundy, Ewen Maclean, 2016 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Alan Smaill, Jacques Fleuriot, 2001 .
Alan Bundy, Alan Smaill, Xue Li, 2018, International Conference on Knowledge Engineering and Ontology Development.
Alan Bundy, John Levine, Amos Storkey, 2004 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, A. Bundy, 1983, AI Mag..
Alan Bundy, Lucas Dixon, Moa Johansson, 2010 .
Alan Bundy, A. Bundy, 2004, AISC.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Roy L. McCasland, Patrick F. Smith, 2017, Applied Intelligence.
Alan Bundy, Helen Pain, A. Bundy, 1987 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2006, Reasoning, Action and Interaction in AI Theories and Systems.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, R. Young, Rodney Burstall, 1978 .
Alan Bundy, Ian Stark, Alex Blewitt, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Jos Lehmann, Michael Chan, 2011 .
Alan Bundy, Fiona McNeill, Jonathan Alexander Abourbih, 2010, IJCAR.
Alan Bundy, Lincoln Wallen, 1984 .
Toby Walsh, Alan Bundy, Alex Nunes, 1992, CADE.
Alan Bundy, Jos Lehmann, Ivan José Varzinczak, 2012, J. Web Semant..
Alan Bundy, 2002, Computational Logic: Logic Programming and Beyond.
Alan Bundy, David A. Basin, Seán Matthews, 1993, Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
Alan Bundy, Ian Stark, Alex Blewitt, 2005, ASE.
Alan Bundy, Norbert E. Fuchs, David Stuart Robertson, 2004, Automated Software Engineering.
Alan Bundy, John Levine, Steven Willmott, 2001 .
Alan Bundy, Jeremy Scott, 2015, Commun. ACM.
Alan Bundy, Andrew Ireland, Alistair Manning, 1993, LPAR.
Alan Bundy, Theodosia Togia, Fiona McNeill, 2010 .
Alan Bundy, Michael Chan, A. Bundy, 2008, WoLLIC.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Ian Green, Raúl Monroy, 2000, Automated Software Engineering.
Alan Bundy, D. Dawson, M. Boden, 1989 .
Alan Bundy, Cliff B. Jones, Dieter Hutter, 2012, Dagstuhl Reports.
Alan Bundy, 1996 .
Alan Bundy, Alan Smaill, Predrag Janičić, 2005 .
Alan Bundy, Bernard Silver, 1982, ECAI.
Alan Bundy, 2014 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Michael Chan, 2008, AAAI Fall Symposium: Automated Scientific Discovery.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Fiona McNeill, Andriana Gkaniatsou, 2014 .
Alan Bundy, A. Bundy, 2001 .
Alan Bundy, Alan Smaill, Peter Madden, 2004, Journal of Automated Reasoning.
Alan Bundy, Chris Mellish, George F. Luger, 1978 .
Alan Bundy, Jos Lehmann, Ivan Varzinczak, 2012 .
Alan Bundy, Helen Lowe, Duncan McLean, 1998, J. Symb. Comput..
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Alan Bundy, Ian Green, Raúl Monroy, 2000, MICAI.
Alan Bundy, A. Bundy, 2011, Annals of Mathematics and Artificial Intelligence.
Alan Bundy, George F. Luger, Lawrence Byrd, 1979, IJCAI 1979.
Alan Bundy, 1973, Notre Dame J. Formal Log..
Alan Bundy, George F. Luger, M. Stone, 1976, AISB.
Alan Bundy, Jos Lehmann, Michael Chan, 2013, Journal on Data Semantics.
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Graham Steel, Ewen Denney, 2002 .
Alan Bundy, Fiona McNeill, Andriana Gkaniatsou, 2014, ISCRAM.
Alan Bundy, Stephen Muggleton, Andrew Cropper, 2015, ILP.
Alan Bundy, Marco Schorlemmer, Fiona McNeill, 2003 .
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2004, Diagrams.
Alan Bundy, George F. Luger, R. Welham, 1976 .
Alan Bundy, Weiru Liu, David Robertson, 1993 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Louise A. Dennis, A. Bundy, 2002, TPHOLs.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010 .
Toby Walsh, Alan Bundy, Simon Colton, 2000 .
Alan Bundy, Graham Steel, Ewen Denney, 2004 .
Toby Walsh, Alan Bundy, Ian Green, 1994, ECAI.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Wolfgang Bibel, Alan Bundy, Ryszard S. Michalski, 2000 .
Alan Bundy, Robert Muetzelfeldt, M. Uschold, 1985 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Leon Sterling, Alan Bundy, 1981 .
Alan Bundy, Robert Muetzelfeldt, M. Uschold, 1987 .
Alan Bundy, S. Ohlsson, 1990 .
Richard J. Boulton, Alan Bundy, Jon Whittle, 1999, 14th IEEE International Conference on Automated Software Engineering.
Alan Bundy, 1992, Logic Programming Summer School.
Alan Bundy, Fiona McNeill, A. Bundy, 2007, Int. J. Semantic Web Inf. Syst..
Alan Bundy, Lincoln Wallen, 1984 .
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1996, Artif. Intell..
Alan Bundy, Chris Mellish, Lawrence Byrd, 1982, ECAI.
Alan Bundy, 2004, Automated Software Engineering.
Alan Bundy, Lincoln Wallen, 1984 .
Wolfgang Wahlster, Fausto Giunchiglia, Craig Boutilier, 2007, IJCAI.
Alan Bundy, 1999 .
Alan Bundy, Roy L. McCasland, Patrick F. Smith, 2005, Calculemus.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Bernard Silver, 1981, IJCAI.
Alan Bundy, John Levine, Steven Willmott, 1998 .
Alan Bundy, Andrew Ireland, Raúl Monroy, 1994, LPAR.
Alan Bundy, 1988, Comput. Intell..
Alan Bundy, Daniel Winterstein, Corin A. Gurr, 2004, IJCAR Doctoral Programme.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, A. Bundy, 1990, AI Commun..
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, ITP.
Toby Walsh, Alan Bundy, Simon Colton, 2000 .
Alan Bundy, 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.
Alan Bundy, Robert Muetzelfeldt, David Robertson, 1987 .
Alan Bundy, Weiru Liu, David Stuart Robertson, 1993, ECSQARU.
Alan Bundy, Christopher Lucas, Kwabena Nuamah, 2018, AISC.
Alan Bundy, 2008, AAAI Fall Symposium: Automated Scientific Discovery.
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, A. Bundy, 1999, Artificial Intelligence Today.
Alan Bundy, A. Bundy, 1984, Symbolic Computation.
Alan Bundy, Ian Frank, David A. Basin, 1992, ECAI.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Norbert E. Fuchs, Jane Hesketh, 1996 .
Frank van Harmelen, Fausto Giunchiglia, Alan Bundy, 2008 .
Alan Bundy, Andrew Ireland, A. Bundy, 1999, Journal of Functional Programming.
Alan Bundy, Robert Muetzelfeldt, David Robertson, 1987 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Roy L. McCasland, A. Bundy, 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Alan Bundy, Fiona McNeill, Gábor Bella, 2017, ISCRAM.
Paul Brna, Alan Bundy, Helen Pain, 1988 .
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1996, AAAI/IAAI, Vol. 1.
Toby Walsh, Alan Bundy, Simon Colton, 2000, Int. J. Hum. Comput. Stud..
Alan Bundy, David Aspinall, Alison Elizabeth Mercer, 2006 .
Alan Bundy, Raúl Monroy, 2001, Computación y Sistemas.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Michael Chan, Gintautas Sasnauskas, 2015, Semantic Web.
Alan Bundy, Bernard Silver, Dave Plummer, 1985, Artif. Intell..
Alan Bundy, Mary-Angela Papalaskari, 1984, NMR.
Alan Bundy, Chris Mellish, George F. Luger, 1979 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Alessandro Armando, Alan Smaill, 1998, Annals of Mathematics and Artificial Intelligence.
Alan Bundy, Fiona McNeill, Gábor Bella, 2020, OM@ISWC.
Alan Bundy, A. Bundy, 2017, Commun. ACM.
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2012, Expert Syst. Appl..
Alan Bundy, A. Bundy, 1990 .
Paul Brna, Alan Bundy, Helen Pain, 1986 .
Alan Bundy, David Aspinall, Hazel Duncan, 2006 .
Frank van Harmelen, Fausto Giunchiglia, Alan Bundy, 2008, Advances in Web Semantics I.
Alan Bundy, Frank van Harmelen, F. V. Harmelen, 1988, Artif. Intell..
Frank van Harmelen, Alan Bundy, Alan Smaill, 1989, IJCAI.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Gudmund Grov, Alison Pease, 2015, CICM.
Alan Bundy, Jos Lehmann, Michael Chan, 2010, KEOD.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Vincent Lombart, 1995, IJCAI.
Alan Bundy, Chris Mellish, Martha Palmer, 1978, AISB/GI.
Alan Bundy, 2008, AISC/MKM/Calculemus.
Leon Sterling, Alan Bundy, Bernard Silver, 1989, J. Symb. Comput..
Alan Bundy, Richard Clutterbuck, A. Bundy, 1985, IJCAI.
Alan Bundy, Erica Melis, 1996 .
Toby Walsh, Alan Bundy, Roberto Sebastiani, 1996 .
Alan Bundy, John Levine, Steven Willmott, 1998, Computers and Games.
Alan Bundy, Lincoln Wallen, 1984 .
Paul Brna, Alan Bundy, Helen Pain, 1987 .
Alan Bundy, 1973, IJCAI.
Alan Bundy, 2006, Comput. J..
Alan Bundy, Christopher Walton, Fiona McNeill, 2006, FLAIRS.
Alan Bundy, John Levine, Steven Willmott, 2001, Theor. Comput. Sci..
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Jos Lehmann, Michael Chan, 2011 .
Alan Bundy, Jos Lehmann, Ivan Varzinczak, 2011 .
Toby Walsh, Alan Bundy, Simon Colton, 1998 .
Alan Bundy, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, George F. Luger, M. Stone, 1976, AISB.
Alan Bundy, Michal Pechoucek, Helen Lowe, 1997 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, Verification, Induction, Termination Analysis.
Alan Bundy, Allen Bundy, 2005 .
Alan Bundy, A. Bundy, 2013, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Alan Bundy, Ian Green, Mateja Jamnik, 2002, Diagrammatic Representation and Reasoning.
Alan Bundy, Fiona McNeill, Jonathan Alexander Abourbih, 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.
Alan Bundy, 1986, Symbolic computation : Artificial intelligence.
Alan Bundy, Lucas Dixon, Moa Johansson, 2011, Journal of Automated Reasoning.
Alan Bundy, Fiona McNeill, Gábor Bella, 2018, International Conference on Information Systems for Crisis Response and Management.
Alan Bundy, Joe Hurd, Andrew Ireland, 2006 .
Alan Bundy, Michal Pechoucek, Helen Lowe, 1998, Artif. Intell. Eng. Des. Anal. Manuf..
Toby Walsh, Alan Bundy, Simon Colton, 2000, AAAI/IAAI.
Alan Bundy, A. Bundy, 1978, Artif. Intell..
Alan Bundy, 2007, AI & SOCIETY.
Alan Bundy, Abdul Samad Shibghatullah, Zeratul Izzah Mohd Yusoh, 2005 .
Alan Bundy, Fiona McNeill, A. Bundy, 2006, IEEE Intelligent Systems.
Alan Bundy, Conrad Hughes, Lin Yang, 2006 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Alan Smaill, Jacques Fleuriot, 2001 .
Alan Bundy, A. Bundy, 1999, Handbook of Automated Reasoning.
Paul Brna, Alan Bundy, Gerd Grosse, 1991 .
Alan Bundy, Gudmund Grov, Alison Pease, 2015, Math. Comput. Sci..
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Ian Green, Predrag Janičić, 1997, LICS 1997.
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1993, Artif. Intell..
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2002, Diagrams.
Alan Bundy, Allen Bundy, 2005 .
Richard J. Boulton, Alan Bundy, Konrad Slind, 1997 .
Alan Bundy, Christopher Lucas, Kwabena Nuamah, 2016, RR.
Richard J. Boulton, Alan Bundy, Konrad Slind, 1998, CADE.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Andrew Ireland, 1996, CADE.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Ewan Klein, Harry Halpin, 2006 .
Alan Bundy, Lincoln Wallen, 1984 .
Leon Sterling, Alan Bundy, Bernard Silver, 1982, J. Symb. Comput..
Alan Bundy, Gudmund Grov, Yuhui Lin, 2019, Formal Aspects of Computing.
Alan Bundy, Alan Smaill, G. Sripriya, 2009, 2009 International Conference on High Performance Computing & Simulation.
Alan Bundy, 1990, Symbolic Computation.
Alan Bundy, Andrew Ireland, Raúl Monroy, 1994 .
Alan Bundy, Ian Green, Louise A. Dennis, 2001, Annals of Mathematics and Artificial Intelligence.
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2000, Diagrams.
Claus Zinn, Alan Bundy, Johanna D. Moore, 2000 .
Alan Bundy, A. Bundy, 1982, AI Mag..
Alan Bundy, Robert Muetzelfeldt, David Stuart Robertson, 1989, Int. J. Man Mach. Stud..
Alan Bundy, Ian Green, Mateja Jamnik, 1998 .
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Michael Ramscar, Julian Richardson, 2000 .
Alan Bundy, Fiona McNeill, Jonathan Alexander Abourbih, 2010, AAAI 2010.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Ian Green, Raúl Monroy, 2009, Journal of Automated Reasoning.
Alan Bundy, 1994 .
Alan Bundy, Kwabena Nuamah, A. Bundy, 2020, ECAI.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Alan Bundy, Kwabena Nuamah, A. Bundy, 2018, IntelliSys.
Alan Bundy, Weiru Liu, A. Bundy, 1996, Int. J. Approx. Reason..
Alan Bundy, Michael Uschold, Robert Muetzelfeldt, 1991, Logic programming.
Alan Bundy, Boris Mitrovic, A. Bundy, 2016 .
Alan Bundy, Ian Green, Mateja Jamnik, 1999, J. Log. Lang. Inf..
Alan Bundy, A. Bundy, 1996 .
Toby Walsh, Alan Bundy, A. Nunes, 1992, Lecture Notes in Computer Science.
Alan Bundy, 1996, AIPS.
Alan Bundy, David Basin, Ina Kraan, 1993, ICLP 1993.
Alan Bundy, Fiona McNeill, Ch. Walton, 2004 .
Leon Sterling, Alan Bundy, 1982, CADE.
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Alan Bundy, Ian Green, Louise A. Dennis, 1997, CADE.
Alan Bundy, Conrad Hughes, Dave Berry, 2006 .
Alan Bundy, A. Bundy, 1997 .
Alan Bundy, Robert Muetzelfeldt, David Robertson, 1986 .
Toby Walsh, Alan Bundy, Simon Colton, 2000, ICML.
Alan Bundy, A. Bundy, 1991 .
Leon Sterling, Alan Bundy, 2004, Journal of Automated Reasoning.
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005, Cambridge tracts in theoretical computer science.
Alan Bundy, Alan Smaill, David A. Basin, 1996, FMCAD.
Alan Bundy, Kwabena Nuamah, 2021, 2021 IEEE International Conference on Big Knowledge (ICBK).
Alan Bundy, Xue Li, Eugene Philalithis, 2022, ArXiv.
Alan Bundy, Deepak Kapur, Robert S. Boyer, 2021 .
Alan Bundy, Jeff Z. Pan, Stefano Mauceri, 2021, IJCKG.
Alan Bundy, Simon Colton, Stephen Cresswell, 1997 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, A. Bundy, South BridgeEdinburgh, 1998 .
Alan Bundy, Alan Smaill, Jacques Fleuriot, 2001 .
Alan Bundy, Gudmund Grov, Yuhui Lin, 2011 .
Alan Bundy, A. Bundy, 1991 .
Alan Bundy, Christoph Schlieder, Sebastian Rudolph, 2012 .
Alan Bundy, A. Bundy, 1994 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Stellan Ohlsson, S. Ohlsson, 1990 .
Alan Bundy, Gordon Plotkin, Jim Howe, 1985 .
Alan Bundy, Gudmund Grov, Cliff B. Jones, 2009 .
Alan Bundy, Lincoln Wallen, 1984 .
Claus Zinn, Alan Bundy, Marianthi Alexoudi, 2004 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, Lincoln Wallen, 1984 .
Alan Bundy, S. Ohlsson, A. Bundy, 1990 .
Alan Bundy, Andrew Ireland, 1992 .
Alan Bundy, Fiona McNeill, Andriana Gkaniatsou, 2014 .
Alan Bundy, 2010 .
Alan Bundy, Julian Richardson, A. Bundy, 1999 .
Alan Bundy, Jos Lehmann, Michael Chan, 2011 .
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1993 .
Alan Bundy, Ian Frank, Alan Smaill, 1997, Springer Berlin Heidelberg.
Alan Bundy, Predrag Janičić, Ian Green, 1997, LICS 1997.