Back to Results
First PageMeta Content
Reasoning / Mathematical logic / Theoretical computer science / Logic programming / Algorithm / KeY / Abductive reasoning / Science / Knowledge / Logic


Induction, Deduction, and Abduction for Program Design and Maintenance Ahmed Guessoum Jan Komorowski Knowledge Systems Group Department of Computer Systems and Telematics
Add to Reading List

Document Date: 2002-05-08 04:37:31


Open Document

File Size: 158,97 KB

Share Result on Facebook

City

Trondheim / /

Company

John Wiley and Sons / Elsevier Science Publishers B.V. / ESPRIT / Constructing Logic Programs / /

Country

Norway / Netherlands / /

/

Facility

Telematics The Norwegian Institute of Technology / The Norwegian Institute of Technology / Using REFINERY / /

/

IndustryTerm

search tree / /

Movie

Divide and Conquer / /

Organization

Program Design and Maintenance Ahmed Guessoum Jan Komorowski Knowledge Systems Group Department of Computer Systems / US Federal Reserve / Norwegian Institute of Technology / /

Person

Tore Amble / Constructing Logic / Ahmed Guessoum Jan Komorowski / Trace / Ellis Horwood / Ai / M. Jacquet / Gunther Sablon / /

/

Position

editor / designer / evaluator / RT / head of clause / corresponding RT / General / /

ProgrammingLanguage

Prolog / RC / C / /

Region

North Holland / /

SocialTag