499 search results - page 59 / 100 » LTL satisfiability checking |
133
click to vote
JAIR
2012
13 years 2 months ago
2012
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
ICALT
2007
IEEE
15 years 6 months ago
2007
IEEE
Evaluation is one of the most important activities in the didactic materials development since it allows developers to check if the properties of obtained material satisfy all the...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
130
click to vote
SEBD
2001
15 years 1 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
102
click to vote
ATAL
2010
Springer
15 years 29 days ago
2010
Springer
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the ...