Leon Sterling

Q: What Schools Are Affiliated With Leon Sterling

Leon Sterling is affiliated with the following schools: University of Melbourne, University of Edinburgh, Case Western Reserve University, Swinburne University of Technology

Leon Sterling's AcademicInfluence.com Rankings

Leon Sterling

Computer Science

#1447

World Rank

#1496

Historical Rank

Database

#1664

World Rank

#1744

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Leon Sterling's Degrees

PhD Computer Science University of Melbourne

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Leon Sterling Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Professor Leon Sterling is a career academic with a distinguished academic record. After completing a PhD at the Australian National University, he worked for 15 years at universities in the UK, Israel and the United States. He returned to Australia as Professor of Computer Science at the University of Melbourne in 1995. He served as Head of the Department of Computer Science and Engineering for 6 years. After stepping down as Head, he took up an industry-sponsored chair becoming the Adacel Professor of Software Innovation and Engineering. In 2010, he moved to Swinburne where he served as Dean of the Faculty of Information and Communication Technologies for 4 years and Pro Vice-Chancellor for two years. He has been a prominent figure in IT in Australia, serving as Head of the Council of Deans of ICT from 2012 to 2014, been on a number of national committees, and been a strong advocate for coding in schools through public lectures, blogs, and committee memberships. His current research is in incorporating emotions in technology development, where motivational models are an essential element.

(See a Problem?)

