2573 search results - page 93 / 515 » Combinations of Modal Logics |
127
Voted
IANDC
2000
15 years 3 months ago
2000
Abstract. We present a uniform algorithm for transforming machine-found matrix proofs in classical, constructive, and modal logics into sequent proofs. It is based on unified repre...
137
click to vote
ICCCN
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— The paper describes a target tracking system running on a Heterogeneous Sensor Network (HSN) and presents results gathered from a realistic deployment. The system fuses...
145
click to vote
MST
2010
14 years 11 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
141
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
141
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...