David Stuart Robertson

According to our database, David Stuart Robertson authored at least 119 papers between 1989 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Knowledge Driven Phenotyping.

Honghan Wu, Minhong Wang, Qianyi Zeng, Wenjun Chen, Thomas Nind, Emily R. Jefferson, Marion Bennie, Corri Black, Jeff Z. Pan, Cathie Sudlow, Dave Robertson

Proceedings of the Digital Personalized Health and Medicine - Proceedings of MIE 2020, Medical Informatics Europe, Geneva, Switzerland, April 28, 2020

Cross-Border Medical Research Using Multi-Layered and Distributed Knowledge.

Gábor Bella, Liz Elliot, Subhashis Das, Stephen Pavis, Ettore Turra, David Robertson, Fausto Giunchiglia

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Assessing Preferred Proximity Between Different Types of Embryonic Stem Cells.

Minhong Wang, Athanasios Tsanas, Guillaume Blin, Dave Robertson

Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2019

Investigating Motility and Pattern Formation in Pluripotent Stem Cells Through Agent-Based Modeling.

Minhong Wang, Athanasios Tsanas, Guillaume Blin, Dave Robertson

Proceedings of the 19th IEEE International Conference on Bioinformatics and Bioengineering, 2019

2018

Secure information sharing in social agent interactions using information flow analysis.

Shahriar Bijani, David Robertson, David Aspinall

Eng. Appl. Artif. Intell., 2018

ABIBA: An Agent-Based Computing System for Behaviour Analysis Used in Human-Agent Interaction.

Can Cui, Dave Murray-Rust, David Robertson, Kristin K. Nicodemus

Proceedings of the Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Towards Executable Representations of Social Machines.

Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson

Proceedings of the Diagrammatic Representation and Inference, 2018

Agent-Based Modelling of Pattern Formation in Pluripotent Stem Cells: Initial Experiments and Results.

Minhong Wang, David Robertson, Guillaume Blin, Sally Lowell, Thanasis Tsanas

Proceedings of the 11th International Congress on Image and Signal Processing, 2018

Social Machines for All.

Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Designing a Social Machine for the Heart Manual Service.

Vanessa Hanschke, Areti Manataki, Cristina Adriana Alexandru, Petros Papapanagiotou, Carolyn Deighan, Louise Taylor, Dave Robertson

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2015

Softening electronic institutions to support natural interaction.

Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson

Hum. Comput., 2015

A Collaboration Model for Community-Based Software Development with Social Machines.

Dave Murray-Rust, Ognjen Scekic, Petros Papapanagiotou, Hong Linh Truong, Dave Robertson, Schahram Dustdar

EAI Endorsed Trans. Collab. Comput., 2015

LS ^2 C - A Platform for Norm Controlled Social Computers.

Flávio S. Corrêa da Silva, David Stuart Robertson, Wamberto Weber Vasconcelos

Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

LS2C - A Platform to Design, Implement and Execute Social Computations.

Flávio S. Corrêa da Silva, Dave Robertson, Wamberto Weber Vasconcelos

Proceedings of the ICAART 2015, 2015

2014

A review of attacks and security approaches in open multi-agent systems.

Shahriar Bijani, David Stuart Robertson

Artif. Intell. Rev., 2014

LSCitter: building social machines by augmenting existing social networks with interaction models.

Dave Murray-Rust, Dave Robertson

Proceedings of the 23rd International World Wide Web Conference, 2014

Metadata-driven hypertext content publishing and styling.

Xi Bai, Armin Haller, Ewan Klein, Dave Robertson

Proceedings of the 23rd International World Wide Web Conference, 2014

A collaboration model for community-based Software Development with social machines.

Dave Murray-Rust, Ognjen Scekic, Hong Linh Truong, Dave Robertson, Schahram Dustdar

Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

2013

Introduction to the special section on internet-scale human problem solving.

Fausto Giunchiglia, David Robertson

ACM Trans. Interact. Intell. Syst., 2013

Argumentation Understood as Program Synthesis (S).

Ashwag Maghraby, Dave Robertson

Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013

2012

Choreographing Web Services with Semantically Enhanced Scripting.

Xi Bai, Ewan Klein, Dave Robertson

Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

The use of reputation as noise-resistant selection bias in a co-evolutionary multi-agent system.

