Results 41 to 50 of about 271,070 (187)

The interaction of representation and reasoning [PDF]

, 2013
Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by ...
Ascoli G, Baader F, Bachmair L, Bundy A, Cox PT, Giunchiglia F, Gkaniatsou A, Gärdenfors P, Lehmann J   +8 more
core   +1 more source

Multikey Fully Homomorphic Encryption: Removing Noise Flooding in Distributed Decryption via the Smudging Lemma on Discrete Gaussian Distribution

IET Information Security
The current multikey fully homomorphic encryption (MKFHE) needs to add exponential noise in the distributed decryption phase to ensure the simulatability of partial decryption.
Xiaokang Dai, Wenyuan Wu, Yong Feng
doaj   +1 more source

Lattice-based, LWE-leakage model for Gaussian and uniform secret and its application in decentralization

Cybersecurity
In the case of standard LWE samples $$({\textbf {A}},{\textbf {b = sA + e}})$$ ( A , b = sA + e ) , $${\textbf {A}}$$ A is typically uniformly over $$\mathbb {Z}_q^{n \times m}$$ Z q n × m .
Xiaokang Dai, Jingwei Chen, Wenyuan Wu, Yong Feng   +3 more
doaj   +1 more source

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers [PDF]

, 2015
© 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races.
Deligiannis, P, Donaldson, AF, Rakamaric, Z   +2 more
core   +1 more source

Structure-Guided Automated Reasoning

CoRR, 2023
Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which states that all problems expressible in monadic second-order logic can be solved efficiently on structures of small treewidth.
Max Bannach, Markus Hecher
openaire   +4 more sources

Upside-down Deduction [PDF]

, 1990
Over the recent years, several proposals were made to enhance database systems with automated reasoning. In this article we analyze two such enhancements based on meta-interpretation.
Bry, François
core   +1 more source

Detection of misbehaving individuals in social networks using overlapping communities and machine learning

Journal of King Saud University: Computer and Information Sciences
Detecting misbehavior in social networks is essential for maintaining trust and reliability in online communities. Traditional methods of identification often rely on individual attributes or structural network properties, which may overlook subtle or ...
Wejdan Alshlahy, Delel Rhouma
doaj   +1 more source

Neurons and symbols: a manifesto [PDF]

, 2010
We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core  

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

, 2010
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics.
C. Weidenbach, G. Bancerek, G. Bancerek, G. Gonthier, G. Klein, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, J. Kotowicz, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, K. Raczkowski, L. Paulson, M. Suda, P. Corbineau, S. Conchon, S. Schulz, T. Hales, V. D’Silva, W.W. McCune, Y. Puzis   +27 more
core   +1 more source