Search results
Create the page "Automated Reasoning" on this wiki! See also the search results found.
- * automated deduction * reasoning about security and privacy5 KB (656 words) - 11:29, 27 August 2020
- | Title = International Workshop on Ontologies: Reasoning and Modularity ...for query answering. In such tasks, availability of powerful services for reasoning about ontologies and techniques for supporting ontology modularization is o7 KB (891 words) - 23:35, 14 October 2008
- analysis, Language extension, Multi-tasking systems, Automated reasoning,6 KB (823 words) - 14:28, 14 December 2008
- - spatiotemporal data modelling and reasoning - automated mapping and map generalisation5 KB (648 words) - 13:00, 18 January 2009
- representation, and automated reasoning, there is an obvious need for5 KB (669 words) - 13:03, 18 January 2009
- * » handling systems » automated factories * » knowledge representation and approximate reasoning2 KB (223 words) - 17:26, 6 May 2021
- Logic Reasoning and Theorem-Proving Automated problem solving5 KB (604 words) - 17:06, 27 February 2009
- | Title = IEEE TKDE Special Issue on 'Rule Representation, Interchange and Reasoning in Distributed, Heterogeneous Environments' Rule Representation, Interchange and Reasoning in Distributed,7 KB (883 words) - 17:06, 27 February 2009
- - mechanised and automated reasoning, decision procedures - spatio-temporal reasoning, knowledge acquisition, preference and scaling methods7 KB (912 words) - 17:08, 27 February 2009
- ...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 semant14 KB (1,651 words) - 15:56, 15 February 2017
- Joanna Jozefowska (Knowledge representation for automated reasoning),6 KB (733 words) - 18:19, 24 September 2020
- ...has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding and systems control. This conference intend › Approximate reasoning and fuzzy inference2 KB (286 words) - 19:11, 16 February 2010
- |Title=International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:938 bytes (116 words) - 10:03, 20 November 2020
- |Title=Logic Programming and Automated Reasoning146 bytes (19 words) - 21:49, 26 February 2020
- |Title=28th International Conference on Automated Planning and Scheduling '''28th International Conference on Automated Planning and Scheduling (ICAPS) 2018''', will take place in Delft, Netherla2 KB (244 words) - 12:39, 27 February 2020
- |Title=29th International Conference on Automated Planning and Scheduling '''The International Conference on Automated Planning and Scheduling (ICAPS)''' is the premier conference on enabling sm3 KB (397 words) - 13:21, 27 February 2020
- |Title=30th International Conference on Automated Planning and Scheduling The '''30th International Conference on Automated Planning and Scheduling (ICAPS)''', will take place in Nancy, France, June5 KB (694 words) - 14:02, 27 February 2020
- |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems5 KB (650 words) - 14:16, 22 February 2011
- ...has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding, decision and systems control. This confere * Approximate Reasoning and Fuzzy Inference2 KB (296 words) - 14:47, 27 December 2015
- Automated Planning Qualitative Reasoning11 KB (1,490 words) - 11:59, 27 January 2012