3028 search results - page 343 / 606 » Integrating Temporal Logics |
185
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
154
click to vote
VTS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract: An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU...
158
click to vote
DLOG
2007
15 years 9 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
164
click to vote
ISLPED
2005
ACM
16 years 8 days ago
2005
ACM
We describe an adiabatic microprocessor implemented with a reversible logic, nRERL [1]. We employed an 8-phase clocked power instead of 6-phase one to reduce the number of buffers...
193
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...