4573 search results - page 212 / 915 » Automated Reasoning |
127
click to vote
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
138
Voted
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
105
click to vote
DLOG
2008
15 years 6 months ago
2008
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
122
Voted
DLOG
2008
15 years 6 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
126
Voted
DLOG
2003
15 years 5 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...