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
-
101“.... In particular, one cannot use such an automated reasoning system to prove theorems involving power maps. Here we...”
Get full text
Article -
102“...Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic...”
Get full text
Article -
103“...Automated reasoning is becoming crucial for information systems. Building one uniform decision...”
Get full text
Article -
104
-
105
-
106by Francesco Fabiano“..., given the increasing number of multi-agents systems that could benefit from techniques of automated...”
Published 2019-09-01
Get full text
Article -
107“..., which are a combinatoric representations of string diagrams, amenable to automated reasoning about...”
Get full text
Article -
108“... of belief in an automated reasoning environment, the case of religious beliefs, and future directions...”
Get full text
Article -
109“... to be an effective tool for tasks requiring automated reasoning under uncertainty and have been...”
Get full text
Others -
110by Videla, Santiago“.... Thirdly, we present a software providing a complete pipeline for automated reasoning on the response...”
Published 2014
Get full text
-
111by Imane Boudellioua, Rozaimi B Mahamad Razali, Maxat Kulmanov, Yasmeen Hashish, Vladimir B Bajic, Eva Goncalves-Serra, Nadia Schoenmakers, Georgios V Gkoutos, Paul N Schofield, Robert Hoehndorf“... Variant Predictor (PVP) system that exploits semantic technologies and automated reasoning over genotype...”
Published 2017-04-01
Get full text
Article -
112by Suntisrivaraporn, Boontawee“... way and automated reasoning which allows to infer implicit knowledge from the one given explicitly...”
Published 2009
Get full text
Get full text
Get full text
Doctoral Thesis -
113by Chen, Shuwei“... associated with belief degrees, and an automated reasoning based hierarchical framework for video based human...”
Published 2014
Get full text
-
114by Rockwell, Justin A“...A semantic framework to improve automated reasoning, retrieval, reuse and communication...”
Published 2009
Get full text
Get full text
Others -
115by C. Maria Keet“... development, notably language features and automated reasoners, but ignore ontology development factors...”
Published 2020-06-01
Get full text
Article -
116by Köhler Sebastian, Bauer Sebastian, Mungall Chris J, Carletti Gabriele, Smith Cynthia L, Schofield Paul, Gkoutos Georgios V, Robinson Peter N“... as for facilitating interoperability and data integration.</p> <p>Results</p> <p>We show how automated reasoning over...”
Published 2011-10-01
Get full text
Article -
117by Gregory L. Alexander, Marilyn Rantz, Marjorie Skubic, Richelle J. Koopman, Lorraine J. Phillips, Rainer D. Guevara, Steven J. Miller“... in residents' apartments. The engineers designed an automated reasoning system to generate clinically relevant...”
Published 2011-01-01
Get full text
Article -
118by Karabotsos, George“... version, namely Isabelle2005, and by using its latest Intelligible Semi-Automated Reasoning (Isar) theory...”
Published 2005
Get full text
Get full text
Others -
119“.... With the enhancement of automated reasoning and graphical visualization, ontology technology is capable of providing...”
Get full text
Others -
120by Horsch, Michael C.“..., an automated reasoning process will often be required to perform under some state of uncertainty. Probability...”
Published 2010
Get full text