3776 search results - page 423 / 756 » Partition-Based Logical Reasoning |
153
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
119
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
169
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
131
click to vote
ICLP
2004
Springer
15 years 10 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
141
click to vote
ILP
2003
Springer
15 years 10 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...