3931 search results - page 212 / 787 » Separation logic and abstraction |
173
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
173
click to vote
ASIAN
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
161
click to vote
FSTTCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
199
click to vote
ICALP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
194
click to vote
AGP
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...