1083 search results - page 39 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
139
click to vote
RR
2010
Springer
14 years 11 months ago
2010
Springer
The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped co...
110
click to vote
TIME
1994
IEEE
15 years 6 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
117
Voted
ENTCS
2006
15 years 1 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
112
click to vote
AAAI
2007
15 years 4 months ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
108
Voted
LPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...