Search results

• DOOD
  |Title =Deductive and Object-Oriented Databases
  170 bytes (18 words) - 21:11, 1 April 2022
• ACM SAC DTTA Track 2017
  |Field=analytics to big data, database indexing and tuning, active, deductive, and logic d, data warehousing, data cubes
  610 bytes (82 words) - 19:12, 1 April 2022
• CAV 2021
  * Deductive verification using proof assistants
  2 KB (188 words) - 20:16, 1 April 2022
• SEBD 2008
  § Deductive Databases and Knowledge Bases
  3 KB (308 words) - 21:00, 1 April 2022
• CAV 2020
  * Deductive verification using proof assistants
  3 KB (356 words) - 20:16, 1 April 2022
• IJDMS 2017 : International Journal of Database Management Systems
  StreamsMultimedia, Object, Object Relational, and Deductive DatabasesData
  3 KB (405 words) - 19:33, 1 April 2022
• DEXA 2008
  * Object, Object Relational, and Deductive Databases
  4 KB (462 words) - 20:08, 1 April 2022
• MLAP 2008
  * Theory of mixing inductive and deductive approaches to planning
  4 KB (584 words) - 20:54, 1 April 2022
• DEXA 2019
  * Object, Object-Relational, and Deductive Databases
  4 KB (516 words) - 19:49, 1 April 2022
• ICDT 2017
  * deductive databases
  4 KB (562 words) - 19:39, 1 April 2022
• DEXA 2018
  * Object, Object-Relational, and Deductive Databases
  4 KB (553 words) - 19:42, 1 April 2022
• GenSW2017
  ...ance level, by exploiting inductive reasoning, while still benefiting from deductive reasoning, when possible.
  5 KB (711 words) - 19:32, 1 April 2022
• DBKDA 2021
  ...resources on the Internet; Object-oriented databases; Web-based databases; Deductive and active databases ...ction; Context-aware knowledge base; Blogs and social relationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs
  11 KB (1,363 words) - 20:08, 1 April 2022
• FroCoS 2009
  * integration of equational and other theories into deductive systems;
  5 KB (672 words) - 20:42, 1 April 2022
• CSR 2009
  * deductive methods
  5 KB (620 words) - 20:18, 1 April 2022
• DBKDA 2020
  ...resources on the Internet; Object-oriented databases; Web-based databases; Deductive and active databases ...ction; Context-aware knowledge base; Blogs and social relationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs
  11 KB (1,377 words) - 19:56, 1 April 2022
• BIH 2016
  * Reasoning mechanisms (e.g., principles of deductive/inductive reasoning, common-sense reasoning, decision making, and problem s
  6 KB (697 words) - 19:09, 1 April 2022
• MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences
  techniques; satisfiability modulo theories; combinations of logics and deductive
  5 KB (677 words) - 19:33, 1 April 2022
• ICDT 2009
  ...s and the Semantic Web; Databases in e- commerce; Databases in e-services; Deductive databases and knowledge bases; Distributed databases; Integrity and securit
  6 KB (758 words) - 19:06, 1 April 2022
• DB 2009
  ** Deductive and active databases ** Deductive reasoning
  11 KB (1,451 words) - 18:59, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)