Suchergebnisse - Robertson, Dave

Domain specific problem description

von Robertson, Dave

Distributed specification

von Robertson, Dave

Representing interaction of agents at different time granularities

von Mota, Edjard, Robertson, Dave

Reasoning with limited unification in a connectionist rule based system

von Park, Nam Seog, Robertson, Dave, Stenning, Keith

A case based reasoning system to support the relaxation of building regulations

von Yang, Soon-Ae, Robertson, Dave

Building large-scale Prolog programs using a techniques editing system

von Vargas-Vera, María, Vasconcelos, Wamberto, Robertson, Dave

An environment for combining Prolog programs

von Vargas-Vera, María, Robertson, Dave, Inder, Robert

On the relationship between incidence calculus and ATMS

von Liu, Weiru, Bundy, Alan, Robertson, Dave

An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system

von Park, Nam Seog, Robertson, Dave, Stenning, Keith

Case-based selection of requirements specifications for telecommunication systems

von Funk, Peter J., Robertson, Dave

Recovering incidence functions

von Liu, Weiru, Bundy, Alan, Robertson, Dave

KICS

von Yang, Soon-Ae, Robertson, Dave, Lee, John

A simple Prolog techniques editor for novice users

von Robertson, Dave

Layered design of KBS from specification to hardware

von Robertson, Dave, Park, Nam Seog, Agustí i Cullell, Jaume

The use of case-based reasoning in the domain of building regulations

von Yang, Soon-Ae, Robertson, Dave, Lee, John

An environment for building Prolog programs based on knowlege about their construction

von Vargas-Vera, María, Robertson, Dave

Combining Prolog programs in a techniques editing system

von Vargas-Vera, María, Robertson, Dave, Inder, Robert

An extension of the temporal synchrony solution to dynamic variable bindings in a connectionist system

von Park, Nam Seog, Robertson, Dave, Stenning, Keith

A mathematical framework for the problem of combination of Prolog programs

von Vargas-Vera, María, Robertson, Dave, Inder, Robert

Automating business modelling: a guide to using logic to represent informal methods and support reasoning

von Chen-Burger, Yun-Heh, Robertson, Dave

Inhaltsverzeichnis