A. Bundy

发表

Alan Bundy, Bernard Silver, Dave Plummer, 1985, Artif. Intell..
A. Bundy, L. Wallen, 1984 .
Alan Bundy, A. Bundy, 1994, Lecture Notes in Computer Science.
Alan Bundy, George F. Luger, Lawrence Byrd, 1979, IJCAI 1979.
Alan Bundy, Jon Whittle, Helen Lowe, 1997, PLILP.
Alan Bundy, Roy L. McCasland, A. Bundy, 2006, 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Alan Bundy, Alan Smaill, Peter Madden, 2004, Journal of Automated Reasoning.
D. Sannella, F. V. Harmelen, A. Bundy, 1988 .
Alan Bundy, Geraint A. Wiggins, Jane Hesketh, 1991, LOPSTR.
Alan Bundy, Fiona McNeill, A. Bundy, 2007, Int. J. Semantic Web Inf. Syst..
Alan Bundy, A. Bundy, 2011, Annals of Mathematics and Artificial Intelligence.
A. Macintyre, A. Bundy, M. Atiyah, 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Alan Bundy, Graham Steel, A. Bundy, 2005, Electron. Notes Theor. Comput. Sci..
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2002, Diagrams.
Alan Bundy, Helen Pain, A. Bundy, 1987 .
Alan Bundy, Jos Lehmann, Michael Chan, 2010, KEOD.
Alan Bundy, Marco Schorlemmer, Fiona McNeill, 2003 .
Alan Bundy, Christopher G. Lucas, Kwabena Nuamah, 2015 .
Alan Bundy, Ian Stark, Alex Blewitt, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Alan Bundy, David Aspinall, Alison Elizabeth Mercer, 2006 .
Alan Bundy, A. Bundy, 1978, Artif. Intell..
Alan Bundy, Ian Green, Louise A. Dennis, 2001, Annals of Mathematics and Artificial Intelligence.
A. Bundy, 1994, Behavioral and Brain Sciences.
Toby Walsh, Alan Bundy, Roberto Sebastiani, 1996 .
Alan Bundy, Ian Green, Mateja Jamnik, 1999, J. Log. Lang. Inf..
Alan Bundy, Alessandro Armando, Alan Smaill, 1998, Annals of Mathematics and Artificial Intelligence.
A. Bundy, M. Jamnik, A. Fugard, 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Alan Bundy, Ian Green, Raúl Monroy, 2000, MICAI.
Alan Bundy, Christopher Walton, Fiona McNeill, 2006, FLAIRS.
A. Bundy, L. Wallen, 1984 .
A. Bundy, F. McNeill, Chris Walton, 2022 .
M. Sabou, Fausto Giunchiglia, A. Bundy, 2008 .
A. Bundy, E. Melis, 2007 .
A. Bundy, R. McCasland, S. Autexier, 2007 .
A. Bundy, 1994, Philosophical Transactions of the Royal Society of London. Series A: Physical and Engineering Sciences.
Alan Bundy, Weiru Liu, David Robertson, 1993 .
M. Sabou, F. V. Harmelen, Fausto Giunchiglia, 2008 .
A. Bundy, 1999, Artificial Intelligence Today.
A. Bundy, J. Levine, DomainsSteven Willmott, 1998 .
A. Bundy, I. Kraan, S. Matthews, 1994 .
Alan Bundy, A. Bundy, 2016, AI & SOCIETY.
R. Milner, M. Gordon, J. Goguen, 1994 .
Alan Bundy, A. Bundy, 1991 .
Alan Bundy, George F. Luger, R. Welham, 1976 .
Alan Bundy, Christoph Schlieder, Sebastian Rudolph, 2012 .
Alan Bundy, Fiona McNeill, Ch. Walton, 2004 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Alan Bundy, A. Bundy, 1990, AI Commun..
Alan Bundy, A. Bundy, 1997 .
A. Bundy, M. Jamnik, Don Winterstein, 2007 .
M. Uschold, A. Bundy, D. Robertson, 2004 .
Alan Bundy, David Basin, Ina Kraan, 1993, ICLP 1993.
Paul Brna, Alan Bundy, Helen Pain, 1988 .
Alan Bundy, Joe Hurd, Andrew Ireland, 2006 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005 .
A. Bundy, Michael Chan, Gintautas Sasnauskas, 2013 .
Alan Bundy, Michael Uschold, Nigel Harding, 1984, ECAI.
M. Uschold, A. Bundy, Dave Plummer, 2017 .
A. Bundy, 2005, AI & SOCIETY.
M. Uschold, A. Bundy, R. Muetzelfeldt, 2004 .
A. Bundy, Weiru Liu, D. Robertson, 2017 .
A. Bundy, Liu, Dave, 1993 .
A. Bundy, R. McCasland, Patrick F. Smith, 2006, Calculemus.
A. Bundy, Andrew Ireland, R. Monroy, 2007 .
A. Bundy, F. McNeill, A. Smaill, 2013 .
Alan Bundy, A. Bundy, 1994 .
Alan Bundy, Christopher Lucas, Kwabena Nuamah, 2016, RR.
Alan Bundy, A. Bundy, 1984 .
Alan Bundy, A. Bundy, 1984, Symbolic Computation.
Alan Bundy, Xue Li, Eugene Philalithis, 2022, ArXiv.
Alan Bundy, R. Young, Rodney Burstall, 1978 .
A. Bundy, A. Pease, G. Grov, 2016, Mathematics in Computer Science.
Alan Bundy, Gudmund Grov, Alison Pease, 2015, Math. Comput. Sci..
Alan Bundy, A. Bundy, 1983, AI Mag..
Richard J. Boulton, Tobias Nipkow, Alan Bundy, 2003, Lecture Notes in Computer Science.
Alan Bundy, John Levine, Steven Willmott, 2001, Theor. Comput. Sci..
Alan Bundy, Lucas Dixon, Moa Johansson, 2006, Reasoning, Action and Interaction in AI Theories and Systems.
Alan Bundy, Louise A. Dennis, A. Bundy, 2002, TPHOLs.
Alan Bundy, A. Bundy, 1999, Artificial Intelligence Today.
Toby Walsh, Alan Bundy, Simon Colton, 2000, Int. J. Hum. Comput. Stud..
Alan Bundy, Conrad Hughes, Lin Yang, 2006 .
Alan Bundy, Conrad Hughes, Lin Yang, 2006 .
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Michael Chan, A. Bundy, 2008, WoLLIC.
Alan Bundy, Jacques D. Fleuriot, Lucas Dixon, 2006, CLASE.
Alan Bundy, David A. Basin, Ina Kraan, 1992, LOPSTR.
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2012, Expert Syst. Appl..
Toby Walsh, Alan Bundy, Simon Colton, 1999, IJCAI.
Toby Walsh, Alan Bundy, Simon Colton, 1998 .
Alan Bundy, Stellan Ohlsson, S. Ohlsson, 1990 .
Alan Bundy, Ian Frank, David A. Basin, 2000, AAAI/IAAI.
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Andrew Ireland, Dieter Hutter, 2005, Cambridge tracts in theoretical computer science.
Alan Bundy, A. Bundy, 1999, Handbook of Automated Reasoning.
Alan Bundy, A. Bundy, 2001 .
S. Muggleton, N. Chater, A. Bundy, 2023, Philosophical Transactions of the Royal Society A.
Alan Bundy, Frank van Harmelen, F. V. Harmelen, 1988, Artif. Intell..
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1997, Journal of Automated Reasoning.
Fausto Giunchiglia, A. Bundy, T. Walsh, 1996 .
Alan Bundy, A. Bundy, 1991 .
Alan Bundy, Pain Helen, A. Bundy, 1987 .
Claus Zinn, Alan Bundy, Johanna D. Moore, 2000 .
Alan Bundy, Ian Stark, Alex Blewitt, 2005, ASE.
Alan Bundy, A. Bundy, 2017, Commun. ACM.
Alan Bundy, John Levine, Steven Willmott, 1998 .
Alan Bundy, Weiru Liu, A. Bundy, 1996, Int. J. Approx. Reason..
Alan Bundy, S. Ohlsson, A. Bundy, 1990 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2011, Journal of Automated Reasoning.
Alan Bundy, Kwabena Nuamah, A. Bundy, 2020, ECAI.
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
A. Bundy, Xue Li, 2023, Philosophical Transactions of the Royal Society A.
Alan Bundy, Xue Li, Marius Urbonas, 2020, SGAI Conf..
Alan Bundy, Fiona McNeill, Gábor Bella, 2020, OM@ISWC.
Toby Walsh, Alan Bundy, A. Nunes, 1992, Lecture Notes in Computer Science.
Alan Bundy, Ian Green, Mateja Jamnik, 1998 .
Alan Bundy, A. Bundy, South BridgeEdinburgh, 1998 .
Alan Bundy, Ian Green, Mateja Jamnik, 1997, IJCAI.
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1996, Artif. Intell..
Fausto Giunchiglia, Toby Walsh, Alan Bundy, 1996, AAAI/IAAI, Vol. 1.
Alan Bundy, A. Bundy, 1996 .
Alan Bundy, Lincoln Wallen, A. Bundy, 1984 .
Alan Bundy, Gudmund Grov, Yuhui Lin, 2012, NASA Formal Methods.
Alan Bundy, Ian Green, Raúl Monroy, 2000, Automated Software Engineering.
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, Verification, Induction, Termination Analysis.
Alan Bundy, A. Bundy, 1982, AI Mag..
Alan Bundy, Weiru Liu, David Stuart Robertson, 1993, ECSQARU.
Alan Bundy, Jos Lehmann, Ivan Varzinczak, 2011 .
Alan Bundy, Alan Smaill, Xue Li, 2018, International Conference on Knowledge Engineering and Ontology Development.
Alan Bundy, Jeff Z. Pan, Stefano Mauceri, 2021, IJCKG.
Alan Bundy, Boris Mitrovic, A. Bundy, 2016 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010, ITP.
Alan Bundy, Stephen Muggleton, Andrew Cropper, 2016 .
Alan Bundy, Fiona McNeill, Gábor Bella, 2018, International Conference on Information Systems for Crisis Response and Management.
Toby Walsh, Alan Bundy, Ian Green, 1994, ECAI.
Frank van Harmelen, Alan Bundy, Andrew Ireland, 1993, Artif. Intell..
Toby Walsh, Alan Bundy, Alex Nunes, 1992, CADE.
Frank van Harmelen, Alan Bundy, Alan Smaill, 1990, CADE.
Alan Bundy, A. Bundy, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Frank van Harmelen, Fausto Giunchiglia, Alan Bundy, 2008, Advances in Web Semantics I.
Alan Bundy, Robert Muetzelfeldt, A. Bundy, 1981 .
Alan Bundy, Andrew Ireland, A. Bundy, 1999, Journal of Functional Programming.
Richard J. Boulton, Alan Bundy, Konrad Slind, 1998, TPHOLs.
Alan Bundy, David A. Basin, Ina Kraan, 1996, Journal of Automated Reasoning.
Alan Bundy, Michael Uschold, Robert Muetzelfeldt, 1991, Logic programming.
A. Bundy, R. McCasland, L. Dixon, 2010 .
Alan Bundy, Andrew Ireland, Raúl Monroy, 1994, LPAR.
Alan Bundy, John Levine, Steven Willmott, 1998, Computers and Games.
Jeff Z. Pan, A. Bundy, Kwabena Nuamah, 2022, IJCKG.
Alan Bundy, Lucas Dixon, Omar Montano-Rivas, 2010, MICAI.
Alan Bundy, Alan Smaill, Predrag Janičić, 2005 .
Alan Bundy, Fiona McNeill, A. Bundy, 2006, IEEE Intelligent Systems.
Alan Bundy, George F. Luger, Martha Stone, 1975 .
Alan Bundy, Chris Mellish, Martha Palmer, 1978, AISB/GI.
Alan Bundy, George F. Luger, M. Stone, 1976, AISB.
Claus Zinn, Alan Bundy, Marianthi Alexoudi, 2004 .
Alan Bundy, A. Bundy, 1990 .
Alan Bundy, Weiru Liu, David McBryan, 1998, Applied Intelligence.
Leon Sterling, Alan Bundy, Bernard Silver, 1982, J. Symb. Comput..
Fausto Giunchiglia, Alan Bundy, Maurizio Marchese, 2006 .
Alan Bundy, Gudmund Grov, Yuhui Lin, 2019, Formal Aspects of Computing.
Alan Bundy, Kwabena Nuamah, A. Bundy, 2018, IntelliSys.
Alan Bundy, Jos Lehmann, Michael Chan, 2013, Journal on Data Semantics.
J. Strother Moore, Claus-Peter Wirth, A. Bundy, 2013, FLAP.
Alan Bundy, Helen Lowe, Duncan McLean, 1998, J. Symb. Comput..
Alan Bundy, A. Bundy, 2013, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.
A. Bundy, M. Jamnik, 2019, Proof Technology in Mathematics Research and Teaching.
A. Bundy, M. Jamnik, A. Fugard, 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.
Alan Bundy, Robert Muetzelfeldt, David Stuart Robertson, 1989, Int. J. Man Mach. Stud..
Hazel Duncan, A. Storkey, A. Bundy, 2004 .
Alan Bundy, Michal Pechoucek, Helen Lowe, 1997 .
Alan Bundy, Mateja Jamnik, A. Bundy, 2005, Mechanizing Mathematical Reasoning.
Alan Bundy, David A. Basin, Seán Matthews, 1993, Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design.
Alan Bundy, Richard Clutterbuck, A. Bundy, 1985, IJCAI.
Alan Bundy, A. Bundy, 2004, AISC.
Alan Bundy, Ian Frank, David A. Basin, 1992, ECAI.
Alan Bundy, Alan Smaill, David A. Basin, 1996, FMCAD.
Alan Bundy, Julian Richardson, A. Bundy, 1999 .
Alan Bundy, Alan Smaill, Predrag Janičić, 2005 .
Alan Bundy, Julian Richardson, A. Bundy, 1999, LPAR.
Alan Bundy, Mateja Jamnik, Daniel Winterstein, 2000, Diagrams.
Alan Bundy, Cliff B. Jones, Dieter Hutter, 2012, Dagstuhl Reports.
Jacques D. Fleuriot, A. Bundy, L. Dixon, 2006, CLASE.
Paul Brna, Alan Bundy, Mike Brayshaw, 1991 .
Paul Brna, Alan Bundy, Helen Pain, 1987 .
A. Bundy, Kwabena Nuamah, Nick Ferguson, 2022, HLC.
Alan Bundy, Robert Muetzelfeldt, David Robertson, 1986 .
Alan Bundy, Robert Muetzelfeldt, M. Uschold, 1987 .
Alan Bundy, Robert Muetzelfeldt, David Robertson, 1987 .
Alan Bundy, Bin Yang, Alan Smaill, 2005, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005..
Alan Bundy, Roy L. McCasland, Patrick F. Smith, 2017, Applied Intelligence.
A. Bundy, L. Dixon, Moa Johansson, 2011 .
Alan Bundy, Lucas Dixon, Moa Johansson, 2010 .
A. Bundy, L. Dixon, Moa Johansson, 2009 .
A. Bundy, D. Basin, Ina Kraan, 1992, LOPSTR.
Alan Bundy, Fiona McNeill, Andriana Gkaniatsou, 2014 .
Wolfgang Bibel, Alan Bundy, Ryszard S. Michalski, 2000 .