391 search results - page 54 / 79 » Formal Universes |
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
107
Voted
ICSE
1998
IEEE-ACM
15 years 4 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
NDSS
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...
105
Voted
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
110
click to vote
POPL
1990
ACM
15 years 4 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...