4513 search results - page 472 / 903 » Logic programming with satisfiability |
177
click to vote
AMAST
1991
Springer
15 years 8 months ago
1991
Springer
Boolean logic treats disjunction and conjunction symmetrically and algebraically. The corresponding operations for computation are respectively nondeterminism (choice) and concurr...
163
click to vote
DAGSTUHL
1998
15 years 6 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
164
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
152
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
177
click to vote
JLP
2011
15 years 2 days ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...