4595 search results - page 315 / 919 » Reasoning about Plans |
203
click to vote
IPPS
2002
IEEE
16 years 13 days ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
142
Voted
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
203
click to vote
EUROCAST
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...
205
Voted
DLOG
2008
15 years 9 months ago
2008
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
196
click to vote
DEON
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...