551 search results - page 72 / 111 » Realizability of Real-Time Logics |
125
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
158
click to vote
PERCOM
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
142
Voted
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
Phased logic has been proposed as a technique for realizing self-timed circuitry that is delay-insensitive and requires no global clock signals. Early evaluation techniques have b...
123
click to vote
WETICE
1999
IEEE
15 years 10 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
136
Voted
ECAI
1992
Springer
15 years 9 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...