Filters
Foreword to the Special Issue on Automated Reasoning
This Special Issue on Automated Reasoning follows two successful events in Automated Reasoning: The First Conference on Artificial Intelligence and Theorem Proving1 (AITP 2016) and The Fifth Workshop on Practical A...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Progress Towards Effective Automated Reasoning with World Knowledge
The paper describes how SPASS-XDB's reasoning is focussed and controlled, its sources of world knowledge, and their use in solving a range of test problems....
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
AI at CADE/IJCAR
This text briefly discusses and criticizes the prevailing attitudes towards AI and Machine Learning research in the current Automated Reasoning (CADE/IJCAR) community....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Overview of industrial automation in Industry 4.0
The paper deals with industrial automation, especially industrial robots. The first part describes the automated production and assembly process, automated systems, their types, advantages and disadvantages. The second part...
Mechanical engineering
- 2022 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Raspberry Pi in home automation
Reasonable price, small power consumption and expandable connector for low-level peripherals make Raspberry Pi an ideal platform for home automation....
IN - Informatika
- 2013 •
- A •
- Link
Rok uplatnění
A - Audiovizuální tvorba
Výsledek na webu
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange
This paper gives an overview of the existing link between the Mizar projekt for formalization of mathematics and Automated Reasonig tols (mainly the Automater Theorem Provers (ATPs)). It explains the motovation for this work, gives an overvi...
JD - Využití počítačů, robotika a její aplikace
- 2008 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Efficient Semantic Features for Automated Reasoning over Large Theories
knowledge selection methods and automated reasoning methods over the large formal of complicated theories down to the atomic logical rules. An essential part of automated reasoning over such large theories are met...
JD - Využití počítačů, robotika a její aplikace
- 2015 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Learning Guided Automated Reasoning: A Brief Survey
Automated theorem provers and formal proof assistants are general reasoning an overview of several automated reasoning and theorem proving domains and the learning arbitrary problems reducible to mathematics and lo...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2024 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Automation of Human Reasoning in Economical Analysis
An application of so-called perception-based logical deduction in the modeling of an economic analysis given in natural language is presented. Fuzzy IF-THEN rules and theory of evaluating linguistic expressions is used, and possibilities of autom...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards a Unified Ordering for Superposition-based Automated Reasoning
We propose an extension of the automated theorem prover E by the weighted path ordering. Weighted path ordering is theoretically stronger than all the orderings used in E-prover, however its parametrization is more involved than those normal...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 out of 37 790