Results 61 to 70 of about 3,597,563 (258)
Dynamic Conflict Resolution Using Justification Based Reasoning [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception.
Werner Damm +4 more
doaj +1 more source
Experimental realization of the one qubit Deutsch-Jozsa algorithm in a quantum dot
, 2004 We perform quantum interference experiments on a single self-assembled semiconductor quantum dot. The presence or absence of a single exciton in the dot provides a qubit that we control with femtosecond time resolution.
A. Berthiaume +30 more
core +1 more source
Logical disputes and the a priori [Disputas lógicas e o a priori]
Princípios, 2016 In this paper, I propose a general model for the rational resolution of disputes about logic, and discuss a number of its features. These include its dispensing with a traditional notion of the a priori in logic, and some objections to which this might ...
Graham Priest
doaj +2 more sources
Performance analysis of a message-oriented knowledge-base [PDF]
, 1987 First-order Horn logic is a useful formalism to design knowledge-based systems. When implemented on a sequential von Neumann computer, the main limitation of such systems is performance.
Bic, Lubomir +2 more
core
Promising Lithography Techniques for Next-Generation Logic Devices
, 2018 Continuous rapid shrinking of feature size made the authorities to seek alternative patterning methods as the conventional photolithography comes with its intrinsic resolution limit.
Rashed Md. Murad Hasan, Xichun Luo
semanticscholar +1 more source
A data-driven model for parallel interpretation of logic programms [sic] [PDF]
, 1984 The main objective of this paper is to present a model of computation which permits logic programs to be executed on a highly-parallel computer architecture. It demonstrates how logic programs may be converted into collections of dataflow graphs in which
Bic, Lubomir
core +1 more source
Single-Nucleotide-Resolution Computing and Memory in Living Cells
bioRxiv, 2018 Computing and memory in living cells are central to encoding next-generation therapies and studying in situ biology, but existing strategies have limited encoding capacity and are challenging to scale.
Fahim Farzadfard +5 more
semanticscholar +1 more source
The Significance of Informal Logic for Philosophy
Informal Logic, 2000 Informal logic is a new sub-discipline of philosophy, roughly definable as the philosophy of argument. Contributors have challenged the traditional concept of an argument as a premiss-conclusion complex, in favour of speech-act, functional and dialogical
David Hitchcock
doaj +1 more source
SLT-Resolution for the Well-Founded Semantics
, 2001 Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics of general logic programs. Global SLS-resolution is linear for query evaluation but suffers from infinite loops and redundant
Shen, Yi-Dong +2 more
core +3 more sources
Extended ASP tableaux and rule redundancy in normal logic programs
, 2008 We introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in [Gebser&Schaub, ICLP 2006], with an added extension rule.
Anger +17 more
core +1 more source