Blackburn, P. and M. de Rijke: 1997, `Why combine logics?'. Studia Logica 59(1), 5-27. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Fibring Non-Truth-Functional Logics: Completeness.. - Caleiro, Carnielli.. (2000) (Correct)
....problem of combining logics has gained the attention of many researchers in mathematical logic. Besides leading to very interesting applications whenever it is necessary to work with di erent logics at the same time, combinations of logics are also of great interest on purely theoretical grounds (Blackburn and de Rijke, 1997). The practical impact of the problem is clear, at least from the point of view of those working in knowledge representation (within arti cial intelligence) and in formal speci cation and veri cation (within software engineering) Indeed, in these elds, the need for working with several ....
Blackburn, P. and M. de Rijke: 1997, `Why combine logics?'. Studia Logica 59(1), 5-27.
Formalisms for Multi-Agent Systems - d'Inverno, Fisher, Lomuscio, Luck.. (1997) (1 citation) Self-citation (De rijke) (Correct)
No context found.
P. Blackburn and M. de Rijke, forthcoming. "Why combine logics?" Studia Logica. Philip R. Cohen and Hector J. Levesque, 1990. "Intention is choice with commitment" Artificial Intelligence, 42(2-3):213--261.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC