2381 search results - page 97 / 477 » On Ordering Descriptions in a Description Logic |
156
click to vote
AIIA
2007
Springer
15 years 8 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
181
click to vote
AAAI
2007
15 years 8 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
165
click to vote
CADE
1999
Springer
15 years 10 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
191
click to vote
CADE
1992
Springer
15 years 10 months ago
1992
Springer
network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...
198
click to vote
CLIMA
2006
15 years 7 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...