Back to Results
First PageMeta Content
Predicate logic / Logic programming / Constraint programming / Programming paradigms / Abductive logic programming / Prolog / Constraint logic programming / Resolution / Atomic formula / Logic / Mathematical logic / Software engineering


Fundamenta Informaticae[removed]{22 IOS Press 1 Executing Suspended Logic Programs
Add to Reading List

Document Date: 2010-10-05 12:21:24

Open Document

File Size: 275,55 KB

Share Result on Facebook

Company

Introduction Ordinary LP / IOS Press / /

Currency

pence / USD / CLP / /

/

Event

FDA Phase / /

Facility

Computer Science Brooklyn College / Computing Imperial College of Science / /

IndustryTerm

search non-determinism / search tree / user-controlled non-deterministic search / multi-agent systems / pre-processing / uni cation algorithm / /

Organization

Francesca Toni Department / Department of Computer Science Brooklyn College NY / College of Science / ftg@doc.ic.ac.uk Gerhard Wetzel Logic Based Systems Lab / /

Person

Francesca Toni / Fariba Sadri / Hendrik Decker / /

Position

variable-free head / author / queen / head / manager / second author / /

Product

SW7 / /

Technology

uni cation algorithm / /

SocialTag