3624 search results - page 527 / 725 » Abstract Algebraic Logic |
181
click to vote
WISE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
196
click to vote
WISE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...
171
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
168
click to vote
CEEMAS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
195
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...