Nikolaos Chatzinikolaou, David Robertson

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Automated Deployment of Argumentation Protocols.

Ashwag Maghraby, Dave Robertson, Adela Grando, Michael Rovatsos

Proceedings of the Computational Models of Argument, 2012

2011

Reasoning about Distributed Knowledge-Transforming Peer Interactions.

W. Marco Schorlemmer, David Robertson

IEEE Trans. Knowl. Data Eng., 2011

Evolution in ecological agent systems.

Miguel Lurgi, David Robertson

Int. J. Bio Inspired Comput., 2011

Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective.

David Robertson

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Probing Attacks on Multi-Agent Systems Using Electronic Institutions.

Shahriar Bijani, David Robertson, David Aspinall

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Identifying the Need to Intervene: Analysis and Representation of Interaction Patterns in Group Programming Learning.

Thais Castro, David Robertson, Hugo Fuks, Alberto Castro

Proceedings of the Collaboration and Technology - 17th International Conference, 2011

Multi-agent Coordination through Mutualistic Interactions.

Miguel Lurgi, David Robertson

Proceedings of the Coordination, 2011

RDFa2: Lightweight Semantic Enrichment for Hypertext Content.

Xi Bai, Ewan Klein, Dave Robertson

Proceedings of the Semantic Web - Joint International Semantic Technology Conference, 2011

Intrusion Detection in Open Peer-to-Peer Multi-Agent Systems.

Shahriar Bijani, David Robertson

Proceedings of the Managing the Dynamics of Networks and Services, 2011

2010

Delivering clinical decision support services: There is nothing as practical as a good theory.

John Fox, David Glasspool, Vivek Patkar, Mark Austin, Liz Black, Matthew South, Dave Robertson, Charles Vincent

J. Biomed. Informatics, 2010

OKBook: Peer-to-Peer Community Formation.

Xi Bai, Wamberto Weber Vasconcelos, Dave Robertson

Proceedings of the Semantic Web: Research and Applications, 2010

Simple Ecological Rules Yield Complex Agent Networks.

Miguel Lurgi, David Robertson

Proceedings of the Artificial Intelligence Research and Development, 2010

Opportunistic belief reconciliation during distributed interactions.

Paul Martin, David Robertson, Michael Rovatsos

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Service Choreography Meets the Web of Data Via Micro-Data.

Xi Bai, Dave Robertson

Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009

Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing.

David Robertson, Adam Barker, Paolo Besana, Alan Bundy, Yun-Heh Chen-Burger, David Dupplaw, Fausto Giunchiglia, Frank van Harmelen, Mohd Fadzil Hassan, Spyros Kotoulas, David Lambert, Li Guo, Jarred McGinnis, Fiona McNeill, Nardine Osman, Adrián Perreau de Pinninck, Ronny Siebes, Carles Sierra, Chris Walton

Proceedings of the Advances in Web Semantics I, 2009

The benefits of service choreography for data-intensive computing.

Adam Barker, Paolo Besana, David Robertson, Jon B. Weissman

Proceedings of the 7th international workshop on Challenges of large applications in distributed environments, 2009

2008

Using multi-agent platform for pure decentralised business workflows.

Li Guo, David Robertson, Yun-Heh Chen-Burger

Web Intell. Agent Syst., 2008

Discovery and Uncertainty in Semantic Web Services.

Francisco Martín-Recuerda, Dave Robertson

Proceedings of the Uncertainty Reasoning for the Semantic Web I, 2008

Addressing the Brittleness of Agent Interaction.

Mohd Fadzil Hassan, Dave Robertson

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Constraint Relaxation Approach for Over-Constrained Agent Interaction.

Mohd Fadzil Hassan, Dave Robertson

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

Distributed Workflows: The OpenKnowledge Experience.

Paolo Besana, Vivek Patkar, David Glasspool, Dave Robertson

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008 Workshops, 2008

Bounded Ontological Consistency for Scalable Dynamic Knowledge Infrastructures.

Maciej Zurawski, Alan Smaill, Dave Robertson

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

2007

How Service Choreography Statistics Reduce the Ontology Mapping Problem.

Paolo Besana, Dave Robertson

Proceedings of the Semantic Web, 2007

The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing.

Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adrián Perreau de Pinninck, Frank van Harmelen, David Robertson

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus.

