Search results
Create the page "Automated Reasoning" on this wiki! See also the search results found.
- |Field=Automated Reasoning256 bytes (31 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning233 bytes (26 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning235 bytes (27 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning235 bytes (26 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning251 bytes (28 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning258 bytes (31 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning275 bytes (34 words) - 13:05, 25 October 2016
- |Field=Automated Reasoning258 bytes (31 words) - 13:05, 25 October 2016
- |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning167 bytes (22 words) - 13:17, 25 October 2016
- |Title=International Conference on Automated Deduction |Field=Automated reasoning179 bytes (24 words) - 20:02, 28 October 2016
- * automated deduction * reasoning about security and privacy4 KB (528 words) - 11:25, 26 June 2020
- * automated deduction * reasoning about security and privacy4 KB (490 words) - 11:42, 26 June 2020
- ====Knowledge Representation and Reasoning==== * Theory of automated reasoning7 KB (988 words) - 09:50, 14 August 2019
- ...real world and capture them in their datasets; users and applications need automated tools to adapt querying over diachronic datasets; knowledge engineers want ...ses using various domain-specific methods (statistical inference, symbolic reasoning, natural language processing, etc.), leveraging the LOD cloud as a data sou4 KB (531 words) - 12:59, 8 July 2017
- Knowledge Representation, Reasoning, and Logic Automated Reasoning3 KB (415 words) - 11:34, 8 August 2017
- Automated reasoning and logic programming2 KB (216 words) - 12:32, 3 September 2017
- * user profiling, reasoning and recommendations * Automated Generation and Layout of Visualisations4 KB (436 words) - 11:49, 21 April 2020
- * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back1 KB (131 words) - 18:20, 1 April 2020
- ...gation in self-organizing systems; Inconsistency in self-deciding systems; Reasoning problems tractability; Decidability in self-organizing systems ...del-based user interface design; Knowledge-based user interface migration; Automated user interface requirements discovery for scientific computing; Knowledge-b16 KB (1,897 words) - 12:31, 18 May 2020
- ...s and ID Cards; Security on hardware and smart cards; Identity management; Automated security analysis; Electronic Privacy; Anonymity and pseudo-anonymity; Secu ...ion, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal framework for online trust environments; Trust in semant17 KB (2,088 words) - 12:49, 14 June 2020