Back to Results
First PageMeta Content
Modal logic / Deontic logic / Normal modal logic / Method of analytic tableaux / Sequent calculus / Model theory / Mathematical logic / Logic / Automated theorem proving


Open Document

File Size: 91,39 KB

Share Result on Facebook

/

/

IndustryTerm

indispensable tool / theorem proving systems / unification algorithm / search fails / proof search methods / logic-dependent unification algorithm / search space / proof search / normal systems / search procedure / /

Organization

DL (SDL) / /

Person

Alberto Artosi / Guido Governatori / Paola Cattabriga / Wallen / /

Position

head of s(i) / General / head / /

ProgrammingLanguage

Prolog / /

Technology

logic-dependent unification algorithm / artificial intelligence / unification algorithm / KED algorithm / /

SocialTag