1549 search results - page 246 / 310 » On the rules of intermediate logics |
182
click to vote
DALT
2005
Springer
16 years 11 days ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
175
click to vote
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
173
click to vote
IFM
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
174
click to vote
RTA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
185
click to vote
SIGIR
2004
ACM
16 years 8 days ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...