Bo Hu, Srinandan Dasmahapatra, David Robertson, Paul H. Lewis

Proceedings of the Short Paper Proceedings of the 2nd International Symposium on Languages in Biology and Medicine (LBM 2007), 2007

Open Knowledge.

David Robertson, Fausto Giunchiglia, Frank van Harmelen, Maurizio Marchese, Marta Sabou, W. Marco Schorlemmer, Nigel Shadbolt, Ronny Siebes, Carles Sierra, Christopher Walton, Srinandan Dasmahapatra, David Dupplaw, Paul H. Lewis, Mikalai Yatskevich, Spyros Kotoulas, Adrián Perreau de Pinninck, Antonis Loizou

Proceedings of the Languages, 2007

Dynamic Verification of Trust in Distributed Open Systems.

Nardine Osman, David Robertson

Proceedings of the IJCAI 2007, 2007

Adaptive Agent Model: an Agent Interaction and Computation Model.

Liang Xiao, David Robertson, Madalina Croitoru, Paul H. Lewis, Srinandan Dashmapatra, David Dupplaw, Bo Hu

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Grigoris Antoniou, Frank van Harmelen, A Semantic Web Primer, The MIT Press, April 1, 2004, 272 pp., ISBN 0262012103.

David Robertson

Inf. Process. Manag., 2006

Probabilistic Dialogue Models for Dynamic Ontology Mapping.

Paolo Besana, Dave Robertson

Proceedings of the Second ISWC Workshop on Uncertainty Reasoning for the Semantic Web, 2006

Peer-to-Peer Experimentation in Protein Structure Prediction: An Architecture, Experiment and Initial Results.

Xueping Quan, Christopher Walton, Dietlind L. Gerloff, Joanna L. Sharman, David Robertson

Proceedings of the Distributed, 2006

Dynamic Model Checking for Multi-agent Systems.

Nardine Osman, David Robertson, Christopher Walton

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Selecting Web Services Statistically.

David Lambert, David Robertson

Proceedings of the Cooperative Information Agents X, 10th International Workshop, 2006

2005

Automating Business Modelling - A Guide to Using Logic to Represent Informal Methods and Support Reasoning.

Yun-Heh Chen-Burger, David Robertson

Advanced Information and Knowledge Processing, Springer, ISBN: 978-1-84628-106-8, 2005

Addressing Constraint Failures in Agent Interaction Protocol.

Mohd Fadzil Hassan, Dave Robertson, Chris Walton

Proceedings of the Multi-Agent Systems for Society, 2005

Exploiting interaction contexts in P2P ontology mapping.

Paolo Besana, Dave Robertson, Michael Rovatsos

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-agent Platform.

Li Guo, David Robertson, Yun-Heh Chen-Burger

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

A Novel Approach for Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform.

Li Guo, David Robertson, Yun-Heh Chen-Burger

Proceedings of the 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 2005

A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition.

Li Guo, David Robertson, Yun-Heh Chen-Burger

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Run-Time Model Checking of Interaction and Deontic Models for Multi-Agent Systems.

Nardine Osman, David Robertson, Christopher Walton

Proceedings of the EUMAS 2005, 2005

Matchmaking multi-party interactions using historical performance data.

David Lambert, David Robertson

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Protocol Synthesis with Dialogue Structure Theory.

Jarred McGinnis, David Robertson, Christopher Walton

Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

Dynamic and Distributed Interaction Protocols.

Jarred McGinnis, David Robertson

Proceedings of the Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning, 2005

2004

Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming.

Wamberto Weber Vasconcelos, David Stuart Robertson, Carles Sierra, Marc Esteva, Jordi Sabater, Michael J. Wooldridge

Ann. Math. Artif. Intell., 2004

Mapping a Business Process Model to a Semantic Web Service Model.

Li Guo, Yun-Heh Chen-Burger, David Robertson

Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004

Multi-agent Coordination as Distributed Logic Programming.

David Robertson

Proceedings of the Logic Programming, 20th International Conference, 2004

A Lightweight Coordination Calculus for Agent Systems.

David Robertson

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Realizing Agent Dialogues with Distributed Protocols.

Jarred McGinnis, David Robertson

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

Ontology Extraction for Distributed Environments.

Derek H. Sleeman, Stephen Potter, David Robertson, W. Marco Schorlemmer

