Search results
Create the page "Automated Reasoning" on this wiki! See also the search results found.
- * automated reasoning5 KB (614 words) - 17:22, 11 September 2008
- ...ries; Database task schedulers; Similarity search; Fuzzy object databases; Automated prediction of relationships; Linked data streams and Internet of things; Pr ...ationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs11 KB (1,371 words) - 12:28, 18 May 2020
- ** Deductive reasoning ** Reasoning databases11 KB (1,446 words) - 18:26, 13 October 2008
- |Field=Automated reasoning889 bytes (124 words) - 11:52, 26 September 2008
- * the study of legal reasoning and argumentation using computational methods * Formal and computational models of legal reasoning, argumentation, decision making, and negotiation7 KB (998 words) - 17:48, 14 October 2008
- Automated Problem Solving Case Based Reasoning3 KB (359 words) - 20:06, 14 October 2008
- ...itle = 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ...U conferences are a major forum for advances in the theory and practice of reasoning under uncertainty. Contributors are expected to come both from researchers3 KB (321 words) - 20:06, 14 October 2008
- around the question of how to introduce a form of automated reasoning important subgoal of establishing this kind of automated reasoning is5 KB (696 words) - 18:29, 8 November 2008
- ...rnational Conference on Logic for Programming, Artificial Intelligence and Reasoning ...fter year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to5 KB (799 words) - 21:49, 26 February 2020
- | Title = Knowledge and Reasoning for Answering Questions KRAQ08: Knowledge and Reasoning for Answering Questions7 KB (991 words) - 23:04, 14 October 2008
- - Automated reasoning - Knowledge representation and reasoning6 KB (827 words) - 23:04, 14 October 2008
- * Automated problem solving * Case-based reasoning3 KB (346 words) - 23:05, 14 October 2008
- Automated Reasoning Case-based reasoning3 KB (333 words) - 23:05, 14 October 2008
- - automated reasoning in the service of semantic analysis of text7 KB (856 words) - 23:06, 14 October 2008
- ...Artificial Intelligence and Law addressing aspects such as automated legal reasoning and argumentation, semantic and cross-language legal information retrieval, ...ation; legal ontologies are used for legal knowledge representation, legal reasoning and drafting, concepts comparison and consistency checking.7 KB (1,016 words) - 23:08, 14 October 2008
- ...ailable structured collections of information on which to anchor automated reasoning, such as promoted through the Semantic Web. Furthermore, document technolog3 KB (379 words) - 23:09, 14 October 2008
- some form of automated reasoning. For example, the Semantic Web composition of services. Reasoning technologies for services and data6 KB (865 words) - 23:13, 14 October 2008
- * Automated Reasoning * Automated Software Design and Synthesis6 KB (733 words) - 12:48, 27 October 2016
- ...ic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, specifications, type systems and type theory, an2 KB (285 words) - 15:11, 7 November 2016
- Automated problem solving Reasoning strategies3 KB (397 words) - 10:23, 24 June 2011
- * 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
- * Semantic reasoning about business data * Auctions and Automated Negotiation10 KB (1,232 words) - 18:10, 5 March 2012
- ...s of scientific events''' permanently accessible in a high quality through automated processes and scientific data curating. OpenResearch as a sustainable servi ...an>: <span style="font-size:80%">[[:Category:Automated reasoning|Automated reasoning]], [[:Category:Machine learning|Machine learning]], [[:Category:Natural lan7 KB (815 words) - 18:03, 14 April 2021
- *Ethics and trust in automated reasoning *Similarity and analogy-based reasoning5 KB (579 words) - 13:18, 17 February 2020
- | Automated reasoning techniques || Emerging domains of software || Program analysis || Software6 KB (738 words) - 11:21, 6 July 2020
- |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning1 KB (152 words) - 14:57, 23 July 2019
- Automated Software Engineering Genetic Algorithms and Modeling, Fuzzy Logic and Approximate Reasoning2 KB (211 words) - 08:30, 26 October 2012
- ...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 (319 words) - 18:30, 4 March 2013
- ...rections in the areas related to Linked Data, knowledge representation and reasoning, and semantic technologies. Its aim is to bring together researchers, pract Knowledge representation and reasoning6 KB (898 words) - 14:42, 24 September 2016
- ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning678 bytes (75 words) - 10:16, 27 August 2020
- -Formal reasoning and automated analysis on variability6 KB (763 words) - 10:26, 9 September 2016
- |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
- * automated deduction * reasoning about security and privacy4 KB (525 words) - 11:27, 27 August 2020
- * automated deduction * reasoning about security and privacy4 KB (537 words) - 14:06, 27 August 2020
- |Title=32nd IEEE/ACM International Conference on Automated Software Engineering The '''32nd IEEE/ACM International Conference on Automated Software Engineering''' will be held at the University of Illinois at Urban5 KB (557 words) - 07:07, 13 July 2020
- ...ware; Green-oriented software engineering; Symbolic analysis; Software for automated energy optimization; Mobile applications-oriented software; Interactive Big ...elopment; Temporal specification; Model checking; Theorem provers; Modular reasoning; Petri Nets; Formalisms for behavior specification; Advanced techniques for13 KB (1,573 words) - 12:00, 10 July 2020
- ...and geographic features; Audio enhanced map animation; Map legibility and automated cartography; Spatial decisions and urban planners; Maps and demographic unc Assessing Quality of Volunteered Geographic Information; Frameworks and automated methods to assess spatial data quality; Assessing spatial data fitness for11 KB (1,423 words) - 14:47, 27 August 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,874 words) - 12:15, 24 November 2020
- ...ries; Database task schedulers; Similarity search; Fuzzy object databases; Automated prediction of relationships; Linked data streams and Internet of things; Pr ...ationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs11 KB (1,360 words) - 18:45, 26 November 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,035 words) - 14:45, 18 February 2021
- ...rounded fixpoints; Supersafe rules; Qualitative spatio-temporal reasoning; Reasoning about truthfulness; Cause-effect relations; Higher-order logics; Models exp Reasoning logics; Fuzzy logics; Semantic logics; Temporal logics; Emotion logics; Amb7 KB (764 words) - 18:56, 8 December 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,874 words) - 14:47, 10 February 2021
- ...ries; Database task schedulers; Similarity search; Fuzzy object databases; Automated prediction of relationships; Linked data streams and Internet of things; Pr ...ationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs11 KB (1,361 words) - 14:52, 10 February 2021
- ...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,956 words) - 11:50, 3 March 2021
- ...ries; Database task schedulers; Similarity search; Fuzzy object databases; Automated prediction of relationships; Linked data streams and Internet of things; Pr ...ationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs12 KB (1,409 words) - 12:01, 3 March 2021
- Automated reasoning and logic programming2 KB (262 words) - 11:10, 24 November 2023