Search results

Jump to: navigation, search

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

  • CSR 2009
    * automated reasoning
    5 KB (614 words) - 17:22, 11 September 2008
  • DBKDA 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 graphs
    11 KB (1,371 words) - 12:28, 18 May 2020
  • DB 2009
    ** Deductive reasoning ** Reasoning databases
    11 KB (1,446 words) - 18:26, 13 October 2008
  • HermiT
    |Field=Automated reasoning
    889 bytes (124 words) - 11:52, 26 September 2008
  • ICAIL 2009
    * the study of legal reasoning and argumentation using computational methods * Formal and computational models of legal reasoning, argumentation, decision making, and negotiation
    7 KB (998 words) - 17:48, 14 October 2008
  • IICAI 2009
    Automated Problem Solving Case Based Reasoning
    3 KB (359 words) - 20:06, 14 October 2008
  • ECSQARU 2009
    ...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 researchers
    3 KB (321 words) - 20:06, 14 October 2008
  • FLOW 2008
    around the question of how to introduce a form of automated reasoning important subgoal of establishing this kind of automated reasoning is
    5 KB (696 words) - 18:29, 8 November 2008
  • LPAR 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 to
    5 KB (799 words) - 21:49, 26 February 2020
  • KRAQ 2008
    | Title = Knowledge and Reasoning for Answering Questions KRAQ08: Knowledge and Reasoning for Answering Questions
    7 KB (991 words) - 23:04, 14 October 2008
  • AIMSA 2008
    - Automated reasoning - Knowledge representation and reasoning
    6 KB (827 words) - 23:04, 14 October 2008
  • AIPR 2008
    * Automated problem solving * Case-based reasoning
    3 KB (346 words) - 23:05, 14 October 2008
  • CCAI 2008
    Automated Reasoning Case-based reasoning
    3 KB (333 words) - 23:05, 14 October 2008
  • STEP 2008
    - automated reasoning in the service of semantic analysis of text
    7 KB (856 words) - 23:06, 14 October 2008
  • SPLT 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
  • DocEng 2008
    ...ailable structured collections of information on which to anchor automated reasoning, such as promoted through the Semantic Web. Furthermore, document technolog
    3 KB (379 words) - 23:09, 14 October 2008
  • ALPSWS 2008
    some form of automated reasoning. For example, the Semantic Web composition of services. Reasoning technologies for services and data
    6 KB (865 words) - 23:13, 14 October 2008
  • SEKE 2008
    * Automated Reasoning * Automated Software Design and Synthesis
    6 KB (733 words) - 12:48, 27 October 2016
  • LICS 2008
    ...ic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, specifications, type systems and type theory, an
    2 KB (285 words) - 15:11, 7 November 2016
  • ATAI 2011
    Automated problem solving Reasoning strategies
    3 KB (397 words) - 10:23, 24 June 2011
  • 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
Retrieved from "https://www.openresearch.org/wiki/Special:Search"