Proceedings of the Knowledge Transformation for the Semantic Web, 2003

2002

Pitfalls of formality in early system design.

David Robertson

Sci. Comput. Program., 2002

On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions.

Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, David Stuart Robertson, Virgínia V. B. Biris Brilhante, Ana Cristina Vieira de Melo, Marcelo Finger, Jaume Agustí-Cullell

Knowl. Based Syst., 2002

2001

Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences.

Siu-wai Leung, Chris Mellish, Dave Robertson

Bioinform., 2001

Synthesis of Web Sites from High Level Descriptions.

João M. B. Cavalcanti, David Stuart Robertson

Proceedings of the Web Engineering, Software Engineering and Web Application Development, 2001

A Lifecycle for Models of Large Multi-agent Systems.

Wamberto Weber Vasconcelos, David Stuart Robertson, Jaume Agustí-Cullell, Carles Sierra, Michael J. Wooldridge, Simon Parsons, Christopher Walton, Jordi Sabater

Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000

Argument-based applications to knowledge engineering.

Daniela Vasconcelos Carbogim, David Robertson, John Lee

Knowl. Eng. Rev., 2000

Formal Support for an Informal Business Modelling Method.

Yun-Heh Chen-Burger, David Robertson, Jussi Stader

Int. J. Softw. Eng. Knowl. Eng., 2000

Evaluating focus theories for dialogue management.

Renaud Lecoeuche, David Robertson, Catherine Barry, Chris Mellish

Int. J. Hum. Comput. Stud., 2000

A Lightweight Capability Communication Mechanism.

David Stuart Robertson, Flávio S. Corrêa da Silva, Wamberto Weber Vasconcelos, Ana Cristina Vieira de Melo

Proceedings of the Intelligent Problem Solving, 2000

WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant Management.

Luigi Ceccaroni, Dave Robertson

Proceedings of the ECAI 2000, 2000

1999

User-system dialogues and the notion of focus.

Renaud Lecoeuche, Chris Mellish, Catherine Barry, Dave Robertson

Knowl. Eng. Rev., 1999

Desert Island Column: The Books Don't Work.

David Stuart Robertson

Autom. Softw. Eng., 1999

Using Focus Rules in Requirements Elicitation Dialogues.

Renaud Lecoeuche, Catherine Barry, David Stuart Robertson

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Why Ontologies Are Not Enough for Knowledge Sharing.

Flávio S. Corrêa da Silva, Jaume Agustí-Cullell, Ana Cristina Vieira de Melo, Wamberto Weber Vasconcelos, David Stuart Robertson

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Use of Formal Ontologies to Support Error Checking in Specifications.

Yannis Kalfoglou, David Stuart Robertson

Proceedings of the Knowledge Acquisition, Modeling and Management, 11th European Workshop, 1999

1998

A Visual Syntax for Logic and Logic Programming.

Jaume Agustí-Cullell, Jordi Puigsegur, David Stuart Robertson

J. Vis. Lang. Comput., 1998

An empirical study of the LSS specification toolkit in use.

David Robertson

J. Syst. Softw., 1998

Lightweight Formalisation in Support of Requirements Engineering.

Jane Hesketh, David Stuart Robertson, Norbert E. Fuchs, Alan Bundy

Autom. Softw. Eng., 1998

Pragmatics in the Synthesis of Logic Programs.

David Stuart Robertson, Jaume Agustí-Cullell

Proceedings of the Logic Programming Synthesis and Transformation, 1998

A Framework for Requirements Elicitation through Mixed-Initiative Dialogue.

Renaud Lecoeuche, Chris Mellish, David Stuart Robertson