Leon Sterling's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Art of Prolog (1987) (1588)
The Art of Prolog - Advanced Programming Techniques (1986) (647)
Intelligence as Adaptive Behavior: An Experiment in Computational Neuroethology (1990) (373)
ROADMAP: extending the gaia methodology for complex open systems (2002) (306)
Quality of service for web services (2004) (296)
The Art of Agent-Oriented Modeling (2009) (294)
Intelligent Systems (1993) (182)
The art of Prolog (2nd ed.): advanced programming techniques (1994) (136)
Learning and classification of monotonic ordinal concepts (1989) (104)
Meta-Level Inference and Program Verification (1982) (85)
Emotion-led modelling for people-oriented requirements engineering: The case study of emergency systems (2015) (82)
Integrating Case‐Based and Rule‐Based Reasoning to Meet Multiple Design Constraints (1999) (81)
Metainterpreters for Expert System Construction (1989) (73)
Solving Symbolic Equations with PRESS (1982) (61)
Applying Techniques to Skeletons (1993) (58)
AI '92 : proceedings of the 5th Australian Joint Conference on Artificial Intelligence : Hobart, Tasmania, 16-18 November 1992 (1992) (57)
Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator (2014) (55)
Promoting Personal Recovery in People with Persisting Psychotic Disorders: Development and Pilot Study of a Novel Digital Intervention (2016) (51)
Logic-based specification languages for intelligent software agents (2003) (51)
The Art of Prolog - Advanced Programming Techniques, 2nd Ed (1986) (50)
The Gaia Methodology (2004) (49)
The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments (2003) (48)
Heterogeneous Neural Networks for Adaptive Behavior in Dynamic Environments (1988) (48)
Adding monotonicity to learning algorithms may impair their accuracy (2009) (48)
The Gaia methodology: basic concepts and extensions (2004) (48)
Engineering the social: The role of shared artifacts (2009) (46)
Assembling Agent Oriented Software Engineering Methodologies from Features (2002) (46)
An artificial intelligence system for computer-assisted menu planning. (1998) (45)
An agent-based approach to modelling pedestrian behaviour (2007) (43)
Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction (1986) (42)
Tools for participation: intergenerational technology design for the home (2014) (41)
A distributed agent approach to global transportation scheduling (2003) (39)
Composing Prolog Meta-Interpreters (1988) (36)
An artificial insect (1991) (35)
Understanding socially oriented roles and goals through motivational modelling (2012) (35)
A Scalable and Portable Structure for Conducting Successful Year-long Undergraduate Software Team Projects (2007) (33)
Autowrapper: automatic wrapper generation for multiple online services (1999) (32)
Development of a Mobile Clinical Prediction Tool to Estimate Future Depression Severity and Guide Treatment in Primary Care: User-Centered Design (2018) (30)
Randomised controlled trial of a digitally assisted low intensity intervention to promote personal recovery in persisting psychosis: SMART-Therapy study protocol (2016) (29)
Semi-structured data extraction from heterogenous sources (2000) (29)
On the Animation of "not Executable" Specifications by Prolog (1996) (28)
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation (1995) (28)
Customizing AOSE methodologies by reusing AOSE features (2003) (28)
Applying Agent Technology to Evaluation Tasks in e-Learning Environments (2003) (27)
A meta-model for intelligent adaptive multi-agent systems in open environments (2003) (27)
Improving goal and role oriented analysis for agent based systems (2005) (27)
An eXtreme method for developing lightweight ontologies (2002) (26)
Relating Stable Models and AI Planning Domains (1995) (26)
Guidelines for Constructing Reusable Domain Ontologies (2003) (26)
ProMiX: a Prolog partial evaluation system (1990) (24)
Methodologies for agent-oriented software engineering (2005) (23)
Representing Logic Program Schemata in λProlog (1995) (22)
The role of users' emotions and associated quality goals on appropriation of systems: two case studies (2013) (22)
Disincentives for communicating risk: a risk paradox (1999) (22)
Generating rules from examples of human multiattribute decision making should be simple (2006) (22)
Privacy and forensics investigation process: The ERPINA protocol (2008) (21)
Agent-oriented software analysis (2004) (21)
A comprehensive view of agent-oriented patterns (2007) (21)
CIFI: An Intelligent Agent for Citation Finding on The World-wide Web (1996) (21)
Distributed information fusion agents (2003) (21)
Measuring quality of service for contract aware web services (2004) (20)
A prototype expert system for credit evaluation (1986) (20)
Software engineering methods for neural networks (2003) (20)
Adapting a General-Purpose Social Robot for Paediatric Rehabilitation through In Situ Design (2017) (20)
Logical Levels of Problem Solving (1984) (20)
Knowledge Discovery in SportsFinder: An Agent to Extract Sports Results from the Web (1999) (20)
Nilpotent groups of Hirsch length six (1982) (20)
An Integrated Interpreter for Explaining Prolog's Successes and Failures (1989) (20)
Designing Ontologies for Agents (1999) (20)
Explaining Prolog Based Expert Systems Using a Layered Meta-Interpreter (1989) (19)
Agents in logistics planning: experiences with the coalition agents experiment project (2003) (19)
From single static to multiple dynamic combinatorial auctions (2005) (18)
PYTHON: An Expert Squeezer (1990) (18)
Teaching Motivational Models in Agile Requirements Engineering (2018) (18)
One size doesn't fit all: diversifying "the user" using personas and emotional scenarios (2014) (18)
A Notion of Map between Logic Programs (1990) (18)
A Method for Eliciting and Representing Emotional Requirements: Two Case Studies in e-Healthcare (2019) (17)
Don't leave me untouched: Considering emotions in personal alarm use and development (2014) (17)
Refinement Strategies for Inductive Leaming of Simple Prolog Programs (1991) (17)
Provisional Agreement Protocol for Global Transportation Scheduling (2005) (17)
Achieving dynamic interfaces with agent concepts (2004) (17)
Guiding agent-oriented requirements elicitation: HOMER (2005) (17)
Description templates for agent-oriented patterns (2008) (17)
Task Knowledge Patterns Reuse in Multi-Agent Systems Development (2010) (17)
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (1995) (17)
JUSTICE: a judicial search tool using intelligent concept extraction (1999) (16)
Methods for supporting older users in communicating their emotions at different phases of a Living Lab Project (2017) (16)
On Finding Needles in WWW Haystacks (1997) (16)
Skeletons and techniques as a normative approach to program development in logic-based languages (1996) (16)
Declarative Agent Languages and Technologies (2003) (16)
Mathematical reasoning (1987) (16)
The role of common sense knowledge in menu planning (1996) (15)
An abstract interpretation scheme for logic programs based on type expression (1988) (15)
Lightweight deductive databases on the world-wide web (1996) (15)
Agents for Citation Finding on the World Wide Web (1997) (15)
Robots in Rehab: Towards socially assistive robots for paediatric rehabilitation (2015) (14)
Integrating social modelling and agent interaction through goal-oriented analysis (2006) (14)
A methodology for building information agents (1998) (13)
A Reactive Constraint Logic Programming Scheme (1995) (13)
An explanation shell for expert systems (1986) (13)
Verifying Requirements Through Mathematical Modelling and Animation (2000) (13)
Socially-Oriented Requirements Engineering: Software Engineering Meets Ethnography (2014) (13)
Agents for military logistic planning (2002) (13)
Meta-level inference in Algebra (1981) (13)
An agent design pattern classification scheme: capturing the notions of agency in agent design patterns (2004) (13)
Modelling pedestrian behaviour using the BDI architecture (2005) (12)
Experiences with Ontology Development for Value-Added Publishing (2003) (12)
Having fun at home: interleaving fieldwork and goal models (2009) (12)
Classified Advertisement Search Agent (CASA): A Knowledge-Based Information Agent for Searching Semi-Structured Text (1998) (11)
The software engineering of agent-based intelligent adaptive systems (2005) (11)
Developing an ontology for the retrieval of XML documents: a comparative evaluation of existing methodologies (2004) (11)
Pressing for Parallelism: A Prolog Program made Concurrent (1986) (11)
Engaging Stakeholders with Agent-Oriented Requirements Modelling (2010) (11)
Agent-based global transportation scheduling in military logistics (2004) (11)
On Extra Variables in (Equational) Logic Programming (1995) (11)
Stepwise Enhancement and Higher-Order Programming in Prolog (2000) (11)
Building Agent-Based Appliances with Complementary Methodologies (2006) (11)
NMCC Programming: Constraint Enforcement and Retraction in CC Programming (1995) (11)
The Practice of Prolog (2003) (10)
Ontology-mediated Validation of Software Models (2011) (10)
"Help me help you": a human-assisted social robot in paediatric rehabilitation (2016) (10)
Agents in a Multi-cultural World: Towards Ontological Reconciliation (2001) (10)
Reconciling ontological differences by assistant agents (2006) (10)
In-Situ Design and Development of a Socially Assistive Robot for Paediatric Rehabilitation (2017) (9)
Specifying roles within agent-oriented software engineering (2003) (9)
Patterns for Prolog Programming (2002) (9)
A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (1995) (9)
An ontology-mediated validation process of software models (2010) (9)
A conceptual framework for specifying and developing pedestrian models (2005) (8)
Researchers as proxies for informal carers: photo sharing with older adults to mediate wellbeing (2014) (8)
A Tool to Support Stepwise Enhancement in Prolog (1993) (8)
Reconciling Implicit and Evolving Ontologies for Semantic Interoperability (2005) (8)
A methodology for program construction by stepwise structural enhancement (1994) (7)
Motivational Modelling in Software for Homelessness: Lessons from an Industrial Study (2019) (7)
Using Motivational Modelling With an App Designed to Increase Student Performance and Retention (2020) (7)
Modelling a Smart Music Player with a Hybrid Agent-Oriented Methodology (2007) (7)
Type inferencing for polymorphic order-sorted logic programs (1995) (7)
Composition based on skeletons and techniques (1993) (7)
ARIS: A Shell for Information Agents that Exploit Web Site Structure (1998) (7)
Integrating case-based and rule-based reasoning in knowledge-based systems development (1996) (7)
A conceptual framework for effective appropriation of proactive public e-services (2018) (7)
Design of agent-oriented pattern templates (2006) (7)
Automated Concept Identification within Legal Cases (1999) (6)
SportsAgents: a mediator-based multi-agent system for cooperative information gathering from the World Wide Web (2000) (6)
Using limited common sense knowledge to guide knowledge acquisition for information agents (1997) (6)
Composing recursive logic programs withClausal join (1988) (6)
On the Practicality of Abstract Equation Systems (1995) (6)
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming (1995) (6)
Impress-meta level concepts in theorem proving (1982) (6)
Designing Nutritional Menus Using Case-Based and Rule-Based Reasoning (1996) (6)
An education for the 21st century means teaching coding in schools (2014) (6)
Logic Programming and Software engineering—implications for Software design (1996) (6)
Uncertainty reasoning in Prolog with layered meta-interpreters (1991) (6)
Modelling Emotional Requirements (2014) (6)
The Benefit of Ambiguity in Understanding Goals in Requirements Modelling (2011) (6)
Tasks as context for intelligent agents (2003) (6)
A Higher Order Reconstruction of Stepwise Enhancement (1997) (6)
Exploring Agent Cooperation: Studies with a Simple Pursuit Game (1997) (6)
Reconciling ontological differences for intelligent agents (2002) (6)
Development of a Prolog tracer by stepwise enhancement (1995) (6)
An agent-based digital self in a 24x7 Web services world: architecture and implementation (2003) (6)
Agent-Based Modelling for Understanding Sustainability (2011) (6)
Enacting and interacting with an agent-based digital self in a 24x7 web service world (2003) (6)
A CBR/RBR Hybrid for Designing Nutritional Menus (1998) (6)
Proceedings of the 5th Australian Joint Conference on Artificial Intelligence (AI'92), Hobart, Tasmania, Australia, 16-18 November 1992 (1992) (5)
Adding emotions to models in a viewpoint modelling framework from agent-oriented software engineering: A case study with emergency alarms (2018) (5)
Teaching AI algorithms using animations reinforced by interactive exercises (1997) (5)
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method (1995) (5)
Meta-level inference: Two applications (1988) (5)
Knowledge verification in expert systems combining declarative and procedural representations (1993) (5)
A BDI approach to agent-based modelling of pedestrians (2005) (5)
Diagnosing jaundice expert system (1990) (5)
The benefits of agent-based motivation models in policy formulation and implementation (2011) (5)
Implementing problem-solving strategies using the meta-level (1984) (5)
A Dedicated Approach for Developing Agent Interaction Protocols (2004) (5)
Evaluating JACK Sim for Agent-Based Modelling of Pedestrians (2006) (4)
Event-based Optimization of Air-to-Air Business Processes (2009) (4)
A meta-level architecture for expert systems (1988) (4)
On Source-To Source Transformation of Sequentlal Logic Programs to And-Parallelism (1987) (4)
Meta-interpreters for expert systems (abstract) (1986) (4)
Of integration by man and machine (1983) (4)
A Knowledge-Biased Approach to Information Agents (2004) (4)
User-Centered Value Specifications for Technologies Supporting Chronic Low-Back Pain Management (2019) (4)
Using the UML to model knowledge in agent systems (2002) (4)
TANDEM - a design method for integrating web services into multi-agent systems (2006) (4)
Learning and classification of ordinal concepts (1988) (4)
Emotional Factors for Teleaudiology (2021) (4)
Designing Meaningful, Beneficial and Positive Human Robot Interactions with Older Adults for Increased Wellbeing During Care Activities (2021) (4)
Session L : Coding in the curriculum : Fad or foundational? (2016) (4)
Shared artefacts as participatory Babel fish (2010) (4)
Building embedded languages and expert system shells in Prolog (1990) (4)
Evaluating Ask Izzy: A Mobile Web App for People Experiencing Homelessness (2019) (4)
Intelligent matchmaking for information agents cooperation on the World Wide Web (2000) (4)
Reasoning about symbolic descriptions of mechanical parts (1994) (4)
A collaborative framework for distributed scientific groups (2002) (3)
Constructing provably correct logic programs (1994) (3)
Psychology-based agent architecture for whole-of-user interface to the web (2002) (3)
Compiling Enumerate-and-Filter Programs for Efficient Execution Under Committed-choice and-Parallelism (1988) (3)
Evaluating Engagement in Technology-Supported Social Interaction by People Living with Dementia in Residential Care (2022) (3)
A knowledge-based approach to domain-specialized information agents (1999) (3)
Tempo: a declarative concurrent programming language (1995) (3)
Relative correctness of Prolog programs (1994) (3)
Viewpoint Modelling with Emotions: A Case Study (2015) (3)
How to control unfolding when specializing interpreters (1990) (3)
A Statistical Learning Method for Logic Programs with Distribution Semantics (1995) (3)
Towards the software engineering of neural networks: a maturity model (2000) (3)
An Expressway from Agent-Oriented Models to Prototype Systems (2007) (3)
Using a Prolog meta-programming approach for a blackboard application (1993) (3)
Towards Reusability Based Upon Similar Computational Behavior (1995) (3)
Interoperability and semi-structured data in an open Web-based agent information system (2000) (3)
Incorporating Security Requirements into Communication Protocols in Multi-agent Software Systems (2007) (3)
Computing invariants for finitely presented nilpotent groups (1981) (3)
Knowledge-Based Information Agents (2000) (3)
Of Using Constraint Logic Programming for Design of Mechanical Parts (1993) (3)
An Expressway from Agent-Oriented Models to Prototypes (2007) (3)
Determinacy Driven Optimization of And-parallel Prolog Implementations (1995) (3)
Relating logic programs via program maps (1993) (3)
Incremental Global Compilation of Prolog with the Vienna Abstract Machine (1995) (3)
Substantiating agent-based quality goals for understanding socio-technical systems (2011) (3)
Incorporating parallelism in logic programs by program transformation (1988) (3)
An expert grinding adviser for the surface grinding of superalloys (1989) (2)
Agent-Oriented Modelling: Declarative or Procedural? (2007) (2)
Generating Natural Language Explanations from Plans (2003) (2)
Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming (1995) (2)
ShadowBoard: an Agent-orientated Model-View-Controller (AoMVC) Architecture for a Digital Self (2001) (2)
Agent-Oriented Methodologies (2009) (2)
A logic programming perspective on rules (2009) (2)
Improved template for agent pattern description (2005) (2)
Model Generation Theorem Provers and Their Applications (1995) (2)
Towards Reuse in Agent Oriented Information Systems: The Importance of Being Purposive (2003) (2)
Z Specifications: Syntactic Sugar for Prolog (1994) (2)
Dealing With Mathematical Relations in Web-Ontologies (2003) (2)
BlackLog: From Blackboard System to Process-Oriented Prolog (1993) (2)
Providing a healthy digital environment, aligning policy with teacher, student and parent expectations (2013) (2)
Symbolic and numeric knowledge integration in multiple fault troubleshooting (1991) (2)
The Art of Prolog: Programming Examples - Macintosh (Logic Programming) (1987) (2)
Effective utilization of OR-parallelism: A modest proposal (1988) (2)
A knowledge based framework for developing and customizing schedulers (1993) (2)
Report on the Workshop: Applications of Logic Programming in Software Engineering (1995) (2)
Analyzing high energy physics experiments: a multi-agent approach (2002) (2)
An abstract interpretation scheme for identifying inherent parallelism in logic programs (1990) (2)
Representing Actions in Logic Programming (1995) (2)
Adapting roles for agent-oriented software engineering (2004) (2)
Light-Weight Agents for E-learning Environments (2003) (2)
IndiansWatcher - Single Purpose Software Agent (1997) (2)
A Process for Analyzing Agent-Oriented Patterns (2007) (2)
Features as loosely defined method fragments (2008) (2)
Adaptivity: A Quality Goal for Agent-Oriented Models? (2011) (2)
Constructing Logic Programs with Higher-Order Predicates (1995) (1)
Reduction of abductive logic programs to normal logic programs (1995) (1)
Interdisciplinary Design Teams Translating Ethnographic Field Data Into Design Models: Communicating Ambiguous Concepts Using Quality Goals (2018) (1)
Intelligent Lifestyle Applications (2009) (1)
An E-Learning Application (2009) (1)
Generalized scheduling development environment (1991) (1)
Requirements elicitation and repeatable processes - interdisciplinary collaboration between software engineering and design (2021) (1)
Data crunch: how can schools get kids engaged in IT? (2012) (1)
Robots can help young patients engage in rehab (2016) (1)
Compiling and Executing Disjunctions of Finite Domain Constraints (1995) (1)
Efficient Term Size Computation for Granularity Control (1995) (1)
Modelling Human Activity in People-Oriented Programming with Metamodels (2015) (1)
On Coherence Approach to Logic Program Revision (1995) (1)
2001 Australian Software Engineering Conference (2001) (1)
Experience from building industry strength agent-based appliances (2006) (1)
Software agents for retrieving knowledge from the WWW (1996) (1)
Efficient Execution of HiLog in WAM-based Prolog implementations (1995) (1)
Proceedings, 2001 Australian Software Engineering Conference, 27-28 August, 2001, Canberra, Australia (2001) (1)
Intelligent systems : concepts and applications (1993) (1)
Program Development by Stepwise 'Enhancement' (1990) (1)
Two Aspects of Directional Types (1995) (1)
Meta-level Constructs for Concurrency among Loosely-Coupled Course-Grained Knowledge Sources (1992) (1)
Guest Editor's Introduction Special Issue: Applications of Logic Programming (1996) (1)
Type Synthesis for Logic Programs (1995) (1)
Logic-Based Languages to Model and Program Intelligent Agents (2002) (1)
Understanding Confidence of Older Adults for Embracing Mobile Technologies (2022) (1)
Knowledge management agents (2006) (1)
Applying a cryptographic scheme in the RPINA protocol (2007) (1)
Preference Logic Programming (1995) (1)
A Dedicated Model for Developing Agent System with Reconciliation Capability (2007) (1)
Incremental Analysis of Logic Programs (1995) (1)
Efficient Tabling Mechanisms for Logic Programs (1995) (1)
Towards ontological reconciliation for agents (2001) (1)
Qualitative reasoning about empirically modelled processes (1988) (1)
Constructivist approaches to communication skills development in software engineering (2003) (1)
Using a digital personal recovery resource in routine mental health practice: feasibility, acceptability and outcomes. (2022) (1)
Applying Agents within Knowledge Management (2011) (1)
A perspective on the International Olympiad in Informatics for CS educators (2009) (1)
Motivational Goals for using Electronic Health Record Applications (2018) (1)
A CLIPS prototype for autonomous power system control (1988) (1)
Logic based timing verification (1988) (1)
Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995 (1995) (1)
Co-Creating Technology for Societal Change: A Mobile App addressing Homelessness (2019) (1)
Layered meta-interpreters for describing Prolog's control flow (1989) (1)
Modelling OR-parallel Execution of Prolog using CHOCS (1995) (1)
Reconciling heterogeneous information sources (2004) (1)
Designing and implementing a bridge playing program (1996) (1)
Integrating CBR and RBR for nutritional menu design (1998) (1)
Designing Proactive Public Services (2019) (1)
List of Acronyms (2000) (0)
Prototyping Databases in Prolog (2003) (0)
wamcc: Compiling Prolog to C (1995) (0)
Making a Year-Long Software Engineering Project Agile (2018) (0)
Agent oriented pattern classification and description (2006) (0)
Software development of neural networks for chemical engineers (2001) (0)
Assisting register transfer level hardware design: A Prolog Application (2003) (0)
Interdisciplinary Design Teams Translating Ethnographic Field Data Into Design Models (2021) (0)
Weisst Du wieviel Sternlein stehen? – Building older adults’ confidence in technology use through co-designing digital storytelling (2023) (0)
A New Procedural Interpretation of Horn Clauses with Equality (1995) (0)
Experiences with agent-oriented software modelling (2006) (0)
A Generic Scheduling Framework developed in Prolog (1995) (0)
Developing a Portable Parallelizing Pascal Compiler in Prolog (2003) (0)
Design of an environment for agent-based simulation of air-to-air business processes (2009) (0)
Integrating Abductive and Constraint Logic Programming (1995) (0)
A Method for Implementing Equational Theories as Logic Programs (1995) (0)
Experimenting with Nonmonotonic Reasoning (1995) (0)
Editorial: Designing Technology for Emotions to Improve Mental Health and Wellbeing (2022) (0)
Proving Correctness of Translation from Moded Flat GHC to π-Calculus (1995) (0)
Oz: Concurrent Constraint Programming for Real (1995) (0)
Teaching the appy generation (2012) (0)
Humans are not rational and artificial agents are not emotional (2022) (0)
Efficient Implementation of the Event Calculus for Temporal Database Applications (1995) (0)
A Decision Graph Algorithm for CCP languages (1995) (0)
Guest Editor's Introduction (1996) (0)
Enhancement Structures for Proving Prolog Programs Correct (1993) (0)
A tablet-based interactive wellbeing check prototype for elderly (2014) (0)
Computing Prioritized Circumscription by Logic Programming (1995) (0)
Guest editor's introduction: special issue on Prolog applications (1994) (0)
Transformation of Transaction Logic Programs Based on Estimation of TransactiOn Execution Paths (1995) (0)
Agent-oriented modelling for converging devices and systems (2011) (0)
Variants of the Event Calculus (1995) (0)
Researchers as proxies for informal carers: photo sharing with older adults to communicate wellbeing (2014) (0)
The Effect of Partial Deduction in Abductive Reasoning (1995) (0)
Projections of Logic Programs Using Symbol Mappings (1995) (0)
META-LEVEL INFERENCE AND VERIFICATION PROGRAM (2004) (0)
Software Development and Logic Programming (1991) (0)
Task planning and scheduling: Toward real-time expert system autonomous control (1991) (0)
Operational Semantics of Constraint Logic Programs with Coroutining (1995) (0)
Program maps for characterizing factors of logic programs based on computational behavior (1994) (0)
Uncertainty Reasoning in Pro log with Layered Meta-Interpreter s (1991) (0)
Supporting Evolving Multi-agent Systems with a System Evolution Directory (2008) (0)
Special issue on ‘Logic Programming and the INTERNET’ (2001) (0)
Software engineering for high integrity systems (2001) (0)
ToonTalk™ — Concurrent constraint programming for kids (1995) (0)
SLDNF, Constructive Negation and Grounding (1995) (0)
Abduction with Clark Completion (1995) (0)
Motivational Modelling : Applying a new brainstorming process in the design of brandmarks brainstorm (2022) (0)
Beyond the symbolic paradigm (1991) (0)
Proceedings of the 11th International Workshop on Cooperative Information Agents XI (CIA 2007), Delft, Netherlands, 19-21 September 2007 (2007) (0)
Analysis and Design of Multi Agent Knowledge Development Process (2008) (0)
Software engineering issues for chemical engineers (2001) (0)
A Logic Programming Approach to Channel Routing (1995) (0)
Injecting Semantics into Scientific Collaboration (0)
Guest editors' introduction: Special issue on applications of logic programming in software engineering (1996) (0)
An Analyzer for a Concurrent Constraint Language (1995) (0)
Characterizing Similar Computational Behavior of Logic Programsy (1994) (0)
A Simple Learning Program (2003) (0)
Adding semantics to scientific collaboration documents (2002) (0)
Applications of Constraint Logic Programming (1995) (0)
Distributed neural control of a hexapod walking vehicle (1989) (0)
Combining Situation Calculus and Event Calculus (1995) (0)
Developing Knowledge Models for Multi-agent Mediator Systems (2009) (0)
Stream Data Analysis in Prolog (2003) (0)
On extending the knowledge sharing practices in scientific collaboration to the semantic web (2008) (0)
Adding Emotions to Models in a Viewpoint Modelling Framework From Agent-Oriented Software Engineering (2021) (0)
Brainstorm (2022) (0)
Finite Domain and Cutting Plane Techniques in CLP(PB) (1995) (0)
Making Query Processing Goal-Directed in Disjunctive Logic Databases (1995) (0)
On merging Prolog programs (1993) (0)
Semantical Properties of SLD-Resolution with Reflection (1995) (0)
Guest Editor's Introduction (1990) (0)
Shallow Backtracking Points in An Intelligent Backtracking Schema (1995) (0)
Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP — (1995) (0)
Analysis And Classification Of Task Knowledge Patterns (2010) (0)
Designing Proactive Public Services. Proaktiivsete avalike teenuste disainimine (2019) (0)
Integrating a Lightweight Information Agent with the Cyc Knowledge Base (2014) (0)
Designing Perception Modules to Shape Information for Agents (2000) (0)
Transitioning from motivational goal models to user stories within user-centred software design (2021) (0)
A Biological Perspective Agent Design o n Autonomous 169 (0)
Special Issue on Emotions and People-Oriented Programming (2014) (0)
A role-based methodology for agent-oriented software engineering (2003) (0)
Senior Program Committee Members (2004) (0)
Adapting a General Purpose Robot for Paediatric Rehabilitation: In-situ Design of a Socially Assistive Robot (2017) (0)
Accrediting software engineering courses (2004) (0)
Program Dependence Analysis of Concurrent Logic Programs and Its Applications (1995) (0)
Proceedings of the 11th international workshop on Cooperative Information Agents XI (2007) (0)
eResearch training for research higher degree students (2009) (0)
Proceedings of the 2nd International Conference on the Practical Application of Prolog, London, United Kingdom, 26-29 April 1994 (1994) (0)
Transforming generate-and-test programs to execute under committed-choice AND-parallelism (1990) (0)
Substantiating quality goals with field data for socially-oriented requirements engineering (2011) (0)
Computers may be evolving but are they intelligent (2016) (0)
End-User's Emotion and Satisfaction (2019) (0)
Ontology-based Validation of Agent Oriented Modelling (2010) (0)
Dynamic Deductive Data Bases with Steady Behaviour (1995) (0)
Industry-Related Applications (2009) (0)
Logic Programming and the INTERNET (2001) (0)
PREDITOR: A Prolog-based VLSI Editor (2003) (0)
Technology for societal change: Evaluating a mobile app addressing the emotional needs of people experiencing homelessness (2022) (0)
Integration of online resources into face-to-face therapeutic interactions: Development phase of the Self-Management and Recovery Technology (SMART) research program (2014) (0)
A methodology for designing an intelligent agent system, Compiegne, France, 19 September 2005 (2005) (0)
Amnesia — A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language (1995) (0)
An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions (1988) (0)
Accelerating the digital researcher on the information superhighway (2011) (0)
On Composing Concurrent Logic Processes (1995) (0)
Linear Equation Solving for Constraint Logic Programming (1995) (0)
Incorporating Complex Mathematical Relations in Web-Portable Domain Ontologies (2005) (0)
A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas (1995) (0)
This little-known pioneering educator put coding in the classroom (2016) (0)
Self-Management and Recovery Technology (SMART): preliminary results from a trial of a digital intervention to promote personal recovery in persons with psychosis (2016) (0)
WITHDRAWN: A predefined policy protocol for the enhanced RPINA (2007) (0)
A Generic Algorithm for CLP Analysis (1995) (0)
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems (1995) (0)
Agent-Oriented Software Engineering (2009) (0)
Proceedings of the 12th International Conference on Logic Programming, Kanagawa, Japan, 13-18 June 1995 (1995) (0)
Hybrid Implementation Techniques in Erlang BEAM (1995) (0)
Towards Agents for Educational Software (2006) (0)
Cooperative Information Agents XI : Proceedings of the 11th International Workshop (2007) (0)
Commentary on: solving symbolic equations with PRESS (1988) (0)
Agent Programming Platforms and Languages (2009) (0)

This paper list is powered by the following services:

Other Resources About Leon Sterling

en.wikipedia.org

What Schools Are Affiliated With Leon Sterling?

Leon Sterling is affiliated with the following schools:

Leon Sterling's Academic­Influence.com Rankings