1435 search results - page 85 / 287 » Description Logics |
129
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
115
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
152
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
122
Voted
RR
2010
Springer
15 years 1 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
148
click to vote
LOGCOM
2000
15 years 3 months ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...