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
-
161by AZEVEDO, Ryan Ribeiro de“... and codifying knowledge in Description Logic and, mainly, with ability to learn and perform automated reasoning...”
Published 2018
Get full text
-
162by Toninelli, Alessandra <1979>“..., and allow to perform automated reasoning to infer additional and/or more complex knowledge from available...”
Published 2008
Get full text
Doctoral Thesis -
163by Boudellioua, Imene“...-phenotype relations by exploiting semantic technologies and automated reasoning inferred throughout a cross...”
Published 2019
Get full text
Get full text
-
164by Wu, Jiewen“... for automated reasoning over the constraints accompanying objects. Formally, a knowledge base K=(T, A) captures...”
Published 2013
Get full text
-
165by Wu, Jiewen“... for automated reasoning over the constraints accompanying objects. Formally, a knowledge base K=(T, A) captures...”
Published 2013
Get full text
-
166by Homem, Irvin“... diverse evidence sources in an automated manner, supporting correlation and automated reasoning...”
Published 2016
Get full text
Others -
167by Kuncak, Viktor (Viktor Jaroslav), 1977-“... formulas. I present a new method for proving HOL formulas by combining automated reasoning techniques. My...”
Published 2007
Get full text
Others -
168by Αγγελόπουλος, Παναγιώτης“... (automated reasoning). Για την περιγραφή και την αναπαράσταση των οντολογιών του Σημαντικού Ιστού σε...”
Published 2010
Get full text
-
169by C. Wang, T. Yuan, S. A. Wood, K.-U. Goss, K.-U. Goss, J. Li, J. Li, Q. Ying, F. Wania“... atmospherically relevant molecules using COSMOtherm, SPARC Performs Automated Reasoning in Chemistry (SPARC...”
Published 2017-06-01
Get full text
Article -
170by Pecora, Federico“... for scheduling applications. The framework aims to minimize the effort involved in deploying automated reasoning...”
Published 2007
Get full text
Doctoral Thesis -
171“..., Automated Reasoning of Marketing Strategies by Yiqing, et al. and Characterization of users by Orozco, et al...”
Get full text
-
172by Dick, Stephanie Aleen“... mathematical theorems: The Logic Theory Machine, the Program P, and the Automated Reasoning Assistant, all...”
Published 2015
Get full text
Others -
173
-
174by Cherrueau, Ronan-Alexandre“... translates the language intoProVerif, a model checker for automated reasoning about the security properties...”
Published 2016
Get full text
-
175by Casalino, Matteo Maria“... input policies amenable to automated reasoning, which are rarely available in practice. In contrast...”
Published 2014
Get full text
-
176by Vieira, Priscilla Kelly Machado“... and consequent possibility of sharing information, providing semantics and automated reasoning. For the proposed...”
Published 2015
Get full text
Others -
177by Μπαγουλή, Αικατερίνη“... Representation and Automated Reasoning language and is an adapting system, allowing students to choose themselves...”
Published 2009
Get full text
-
178by Πολιτοπούλου, Βασιλική“..., a form suitable for automated reasoning. A deficiency of that system is however that it offers a...”
Published 2009
Get full text
-
179by Linck, Ricardo Ramos“... relationships in order to assign the possibilities of automated reasoning. In particular, mereological...”
Published 2014
Get full text
Others -
180