Back to Results
First PageMeta Content
Philosophical logic / Predicate logic / Propositional calculus / Metalogic / First-order logic / FO / Modal logic / Propositional variable / Closed world assumption / Logic / Mathematical logic / Model theory


Approximate Databases: A Support Tool for Approximate Reasoning Patrick Doherty* , Martin Magnusson* , Andrzej Szałas*,** * Department of Computer and Information Science, University of Linköping, SE[removed]Linköping,
Add to Reading List

Document Date: 2012-01-23 11:39:09


Open Document

File Size: 217,62 KB

Share Result on Facebook

Company

UAV / Autonomous Systems Laboratory / Wallenberg Information Technology / /

Country

Poland / Sweden / /

/

Facility

Linköping University / University of Linköping / The University of Economics / /

IndustryTerm

quantifier elimination algorithm / machinery / image processing module / relational database technology / online interface / deductive database technology / relational database technologies / recursive applications / robotic systems / integrated software architecture / /

Organization

Linköping University / Department of Computer and Information Science / University of Economics / University of Linköping / /

Person

Martin Magnusson / /

Position

complete model of that region / /

Product

D LS / /

ProgrammingLanguage

SQL / L / C / /

ProvinceOrState

Washington / /

Technology

artificial intelligence / JAVA / relational database / Information Technology / LS algorithm / machine learning / relational database technologies / second-order quantifier elimination algorithm / image processing / relational database technology / deductive database technology / /

URL

http /

SocialTag