3773 search results - page 274 / 755 » Logical Reasoning |
170
click to vote
JSAC
2007
15 years 6 months ago
2007
— We introduce a new version of the widely studied survivable mapping problem in IP-over-WDM networks. The new problem allows augmenting the given logical topology and is describ...
210
click to vote
ASP
2005
Springer
16 years 6 days ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
174
click to vote
PPSWR
2005
Springer
16 years 4 days ago
2005
Springer
This articles discusses the logic, or logic-based, languages required for a full deployment of the Semantic Web. It presents ten theses addressing
198
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
191
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...