1941 search results - page 257 / 389 » Reasoning about Computations Using Two-Levels of Logic |
132
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
133
Voted
KI
2002
Springer
15 years 3 months ago
2002
Springer
In many approaches for qualitative spatial reasoning, navigation of an agent in a more or less static environment is considered (e.g. in the double-cross calculus [12]). However, i...
153
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...
124
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
160
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology langua...