2022 search results - page 161 / 405 » Complexity of Non-Monotonic Logics |
174
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
217
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
172
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The study of human behavior during driving is of primary importance for the improvement of drivers' security. This study is complex because of numerous situations in which the...
210
click to vote
TMC
2012
13 years 9 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
185
click to vote
IV
2005
IEEE
16 years 5 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...