2067 search results - page 87 / 414 » Logics of propositional control |
141
Voted
AIML
2004
15 years 3 months ago
2004
abstract. The aim of the present paper is to analyze the complexity of strict implication (together with falsum, conjunction and disjunction). We prove that Ladner's Theorem r...
115
click to vote
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
ISSS
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a model for simultaneous instruction selection, compaction, and register allocation. An arc mapping model along with logical propositions is used to create an ...
111
click to vote
ISMIS
1994
Springer
15 years 5 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
121
click to vote
COMMA
2008
15 years 3 months ago
2008
Proposals for logic-based argumentation have the potential to be adapted for handling diverse kinds of knowledge. In this paper, a calculus for representing temporal knowledge is p...