661 search results - page 6 / 133 » A Logic of Capabilities |
NGC
2000
Springer
14 years 11 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
76
Voted
SYNTHESE
2008
14 years 11 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
120
click to vote
MSCS
2006
14 years 11 months ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
107
Voted
IJCAI
2001
15 years 1 months ago
2001
Neural Logic Network or Neulonet is a hybrid of neural network expert systems. Its strength lies in its ability to learn and to represent human logic in decision making using comp...
79
Voted
ASAP
2002
IEEE
15 years 4 months ago
2002
IEEE
† Introducing FPGA components into DSP system implementations creates an assortment of challenges across system architecture and logic design. Recognizing that some of the greate...