Search results

Jump to: navigation, search

Create the page "Automated Reasoning" on this wiki! See also the search results found.

  • LICS 2020
    * automated deduction * reasoning about security and privacy
    5 KB (656 words) - 11:29, 27 August 2020
  • WORM 2008
    | 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 o
    7 KB (891 words) - 23:35, 14 October 2008
  • QAPL 2009
    analysis, Language extension, Multi-tasking systems, Automated reasoning,
    6 KB (823 words) - 14:28, 14 December 2008
  • CompGeo 2009
    - spatiotemporal data modelling and reasoning - automated mapping and map generalisation
    5 KB (648 words) - 13:00, 18 January 2009
  • FroCoS 2009
    representation, and automated reasoning, there is an obvious need for
    5 KB (669 words) - 13:03, 18 January 2009
  • FUZZ-IEEE 2020
    * » handling systems » automated factories * » knowledge representation and approximate reasoning
    2 KB (223 words) - 17:26, 6 May 2021
  • WISM-AICI 2009
    Logic Reasoning and Theorem-Proving Automated problem solving
    5 KB (604 words) - 17:06, 27 February 2009
  • TKDE 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
  • RelMiCS-AKA 2009
    - mechanised and automated reasoning, decision procedures - spatio-temporal reasoning, knowledge acquisition, preference and scaling methods
    7 KB (912 words) - 17:08, 27 February 2009
  • ICIMP 2010
    ...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 semant
    14 KB (1,651 words) - 15:56, 15 February 2017
  • KES AMSTA 2010
    Joanna Jozefowska (Knowledge representation for automated reasoning),
    6 KB (733 words) - 18:19, 24 September 2020
  • ICFC
    ...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 inference
    2 KB (286 words) - 19:11, 16 February 2010
  • IJCAR 2020
    |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
  • LPAR
    |Title=Logic Programming and Automated Reasoning
    146 bytes (19 words) - 21:49, 26 February 2020
  • ICAPS 2018
    |Title=28th International Conference on Automated Planning and Scheduling '''28th International Conference on Automated Planning and Scheduling (ICAPS) 2018''', will take place in Delft, Netherla
    2 KB (244 words) - 12:39, 27 February 2020
  • ICAPS 2019
    |Title=29th International Conference on Automated Planning and Scheduling '''The International Conference on Automated Planning and Scheduling (ICAPS)''' is the premier conference on enabling sm
    3 KB (397 words) - 13:21, 27 February 2020
  • ICAPS 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, June
    5 KB (694 words) - 14:02, 27 February 2020
  • WWV 2011
    |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
    5 KB (650 words) - 14:16, 22 February 2011
  • FCTA 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 Inference
    2 KB (296 words) - 14:47, 27 December 2015
  • ICCIIS 2012
    Automated Planning Qualitative Reasoning
    11 KB (1,490 words) - 11:59, 27 January 2012
  • EC-Web 2012
    * Semantic reasoning about business data * Auctions and Automated Negotiation
    10 KB (1,232 words) - 18:10, 5 March 2012
  • Main Page
    ...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 lan
    7 KB (815 words) - 18:03, 14 April 2021
  • EKAW 2020
    *Ethics and trust in automated reasoning *Similarity and analogy-based reasoning
    5 KB (579 words) - 13:18, 17 February 2020
  • ESEC/FSE 2020
    | Automated reasoning techniques || Emerging domains of software || Program analysis || Software
    6 KB (738 words) - 11:21, 6 July 2020
  • IJCAR 2018
    |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning
    1 KB (152 words) - 14:57, 23 July 2019
  • International Journal of Networks and Systems ( IJNS )
    Automated Software Engineering Genetic Algorithms and Modeling, Fuzzy Logic and Approximate Reasoning
    2 KB (211 words) - 08:30, 26 October 2012
  • FCTA 2013
    ...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 inference
    2 KB (319 words) - 18:30, 4 March 2013
  • KESW 2016
    ...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 reasoning
    6 KB (898 words) - 14:42, 24 September 2016
  • WAIMS 2016
    ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
    678 bytes (75 words) - 10:16, 27 August 2020
  • VaMoS 2009
    -Formal reasoning and automated analysis on variability
    6 KB (763 words) - 10:26, 9 September 2016
  • IJCAR 2004
    |Field=Automated Reasoning
    256 bytes (31 words) - 13:05, 25 October 2016
  • IJCAR 2008
    |Field=Automated Reasoning
    233 bytes (26 words) - 13:05, 25 October 2016
  • IJCAR 2014
    |Field=Automated Reasoning
    235 bytes (27 words) - 13:05, 25 October 2016
  • IJCAR 2016
    |Field=Automated Reasoning
    235 bytes (26 words) - 13:05, 25 October 2016
  • IJCAR 2010
    |Field=Automated Reasoning
    251 bytes (28 words) - 13:05, 25 October 2016
  • IJCAR 2006
    |Field=Automated Reasoning
    258 bytes (31 words) - 13:05, 25 October 2016
  • IJCAR 2012
    |Field=Automated Reasoning
    275 bytes (34 words) - 13:05, 25 October 2016
  • IJCAR 2001
    |Field=Automated Reasoning
    258 bytes (31 words) - 13:05, 25 October 2016
  • IJCAR
    |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning
    167 bytes (22 words) - 13:17, 25 October 2016
  • CADE
    |Title=International Conference on Automated Deduction |Field=Automated reasoning
    179 bytes (24 words) - 20:02, 28 October 2016
  • LICS 2016
    * automated deduction * reasoning about security and privacy
    4 KB (528 words) - 11:25, 26 June 2020
  • LICS 2017
    * automated deduction * reasoning about security and privacy
    4 KB (490 words) - 11:42, 26 June 2020
  • KESW 2017
    ====Knowledge Representation and Reasoning==== * Theory of automated reasoning
    7 KB (988 words) - 09:50, 14 August 2019
  • Drift-a-LOD 2017
    ...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 sou
    4 KB (531 words) - 12:59, 8 July 2017
  • IS 2017
    Knowledge Representation, Reasoning, and Logic Automated Reasoning
    3 KB (415 words) - 11:34, 8 August 2017
  • ICMLSC 2018
    Automated reasoning and logic programming
    2 KB (216 words) - 12:32, 3 September 2017
  • DMS 2017
    * user profiling, reasoning and recommendations * Automated Generation and Layout of Visualisations
    4 KB (436 words) - 11:49, 21 April 2020
  • PSI 2019
    * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
    1 KB (131 words) - 18:20, 1 April 2020
  • ICAS 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-b
    16 KB (1,897 words) - 12:31, 18 May 2020
  • ICIMP 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 semant
    17 KB (2,088 words) - 12:49, 14 June 2020
  • LICS 2019
    * automated deduction * reasoning about security and privacy
    4 KB (525 words) - 11:27, 27 August 2020
  • LICS 2018
    * automated deduction * reasoning about security and privacy
    4 KB (537 words) - 14:06, 27 August 2020
  • ASE 2017
    |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 Urban
    5 KB (557 words) - 07:07, 13 July 2020
  • ICSEA 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 for
    13 KB (1,573 words) - 12:00, 10 July 2020
  • GEOProcessing 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 for
    11 KB (1,423 words) - 14:47, 27 August 2020
  • ICAS 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-b
    16 KB (1,874 words) - 12:15, 24 November 2020
  • DBKDA 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 graphs
    11 KB (1,360 words) - 18:45, 26 November 2020
  • ICIMP 2021
    ...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 semant
    17 KB (2,035 words) - 14:45, 18 February 2021
  • COMPUTATION TOOLS 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; Amb
    7 KB (764 words) - 18:56, 8 December 2020
  • "ICAS 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-b
    16 KB (1,874 words) - 14:47, 10 February 2021
  • " DBKDA 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 graphs
    11 KB (1,361 words) - 14:52, 10 February 2021
  • ICAS
    ...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-b
    16 KB (1,956 words) - 11:50, 3 March 2021
  • DBKDA
    ...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 graphs
    12 KB (1,409 words) - 12:01, 3 March 2021
  • ICMLSC 2024
    Automated reasoning and logic programming
    2 KB (262 words) - 11:10, 24 November 2023

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"