Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
4
Computer programming / software engineering
4
Mathematical theory of computation
4
Software Engineering
4
Computer networking and communications
2
Algorithms and data structures
1
Automated reasoning
1
Bridges
1
Complex information systems
1
Constraint goal models
1
Cryptography
1
Decision making
1
Decision support systems
1
Definability
1
Design/methodology/approach
1
Economic and social effects
1
Goal models
1
Government data processing
1
Herbrand Logic
1
Inductive reasoning
1
Infinitary proof system
1
Information security
1
Information systems
1
Information use
1
K-12
1
Non-classical logics
1
Philosophy
1
Proof system
1
Risk assessment
1
Risk perception
1
-
1
-
2by Corrêa da Silva, Flávio S.“... measures, and present a system for automated reasoning with multiple representations of uncertainty. Our...”
Published 1993
Get full text
-
3
-
4by Yerikalapudi, Aparna VarshaSubjects: “...Automated Reasoning...”
Published 2008
Get full text
Others -
5
-
6
-
7by Liang, TianyiSubjects: “...Automated Reasoning...”
Published 2014
Get full text
Get full text
Others -
8
-
9by Gorín, Daniel Alejandro“... in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux...”
Published 2009
Get full text
-
10
-
11by Moshir Moghaddam, Kianosh“..., we investigate how automated reasoning can supportthe IIP method in order to parallelize a sequential...”
Published 2012
Get full text
Others -
12
-
13by Luis Tari, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James Cai“... from literature and knowledge bases, and identifies new drug indications through automated reasoning...”
Published 2012-01-01
Get full text
Article -
14
-
15
-
16
-
17by Bennett, Brandon“... the 1st-order theory of Randell, Cui and Cohn (1992). The difficulty of achieving effective automated...”
Published 1997
Get full text
-
18
-
19
-
20