Proceedings of the 3rd International Conference on Requirements Engineering (ICRE '98), 1998

1997

Guest Editorial.

David Stuart Robertson

Knowl. Eng. Rev., 1997

Reliable and accountable system design.

Paul J. Krause, Jane Hesketh, Dave Robertson

Knowl. Eng. Rev., 1997

1996

NatureTime: Temporal Granularity in Simulation of Ecosystems.

Edjard Mota, David Stuart Robertson, Alan Smaill

J. Symb. Comput., 1996

A Visual Logic Programming Language.

Jordi Puigsegur, Jaume Agustí-Cullell, David Stuart Robertson

Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Representing Interaction of Agents at Different Time Granularities.

Edjard Mota, David Stuart Robertson

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Distributed Specification.

David Stuart Robertson

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

<i>Formal specification of complex reasoning systems</i> edited by Jan Treur and Thomas wetter, Ellis Horwood, Chichester, 1993, pp 1-282, £35.95, ISBN 0-13-336-785-1.

Dave Robertson

Knowl. Eng. Rev., 1995

Extension of the temporal synchrony approach to dynamic variable bindingin a connectionist inference system.

Nam Seog Park, Dave Robertson, Keith Stenning

Knowl. Based Syst., 1995

Capturing and Matching Dynamic Behaviour in Case-Based Reasoning.

Peter J. Funk, David Stuart Robertson

Proceedings of the Progress in Case-Based Reasoning, 1995

1994

<i>Case-based reasoning</i> by Janet Kolodner, Morgan-Kaufmann, CA, USA, 1993, pp 668, £45.95, ISBN 1-55860-237-2.

Dave Robertson

Knowl. Eng. Rev., 1994

Applying Prolog programming techniques.

Andrew Bowles, David Stuart Robertson, Wamberto Weber Vasconcelos, Maria Vargas-Vera, Diana Bental

Int. J. Hum. Comput. Stud., 1994

Expressing Program Requirements Using Refinement Lattices.

David Stuart Robertson, Jaume Agustí-Cullell, Jane Hesketh, Jordi Levy

Fundam. Informaticae, 1994

An Environment for Building Prolog Programs Based on Knowledge about their Construction.

Maria Vargas-Vera, David Stuart Robertson

Proceedings of the Tenth Logic Programming Workshop, 1994

Reasoning with Limited Unification in a Connectionist Rule-Based System.

Nam Seog Park, Dave Robertson, Keith Stenning

Proceedings of the ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, 1994

Use of Case-Based Reasoning in the Domain of Building Regulations.

Soon-Ae Yang, David Stuart Robertson, John Lee

Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

Case-Based Support for the Design of Dynamic System Requirements.

Peter J. Funk, David Stuart Robertson

Proceedings of the Advances in Case-Based Reasoning, Second European Workshop, 1994

1993

Building Large-Scale Prolog Programs using a Techniques Editing System.

Maria Vargas-Vera, Wamberto Weber Vasconcelos, David Stuart Robertson

Proceedings of the Logic Programming, 1993

Combining Prolog Programs in a Techniques Editing System (Abstract).

Maria Vargas-Vera, David Stuart Robertson, Robert Inder

Proceedings of the Logic Program Synthesis and Transformation, 1993

KICS: A Knowledge-Intensive Case-Based Reasoning System for Statutory Building Regulations and Case Histories.

Soon-Ae Yang, David Stuart Robertson, John Lee

Proceedings of the Fourth International Conference on Artificial intelligence and Law, 1993

On the Relations between Incidence Calculus and ATMS.

Weiru Liu, Alan Bundy, David Stuart Robertson

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Recovering Incedence Functions.

Weiru Liu, Alan Bundy, David Stuart Robertson

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992

Automated Reasoning with Uncertainties.

Flávio S. Corrêa da Silva, David Stuart Robertson, Jane Hesketh

Proceedings of the Knowledge Representation and Reasoning Under Uncertainty, 1992

1991

Multi-level cooperative dialogue in intelligent front-ends.

Dave Robertson

Artif. Intell. Eng., 1991

Automated Reasoning About an Uncertain Domain.

Flávio S. Corrêa da Silva, David Stuart Robertson, Paul W. H. Chung

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

A Simple Prolog Techniques Editor for Novice Users.

David Stuart Robertson

Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, 1991

Eco-Logic - Logic-Based Approaches to Ecological Modeling.

David Robertson, Alan Bundy, Robert Muetzelfeldt, Mandy Haggith, Michael Uschold

Logic programming, MIT Press, ISBN: 978-0-262-18143-3, 1991

1990

Expert systems lab course : P Schnupp, C T Nguyen and L W.

David Robertson

Knowl. Based Syst., 1990

1989

The ECO Program Construction System: Ways of Increasing its Representational Power and Their Effects on the User Interface.

David Stuart Robertson, Alan Bundy, Michael Uschold, Robert Muetzelfeldt

Int. J. Man Mach. Stud., 1989