Back to Results
First PageMeta Content
Non-classical logic / Propositional calculus / Boolean algebra / Philosophical logic / Modal logic / Prime number / Description logic / Function / Propositional formula / Logic / Mathematical logic / Mathematics


Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed]
Add to Reading List

Document Date: 2007-05-22 01:39:22

Open Document

File Size: 158,09 KB

Share Result on Facebook

Company

L. 2 We / Uncertainty Management Systems / /

Currency

pence / /

/

IndustryTerm

simplest solution / sound and complete algorithms / presents algorithms / constructive exponential-space algorithms / non-standard inference services / possible solutions / possible applications / generation algorithms / /

Movie

D. 3 / D. 2 / /

Person

Paul Sabatier Toulouse / /

Position

knowledge engineer / /

Technology

1 presents algorithms / constructive exponential-space algorithms / artificial intelligence / same algorithm / Consequence Finding Algorithms / generation algorithms / /

SocialTag