2196 search results - page 148 / 440 » Practical Reasoning Using Values |
127
click to vote
CISIS
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
103
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
100
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Finding Golomb rulers is an extremely challenging optimization problem (with many practical applications) that has been approached by a variety of search methods in recen...
107
Voted
ECSQARU
2001
Springer
15 years 6 months ago
2001
Springer
Abstract A (general) preferential entailment is defined by a “preference relation” among “states”. States can be either interpretations or sets of interpretations, or “c...
130
Voted
LOPSTR
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...